¿Pueden las estructuras realmente no ser nulas en C#?

Question

A continuación se muestra un código que demuestra que no puedo declarar e inicializar un tipo de estructura como nulo. El tipo Nullable es una estructura, entonces ¿por qué puedo configurarlo como nulo?

Nullable<bool> b = null; 
if (b.HasValue) 
{ 
    Console.WriteLine("HasValue == true"); 
} 

//Does not compile... 
Foo f = null; 
if (f.HasValue) 
{ 
    Console.WriteLine("HasValue == true"); 
} 

Dónde Foo se define como

public struct Foo 
{ 
    private bool _hasValue; 
    private string _value; 

    public Foo(string value) 
    { 
     _hasValue = true; 
     _value = value; 
    } 

    public bool HasValue 
    { 
     get { return _hasValue; } 
    } 

    public string Value 
    { 
     get { return _value; } 
    } 
} 

La pregunta ha sido contestada (véase más adelante). Para aclarar, publicaré un ejemplo. El código C#:

using System; 

class Program 
{ 
    static void Main(string[] args) 
    { 
     Nullable<bool> a; 
     Nullable<bool> b = null; 
    } 
} 

produce el siguiente IL:

.method private hidebysig static void Main(string[] args) cil managed 
{ 
    .entrypoint 
    // Code size  10 (0xa) 
    .maxstack 1 
    .locals init ([0] valuetype [mscorlib]System.Nullable`1<bool> a, 
      [1] valuetype [mscorlib]System.Nullable`1<bool> b) 
    IL_0000: nop 
    IL_0001: ldloca.s b 
    IL_0003: initobj valuetype [mscorlib]System.Nullable`1<bool> 
    IL_0009: ret 
} // end of method Program::Main 

a y b son declarados, pero sólo b se inicializa.

Answer 1

El compilador de C# le proporciona un poco de azúcar por lo que realmente está haciendo esto:

Nullable<bool> b = new Nullable<bool>(); 

Answer 2

C# tiene un nivel de azúcar de sintaxis que le permite aparentar establecer un tipo que admite nulos en null. Lo que usted es en realidad haciendo bajo las sábanas está estableciendo la propiedad HasValue del tipo nulable en false.

Answer 3

Debido a que usted no está realmente estableciendo la variable de Nullable<T> a null. La estructura todavía está allí. Representa null a través de un indicador de bit interno en la estructura.

También hay algo de azúcar en el compilador para que la magia suceda detrás de escena.

Answer 4

No puede establecer una estructura como nula, pero puede tener conversiones de tipo implícitas, que es lo que está sucediendo debajo del capó.