Más curiosidades que realmente importante: ¿Por qué hay nuevo() restricción en Activator.CreateInstance <T>()?

Question

Creo que hay gente que puede ser capaz de responder a esto, esta es una pregunta por curiosidad:

El método genérico CreateInstance de System.Activator, introducido en .NET v2 no tiene restricciones de tipo genérico en el argumento, pero requiere un constructor predeterminado en el tipo activado; de lo contrario, se lanza un MissingMethodException. Me parece obvio que este método debe tener una restricción de tipo como

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

Sólo una omisión o alguna anécdota que acechan aquí?

actualización

Como se ha señalado, el compilador no le permiten escribir

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

Sin embargo, ver los comentarios una estructura se puede utilizar como argumento de tipo a un método genérico que especifica una nueva () restricción Bajo esta circunstancia, la respuesta dada parece la única razón válida para no restringir el método ...

¡Gracias por mirar esto!

Answer 1

Podría estar equivocado, pero el beneficio principal que veo es que le permite hacer algo como esto:

// 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>(); 
    } 
} 

Tenga en cuenta que si Activator.CreateInstance<T> tenían una restricción where T : new(), entonces la clase Cache<T> anterior sería también necesita esa restricción, que sería demasiado restrictivo ya que Create es un método virtual y alguna clase derivada podría querer usar un medio diferente de creación de instancias, como llamar al constructor interno de un tipo o usar un método de generador estático.