Les structs ne peuvent-ils vraiment pas être NULL en C#?

Question

Voici un code qui démontre que je ne peux pas déclarer et initialiser un type struct comme nul. Le type Nullable est une structure, alors pourquoi suis-je capable de le mettre à null?

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

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

Où Foo est défini comme

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 question a été répondue (voir ci-dessous). Pour clarifier, je vais poster un exemple. Le code C#:

using System; 

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

produit l'IL suivante:

.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 et b sont déclarés, mais seulement b est initialisé.

Answer 1

Le compilateur C# vous vous fournit un peu de sucre alors faites vraiment ceci:

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

Answer 2

C# a une certaine syntaxe de sucre qui vous permet d'apparaître pour définir un type Nullable à null. Ce que vous faites en fait sous les couvertures définit la propriété HasValue du type NULL à false.

Answer 3

Parce que vous configurez pas réellement la variable Nullable<T> à null. La structure est toujours là. Il représente null via un indicateur de bit interne dans la structure.

Il y a aussi du sucre de compilateur pour faire de la magie dans les coulisses.

Answer 4

Vous ne pouvez pas définir une structure sur null, mais vous pouvez avoir des conversions de type implicites, ce qui se passe sous le capot.