Warum ist nach der Überprüfung auf null eine explizite Konvertierung erforderlich?

Question

int foo; 
int? bar; 

if (bar != null) 
{ 
    foo = bar; // does not compile 
    foo = (int)bar; // compiles 
    foo = bar.Value; // compiles 
} 

Ich weiß schon lange, dass die erste Aussage falsch ist, aber sie hat mich immer abgehört. Ich habe überprüft, dass bar nicht null ist, also warum beschweren sich die Compiler?

Answer 1

Die Art der bar ist noch int?, und es gibt keine implizite Konvertierung von int? zu int.

Die Bedingung ändert nicht die Gültigkeit des späteren Codes. Das gleiche gilt für andere Besetzungen:

object x = ...; 
if (x is string) 
{ 
    string y = x; // This is still invalid 
    string z = (string) x; // This is fine 
} 

Der Compiler selten das Ergebnis von einem Stück Code verwendet die Gültigkeit eines anderen zu beeinflussen. Als weiteres Beispiel:

bool condition = ...; 
string x; 
if (condition) 
{ 
    x = "yes"; 
} 
if (!condition) 
{ 
    x = "no"; 
} 
Console.WriteLine(x); // Invalid 

Die letzte Zeile ist ungültig, weil x ist noch nicht eindeutig zugewiesen. Wir wissen, dass, was auch immer der Wert von x, geben wir einen von diesen if Anweisung Körper ... aber der Compiler versucht nicht, dies herauszufinden.

Obwohl dies dumm scheint, macht es die Sprachregeln wesentlich einfacher.

Answer 2

Der Vergleich sagt nur - es ist nicht null, Compiler verwendet noch Typ, um zu sehen, ob die Zuordnung vorgenommen werden kann.

Folgende würde Kompilieren auch ohne Nullprüfung.

foo = (int)bar; 

Answer 3

Der Compiler überprüft nur, ob Ihr Programm syntaktisch korrekt ist. Ihr Null-Check ist nicht wichtig.

Der Compiler sieht, dass Sie Informationen verlieren können, die einen int zuweisen? zu int und deshalb klagt es.

Answer 4

Stellen Sie sich dies vor: Was wäre, wenn Sie eine Elementvariable wie Nullable<int> eingegeben hätten, auf die von mehreren Threads zugegriffen wurde. Sehen wir uns Ihren Code unter diesen Umständen an.

if(foo != null) 
{ 
    // expensive operation that takes time. 
    // what if another thread as nulled foo in the meantime? 
    int bar = foo; 
}