FirstOrDefault Behavior with Int i Int?

Question

Właśnie przeczytałem SO post, który wyjaśnił, że typ zwracany przez FirstOrDefault() będzie się różnić w zależności od wartości wybranego elementu.

przykład:

ICollection<String> list = new List<String>(); 
list.Add("bye"); 

int a = (from x in list where (x == "hi") select x.Length).FirstOrDefault(); 

W tym przykładzie a będzie równe 0, ponieważ wartość domyślna int 0.

Jednakże można dodać .Cast<int?>() jak na już związanego stanowiskach w celu get null, gdy zapytanie zwróci 0 wyników.

int? a = (from x in list where ... x.Length).Cast<int?>().FirstOrDefault(); 

Dlaczego nie pojawia się błąd kompilacji (lub przynajmniej ostrzeżenie), gdy na moim pierwszym przykładzie mogę używać pustych int (int?) zamiast regularnej int?

Jeśli dobrze rozumiem, używając int? podczas wykonywania mój pierwszy kwerenda będzie nigdy doprowadzić do wartości null.

Answer 1

Dlaczego nie pojawia się błąd kompilacji (lub przynajmniej ostrzeżenie), gdy na moim pierwszym przykładzie używam Nullable int zamiast regularnej int wtedy? Jeśli rozumiem poprawnie, używając int? podczas wykonywania mojej pierwszej kwerendy nigdy nie będzie mieć wartości null.

Twoje zrozumienie jest prawidłowe. Jednak kompilator nie koliduje z twoją chęcią zadeklarowania zmiennej a jako zerowalnej, ponieważ jest to konwersja "poszerzająca": nawet jeśli przypisanie z zapytania LINQ nigdy nie zwróciło wartości null, możesz mieć inne zastosowanie dla tej samej zmiennej w dół poniżej:

int? a = (from x in list where (x == "hi") select x.Length).FirstOrDefault(); 
// Do something with `a`, which will not be null 
... 
a = null; 
if (someCondition) { 
    a = someNotNullValue(); 
} 
// Here, a may or may not be null 
...