¿.Net soporta genéricos al curry?

Question

Supongamos que tenemos una clase anidada genérica:

public class A<T> { 
    public class B<U> { } 
} 

Aquí, typeof(A<int>.B<>) es en esencia una clase genérica con dos parámetros, donde sólo el primero está obligado.

Si tengo una sola clase con dos parámetros

public class AB<T, U> { } 

¿Hay una manera de referirse a "AB con T=int y U permanecer abierta"? Si no, ¿es esto una limitación de C# o una limitación de CLR?

Answer 1

Aparentemente no se puede hacer en C#, debe especificar cualquiera de los dos parámetros de tipo, o ninguno.

Y no parece ser apoyado por el CLR o bien, A<int>.B<> y A<string>.B<> se refieren al mismo tipo:

Type t1 = typeof(A<int>).GetNestedType("B`1"); 
Type t2 = typeof(A<string>).GetNestedType("B`1"); 
// t1.Equals(t2) is true 

El tipo envolvente de ambos tipos es A<> (tipo genérico abierto)

EDIT: más pruebas muestra que typeof(A<int>.B<string>) es en realidad un tipo genérico de aridad 2, no un tipo genérico anidada de aridad 1 ... typeof(A<int>.B<string>).GetGenericArguments() devuelve una matriz con typeof(int)ytypeof(string). Entonces typeof(A<int>.B<>) sería en realidad equivalente a (A.B)<int, >, que no es compatible (un tipo genérico no se puede cerrar parcialmente)

Answer 2

¿Es esto lo que tiene en mente?

class AB<T, U> 
    { 
     protected T t; 
     U u; 
    } 

    class C<U> : AB<int, U> 
    { 
     public void Foo() 
     { 
     t = 5; 
     } 
    }