Is a generic type MyType<,> actually a type?

Question

I have some confusion with this that arose from messing around with exporting generic types in MEF

I noticed:

new Dictionary<string,bool>().GetType() == typeof(Dictionary<,>)
false
new Dictionary<string,bool>().GetType().GetGenericTypeDefinition() == typeof(Dictionary<,>)
true

Yet Dictionary<,> itself is not considered a ‘type’ as this will actually generate a compile error:

new Dictionary<string,bool> as Dictionary<,>
Type expected
new Dictionary<string,bool> is Dictionary<,>
Type expected

So my question is, is Dictionary<,> actually a type? Does .NET treat generic types differently than non-generic types?

Now in MEF I can export a generic class as

[Export(typeof(MyGenericClass<,>))]

And this would satisfy an import requirement like

[Import]
public MyGenericClass<string, long> Instance { get; set; }

I'm confused about the type-system's rules here

score 5 · Accepted Answer · edited May 23 '17 at 12:27

5

See What exactly is an “open generic type”. What you are referring to is called an unbound generic type and is explained in the same post. An unbound generic type is actually a type, however it can only be used within a typeof() expression. Note: Unlike C# Java allows expressions like List<?>.

edited May 23 '17 at 12:27

Community

1
1

answered Nov 17 '12 at 18:52

Olivier Jacot-Descombes

104,806
13
138
188

score 0 · Answer 2 · edited May 23 '17 at 11:43

0

Yes, MyType<,> is a type. It's a "open generic" Type, See What exactly is an "open generic type" in .NET?

edited May 23 '17 at 11:43

Community

1
1

answered Nov 17 '12 at 18:50

deerchao

10,454
9
55
60

Is a generic type MyType<,> actually a type?

2 Answers2