tipo di vincolo generico di nuovo() e una base astratta classe

Question

Qui abbiamo una semplice herarchy classe, e l'uso di farmaci generici con un type constraint di new()

public abstract class Base 
{ 
} 

public class Derived : Base 
{ 
} 

public class TestClass 
{ 
    private void DoSomething<T>(T arg) where T : new() 
    { 
    } 

    public void TestMethod() 
    { 
     Derived d1 = new Derived(); 
     DoSomething(d1); // compiles 

     Base d2 = new Derived(); 
     DoSomething(d2); // compile error 
    } 
} 

Il codice fallisce la compilazione alla linea indicata con un errore di:

'Base' deve essere un tipo non astratta con un costruttore senza parametri pubblico al fine di utilizzarlo come parametro 'T' nel tipo generico o il metodo 'Foo.DoSomething (T)'

Questo errore è chiaro e ha senso, ma speravo che il compilatore avrebbe capito che tutte le derivazioni di Base (che potrebbero essere istanziate a questo punto) hanno un costruttore pubblico senza parametri.

Questo sarebbe teoricamente possibile per il compilatore?

Answer 1

Ahimè si deve dare esplicitamente il tipo

DoSomething<Derived>(d2); 

teoricamente non è possibile creare qualcosa che sia astratta

Answer 2

new Constraint (C# Reference):

Per utilizzare il nuovo vincolo, il tipo non può essere astratto.

Calling:

Base d2 = new Derived(); 
DoSomething(d2); 

si sono infatti fare:

Base d2 = new Derived(); 
DoSomething<Base>(d2); 

Dal momento che l'Base è astratta, si verifica un errore di compilazione.

Quindi, bisogna lanciare in modo esplicito:

Base d2 = new Derived(); 
DoSomething((Derived) d2); 

Come hai potuto garantire il compilatore, che nessuno mai ci ha messo qualcosa, che non è astratta?

L'unico modo che vedo sarebbe, se avessimo una parola chiave come "must-inherit-to-non-astract" e quindi creare public must-inherit-to-non-abstract abstract class Base. Dopo di ciò, il compilatore potrebbe essere sicuro, che se si inserisce l'istanza di base nel proprio metodo, questa sarà di fatto una sottoclasse, che non è astratta e quindi può essere istanziata.