Базовый общий класс с автоматическим T от унаследованной сына типа

Question

Я такой ситуации

abstract class Foo<T> 
{ 
    // Implementation using T type... 
} 
class Bar : Foo<Bar> 
{ } 

Каждый класс, который наследует от Foo использует себя в качестве общего типа, и у меня есть различные наследственные классы, например: «планкой1 "," Bar2 "и т. Д.

Возможно ли реализовать класс Foo, автоматически беря в действие тип родового типа из унаследованного типа?

Answer 1

Если вы хотите ограничитьT так, что каждый правопреемником является Foo<T>, то вы можете сделать:

abstract class Foo<T> where T:Foo<T> 
{ 
    // Implementation using T type... 
} 
class Bar : Foo<Bar> 
{ } 

Обратите внимание, что это не 100% гарантия, что любой класс S унаследовав от Foo является Foo<S>, потому что вы можно еще сделать:

Что еще удовлетворяет родовое ограничение, потому что Bar является Foo<Bar>, однако Quux является неFoo<Quux>

Answer 2

Если это общая реализация, то да. Если реализация различна для разных типов, то нет.

Для общей реализации просто поместите общее поведение в абстрактный базовый класс в соответствии с шаблоном метода шаблонов.

abstract class Foo<T> 
{ 
    public void DoStuff(T obj) 
    { 
     ...implementation... 
    } 
}