Co dzieje się w tym kodzie dziedziczenia odwołującym się do siebie?

Question

Mam ten kod napisany przez innego programistę i nie mogę uzyskać moja głowa wokół niego

public abstract class AppBase<T> : IApp where T : AppBase<T>, new() 
{ 
    // 
} 

Z mojego zrozumienia klasa AppBase typu T implementuje interfejs IApp miarę T narzędzi ???

Czy ktoś może wyjaśnić ostatnią część?

Answer 1

Ograniczenie na T w tym przypadku oznacza, że ​​T musi implementować AppBase<T> i mieć domyślny konstruktor. Skutecznie, musisz podać siebie jako typ.

Jest to zwykle wykonywane jako próba obejścia systemu typów i zapewnienia dostępu do typu implementacji w klasie bazowej za pośrednictwem typeof(T). Na przykład, biorąc pod uwagę:

public interface IApp {} 

public abstract class AppBase<T> : IApp where T : AppBase<T>, new() 
{ 
    public void Print() 
    { 
     Console.WriteLine(typeof(T).ToString()); 
    } 
} 

public class AppBaseFoo : AppBase<AppBaseFoo> 
{ 
} 

Następnie można napisać kod takich jak:

var foo = new AppBaseFoo(); 
foo.Print(); 

Które będzie drukować informacje o typie dla AppBaseFoo. Jednak nie jest to niezawodne - na przykład podklasy "łamią" to. Dodając:

public class AppBaseBar : AppBaseFoo {} 

A potem pisząc:

var bar = new AppBaseFoo(); 
bar.Print(); 

Przyczyny tego samego AppBaseFoo informacje mają zostać wydrukowane.