Genéricos con parámetros genéricos y clase abstracta

Question

Tengo dos clases base genéricas. La segunda clase genérica tiene una restricción en su parámetro de la primera clase.

abstract class FirstClass<T> {...} 

abstract class SecondClass<U> where U : FirstClass {...} 

Esto no funciona, porque FirstClass no está definido. Entonces necesito hacer esto.

abstract class FirstClass<T> {...} 

abstract class SecondClass<U, T> where U : FirstClass<T> {...} 

Que funciona. Sin embargo, esto hace que la implementación de estas clases abstractas sea desagradable.

class SomeClass {...} 

class MyFirstClass : FirstClass<SomeClass> {...} 

class MySecondClass : SecondClass<MyFirstClass, SomeClass> {...} 

Esto me parece redundante porque estoy especificando SomeClass dos veces. ¿Hay alguna forma de declararlo de forma que T de FirstClass sea automáticamente la U de SecondClass? Lo que realmente me gustaría que se vea así es.

class SomeClass {...} 

class MyFirstClass : FirstClass<SomeClass> {...} 

class MySecondClass : SecondClass<MyFirstClass> {...} 

Aunque dudo que este escenario exacto sea posible, ¿hay un limpiador de qué hacer lo que estoy tratando de hacer?

Editar

Varias personas han sugerido hacer una interfaz de IFirstClass. Pero mis definiciones están más cerca de esto.

class FirstClass<T> 
{ 
    public T MyObj { get; set; } 
} 

class SecondClass<U, T> where U : FirstClass<T> 
{ 
    U MyFirstClass { get; set; } 
} 

Con una interfaz no puedo acceder a MyFirstClass.MyObj desde SecondClass. Si bien podría crear un object T MyObj { get; set; } en IFirstClass, entonces use new para ocultarlo, silverlight arroja un ajuste en el enlace si hago esto.

Answer 1

Si realmente está usando los argumentos de tipo genérico a FirstClass (ya que, según su edición, parece que lo es), entonces no, lo que está buscando desafortunadamente no es posible. El compilador no diferencia entre los argumentos de tipo que están relacionados y los que no.

Answer 2

En mi experiencia, es más fácil crear una interfaz no genérica para clases genéricas. También resuelve el problema cuando necesitas lanzar a la clase base sin saber el tipo genérico.

interface IFirstClass {...} 

abstract class FirstClass<T> : IFirstClass {...} 

abstract class SecondClass<T> where T : IFirstClass {...} 

Answer 3

Cree una interfaz que implemente FirstClass. Entonces puede restringir SecondClass a la interfaz.