Problem with generics and dynamic class creation

[andrew queisser]

I've been trying to dynamically create a class DevT that's derived
from a generic base GenBase<T>. It doesn't seem to work. I'm attaching
a code sample below that illustrates the problem.

CreateType() fails when the base class is a parametrized class, as in
DevT : GenBase<int>.
CreateType() works if the base class is not parametrized, even if the
base of the base was parametrized, as in DevT : GenBaseInt :
GenBase<int>

The error dialog I'm getting is this:

An unhandled exception of type 'System.TypeLoa dException' occurred in
mscorlib.dll

Additional information: Type name 'GenDerivBug.Ge nBase[[System.Int32,
mscorlib, Version=1.2.340 0.0, Culture=neutral ,
PublicKeyToken= b77a5c561934e08 9]]' from assembly 'GenDerivBug,
Version=1.0.141 9.18373, Culture=neutral , PublicKeyToken= null' is
invalid.

Can anyone tell me whether the code should work and it's just a
problem with Whidbey?

Thanks much,
Andrew Queisser

using System;
using System.Reflecti on;
using System.Reflecti on.Emit;
using System.Threadin g;

namespace GenDerivBug
{
// Generic base class with testing function
public class GenBase<T>
{
public virtual T foo(T t) { return t; }
}

// Non-generic class derived from constructed type
public class GenBaseInt : GenBase<int>
{
}

public class Test
{
public static void Main()
{
// create a dynamic assembly and module
AssemblyName asn = new AssemblyName();
asn.Name = "GenDynAssy ";
AssemblyBuilder asb = Thread.GetDomai n().DefineDynam icAssembly(asn,
AssemblyBuilder Access.Run);
ModuleBuilder module;
module = asb.DefineDynam icModule("GenAl goDynMod");

// create a class derived from the generic base
// this is what I want but it leads to CreateType() failing
TypeBuilder derivBuilder = module.DefineTy pe("DevT",
TypeAttributes. Public, typeof(GenBase< int>));

// the following line makes CreateType work but it's not what I
want:
//TypeBuilder derivBuilder = module.DefineTy pe("DevT",
TypeAttributes. Public, typeof(GenBaseI nt));

// create a type and see if it works
Type derivType = derivBuilder.Cr eateType();
GenBase<int> gb =
(GenBase<int>)A ctivator.Create Instance(derivT ype);
int i = 3;
int j = gb.foo(i+1);
Console.WriteLi ne("i={0} j={1}", i, j);
}
}
}

[Joel Pobar [MSFT]]

Hi,

The build of Whidbey you are using does not have Reflection.Emit support
for Generics. There are plans to add that support in a later build.

Thanks
-Joel.
Thanks.

From: an************* @hp.com (andrew queisser)
Subject: Problem with generics and dynamic class creation
Date: 20 Nov 2003 10:14:00 -0800

I've been trying to dynamically create a class DevT that's derived
from a generic base GenBase<T>. It doesn't seem to work. I'm attaching
a code sample below that illustrates the problem.

CreateType() fails when the base class is a parametrized class, as in
DevT : GenBase<int>.
CreateType() works if the base class is not parametrized, even if the
base of the base was parametrized, as in DevT : GenBaseInt :
GenBase<int>

The error dialog I'm getting is this:

An unhandled exception of type 'System.TypeLoa dException' occurred in
mscorlib.dll

Additional information: Type name 'GenDerivBug.Ge nBase[[System.Int32,
mscorlib, Version=1.2.340 0.0, Culture=neutral ,
PublicKeyToken =b77a5c561934e0 89]]' from assembly 'GenDerivBug,
Version=1.0.14 19.18373, Culture=neutral , PublicKeyToken= null' is
invalid.

Can anyone tell me whether the code should work and it's just a
problem with Whidbey?

Thanks much,
Andrew Queisser

using System;
using System.Reflecti on;
using System.Reflecti on.Emit;
using System.Threadin g;

namespace GenDerivBug
{
// Generic base class with testing function
public class GenBase<T>
{
public virtual T foo(T t) { return t; }
}

// Non-generic class derived from constructed type
public class GenBaseInt : GenBase<int>
{
}

public class Test
{
public static void Main()
{
// create a dynamic assembly and module
AssemblyName asn = new AssemblyName();
asn.Name = "GenDynAssy ";
AssemblyBuilder asb = Thread.GetDomai n().DefineDynam icAssembly(asn,
AssemblyBuilde rAccess.Run);
ModuleBuilder module;
module = asb.DefineDynam icModule("GenAl goDynMod");

// create a class derived from the generic base
// this is what I want but it leads to CreateType() failing
TypeBuilder derivBuilder = module.DefineTy pe("DevT",
TypeAttributes .Public, typeof(GenBase< int>));

// the following line makes CreateType work but it's not what I
want:
//TypeBuilder derivBuilder = module.DefineTy pe("DevT",
TypeAttributes .Public, typeof(GenBaseI nt));

// create a type and see if it works
Type derivType = derivBuilder.Cr eateType();
GenBase<int> gb =
(GenBase<int>) Activator.Creat eInstance(deriv Type);
int i = 3;
int j = gb.foo(i+1);
Console.WriteLi ne("i={0} j={1}", i, j);
}
}
}