Gerçekten önemli olandan çok daha fazla trivia: Neden Activator.CreateInstance <T>() üzerinde yeni() kısıtlaması yok?

Question

Bu soruya cevap verebilecek insanlar olduğunu düşünüyorum, bu meraktan bir sorudur:

.NET v2'de tanıtılan System.Activator'dan alınan jenerik CreateInstance yöntemi, genel argüman üzerinde hiçbir tür kısıtlamaya sahip değildir ancak Etkinleştirilmiş türde varsayılan kurucu, aksi takdirde bir MissingMethodException atılır. Bana göre, bu yöntemin

Activator.CreateInstance<T>() where T : new() { 
    ... 
} 

gibi bir tür kısıtlaması olması gerektiği açıktır. Sadece bir ihmal mi yoksa burada gizlenen bir anektod mu?

Belirtildiği gibi, derleyici

private T Create<T>() where T : struct, new() 
error CS0451: The 'new()' constraint cannot be used with the 'struct' constraint 

yazmanıza izin vermez Ancak, bkz. struct (yeni) belirten jenerik bir yönteme type argümanı olarak bir struct kullanılabilir.) kısıtlama. Bu durumda verilen cevap, yöntemin sınırlandırılmaması için tek geçerli neden gibi görünüyor ...

Bunu incelediğiniz için teşekkürler!

Answer 1

Yanılıyor olabilirim, ama ana parası ben seni böyle bir şey yapmak izin vermesidir gördüğünüz gibi:

// Simple illustration only, not claiming this is awesome code! 
class Cache<T> 
{ 
    private T _instance; 

    public T Get() 
    { 
     if (_instance == null) 
     { 
      _instance = Create(); 
     } 

     return _instance; 
    } 

    protected virtual T Create() 
    { 
     return Activator.CreateInstance<T>(); 
    } 
} 

Not Activator.CreateInstance<T> sonra where T : new() kısıtlamayı olsaydı Cache<T> sınıf yukarıda olur o da, Create sanal bir yöntem olduğundan ve türetilmiş bir sınıfın türün dahili yapıcısını çağırmak veya bir statik oluşturucu yöntemi kullanmak gibi farklı bir örnekleme aracı kullanmak isteyebileceğinden aşırı kısıtlayıcı olan bu kısıtlamaya gereksinim duyar.