Dlaczego próba dodania wartości pustej nie powoduje wyjątku InvalidOperationException?

Question

int? x = null; 
x = x + 1; // Works, but x remains null 

Spodziewam się, że kompilator spróbuje rzutować x jako int, ale najwyraźniej tak nie jest.

Edytuj przez 280Z28: Zmieniono NullReferenceException na InvalidOperationException, co oznacza, że ​​Nullable<T>.Value wyrzuca, gdy HasValue jest fałszywe.

Answer 1

Podane jest to w specyfikacji dla podniesionych operatorów binarnych. Z §7.2.7:

dla operatorów binarnych

+ - */% & |^<< >>

podniesionym forma operatora występuje wówczas typy argumentów i rezultatu są wszystkie typy wartości bez pustych. Uniesiona forma jest konstruowana przez dodanie pojedynczego modyfikatora ? do każdego argumentu i typu wyniku. Podniesiony operator daje wartość pustą, jeśli jeden lub oba operandy mają wartość null (wyjątek to & i | operatory typu bool ?, jak opisano w §7.10.3). W przeciwnym razie operator podniesiony rozpakuje operandy, zastosuje operator bazowy i opakuje wynik.

Rozumowanie jest takie: jesteś myśleć o null o wartości pustych typu, co oznacza „nie wiem, co jest wartością”. Jaki jest wynik "nie wiem" plus jeden? "Nie wiem." Dlatego wynik powinien być następujący: null.

Answer 2

Niestety tak nie jest. Xma wartość zerową jak w pierwszym wierszu, więc dodajesz 1 do wartości null, co równa się zeru.

Jak to int pustych, można użyć x.HasValue aby sprawdzić, czy to ma jakąś wartość, a następnie x.Value aby uzyskać rzeczywistą wartość int z

Answer 3

Dlaczego można oczekiwać kompilator do oddania go jako int, kiedy ogłosiłeś to jako Nullable? Kompilator robi to, co mu kazano, i null +1 = null.

Musisz odrzucić jawnie lub sprawdzić x.HasValue przed próbą dodania int.

Answer 4

Nullable nigdy nie są właściwie zerowymi odniesieniami. Są to zawsze odniesienia do obiektów. Ich klasy wewnętrzne zastępują operatory == i =. Jeśli zostaną porównane z wartością null, zwrócą wartość właściwości HasValue.

Answer 5

Powodem tego jest to, że kompilator tworzy „podnoszony” operatora dla pustych typów - w tym przypadku jest to coś w rodzaju:

public static int? operator +(int? a, int? b) 
{ 
    return (a == null || b == null) ? (int?)null : a.Value + b.Value 
} 

myślę, że jeśli spróbujesz przypisać wynik nie- wartość zerowa, kompilator będzie zmuszony użyć nie-nullable overload i przekonwertować x na int.

e.g. int i = x + 1; //throws runtime exception 

Answer 6

Niezależnie od tego, czy x faktycznie nigdy nie jest pusta, to nawet nie o to chodzi.

Chodzi o to, czy kiedykolwiek widziałeś NullReferenceException podczas próby dodania?

Poniższy przykład nie rzuca NullReferenceException i jest całkowicie poprawny.

string hello = null; 
string world = "world"; 
string hw = hello+world; 

co można uzyskać tylko NullReferenceException jeśli próbujesz uzyskać dostęp do elementu na obiekcie, który ma wartość null.

Answer 7

int? nigdy nie może być wartością null, ponieważ jest to struktura. Struktury żyją na stosie, a stos nie radzi sobie dobrze z wartością zerową.

Zobacz What is a NullPointerException, and how do I fix it?

Również dopuszczające wartość null typy mają 2 bardzo użytecznych właściwości: hasValue, Value

ten kod:

 if (x != null) 
     { 
      return (int) x; 
     } 

Powinny być refactored do tego:

 if (x.HasValue) 
     { 
      return x.Value; 
     }