Che cosa sta succedendo in questo codice di ereditarietà autoreferenziale?

Question

Ho questo codice scritto da un altro programmatore e non posso ottenere la mia testa intorno ad esso

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

Dalla mia comprensione della classe AppBase di tipo T implementa l'interfaccia IApp dove T attrezzi ???

Qualcuno può spiegare l'ultima parte?

Answer 1

Il vincolo su T in questo caso significa che T deve implementare AppBase<T> e avere un costruttore predefinito. In effetti, devi passare te stesso come tipo.

Questo di solito viene eseguito come tentativo di risolvere il problema con il sistema di tipi e fornire l'accesso al tipo di implementazione all'interno della classe base tramite typeof(T). Ad esempio, dato:

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> 
{ 
} 

È quindi possibile scrivere codice come:

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

che stamperà le informazioni sul tipo per AppBaseFoo. Tuttavia, questo non è infallibile - ad esempio, sottoclassi "interrompe" questo. Aggiunta:

public class AppBaseBar : AppBaseFoo {} 

E poi scrivere:

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

causa lo stesso AppBaseFoo informazioni da stampare.