¿Por qué la firma de clase genérica requiere especificar new() si el tipo T necesita creación de instancias?

Question

Escribo una clase genérica de la siguiente manera.

public class Foo<T> : 
    where T : Bar, new() 
{ 
    public void MethodInFoo() 
    { 
     T _t = new T(); 
    } 
} 

Como se puede ver el objeto _t de tipo T se crea una instancia en tiempo de ejecución. Para admitir la creación de instancias del tipo genérico T, el lenguaje me obliga a poner new() en la firma de la clase. Estoy de acuerdo con esto si Bar es una clase abstracta, pero ¿por qué tiene que ser así si Bar estándar no es una clase abstracta con un constructor público sin parámetros?

El compilador solicita el siguiente mensaje si no se encuentra new().

No se puede crear una instancia del tipo de variable de 'T', ya que no tiene el nuevo() restricción

Answer 1

Debido a que normalmente no es una suposición de que el parámetro de plantilla necesita ser [no abstracta y] construible [a través de un constructor público sin parámetros] para que un Tipo coincida con la definición del parámetro de la plantilla.

Hasta que se agrega una restricción :new() en la plantilla:

• El compilador no le permitirá construir un T
• El compilador le permiten ajustar las T con tipos abstractos o tipos sin un constructor sin parámetros pública

El bit :Bar es ortogonal y significa:

• No permita que las personas coinciden en contra de tipos que no se derivan de [o son] Bar
• Let Me echaron T s a Bar o tipos derivados de Bar dentro del cuerpo
• Voy a llamar pública e in- métodos internos alcance de Bar en un T

Answer 2

Tal vez porque si no se incluye la restricción new() continuación T podrían legítimamente ser una subclase de Bar no tiene valor predeterminado (es decir, pública y parameterl ess) constructor, en cuyo caso la declaración new T() dentro del método no sería válida.

1. Con solamente Bar como una restricción, T puede ser Bar o cualquier derivado de Bar, con o sin un constructor predeterminado.
2. Con solo new() como una restricción, T puede ser de cualquier tipo con un constructor predeterminado.
3. Con Bar y new() como restricciones, T debe ser o una subclase de Bar y también debe tener un constructor predeterminado.

Answer 3

Aunque Bar puede ser concreto, la clase derivada T podido por sí misma ser abstracta o la falta de un constructor por defecto.

Answer 4

Porque las subclases de Bar pueden no tener un constructor no-arg.

where T : Bar 

indica Barra, o una subclase de Barra. Si solo quisiera una instancia de Bar, no usaría genéricos. Hay muchas instancias (Objeto y Cadena, por ejemplo) donde la superclase tiene un constructor sin arg y una subclase no.

Answer 5

El hecho de que la clase Bar define un constructor sin parámetros, no quiere decir que todo lo que es un Bar lo hará - que puede haber una clase que hereda de Bar pero esconde el constructor sin parámetros. Tal clase cumpliría con la restricción Bar pero falla correctamente la restricción new().

(Tenga en cuenta que si haces Barsealed Para evitar esta posibilidad, puede (comprensiblemente) ya no utilizarlo como una limitación genérica) - edición de intentar esto produce error del compilador CS0701.

Answer 6

que probablemente podría tener utilizar el constructor de barras:

T _t = new Bar(); 

sin tener la restricción new(). Sin embargo, usaste el constructor T y el compilador no puede asumir que construyendo el tipo que se enlaza a T es posible hasta que agregas una nueva restricción().

Answer 7

Para aquellos que no está seguro, recuerde que puede utilizar el

where T : IDeviceCommand 

para requerir que T implementa alguna de las interfaces como un requisito mínimo de contratación. Podría verbalizar lo anterior como "Puede llamarme si el tipo suministrado 'T' como mínimo implementa la interfaz IDeviceCommand". Esto, por supuesto, le permite hacer una serie de suposiciones (correctas) de las instalaciones en las que 'T' proporciona su método para operar.