Tipos de referencia que no admiten nulos (una vez más)

Question

Ha habido muchas preguntas sobre el soporte para tipos de referencia que no admiten nulos en .NET. La gran esperanza eran los contratos de código, pero se limita a la verificación en tiempo de ejecución para aquellos que tienen un presupuesto limitado.

En cuanto a los enfoques que no sean contratos de código, Jon Skeet escribió un blog post sobre esto hace unos años, y uno de los comentaristas proporcionó un aspecto útil NonNull struct que tenía IL modificado para deshabilitar el constructor predeterminado. Esto parece un enfoque excelente, y me puedo imaginar extenderlo para proporcionar todo tipo de microtypes que no admite nulos. La manipulación de IL podría ser un paso posterior a la creación desencadenado por un atributo en la estructura, p.

//Microtype representing a non-zero age, so we want to disable the default ctor 
[NoDefaultConstructor] 
public struct Age 
{ 
    public Age(int age) 
    { 
     // Implementation (including validation) elided 
    } 
} 

Antes de seguir investigando, me gustaría preguntar si alguien sabe de algún problema que esto pueda causar. No he podido pensar en ninguno.

Answer 1

Esto se puede vencer con bastante facilidad: el tiempo de ejecución no intenta llamar al constructor sin parámetros de una estructura (si está presente) en cada escenario.

En particular, no se llamará al crear una matriz del tipo struct.

Age[] ages = new Age[3]; 

// This guy skips your "real" ctor as well as the "invalid" parameterless one. 
Age age = ages[0]; 

... o en default(structType) expresiones:

// Invalid state here too. 
Age age = default(Age); 

De Jon Skeet de empirical research en estas cosas, he aquí una lista de otras operaciones que no llama al constructor:

• Acaba de declarar una variable, ya sea local, estática o instancia
• Boxeo
• Usando default(T) en un método genérico
• Usando new T() en un método genérico

Ahora la situación que le deja en es que usted tiene que probar alguna manera para cada Age ejemplo, si la instancia o no fue creado al trabajar alrededor de su cerca, lo cual no es mucho mejor que no haber levantado la cerca en primer lugar.