C# Toán tử điều hướng an toàn - điều gì đang thực sự xảy ra?

Question

Tôi đã theo dõi tính năng điều hành an toàn được thêm vào trong C# 6 với một số sở thích. Tôi đã mong chờ nó một lúc. Nhưng tôi đang tìm một số hành vi khác với tôi mong đợi. Tôi nhận ra tôi thực sự không hiểu nó hoạt động như thế nào.

Với lớp này

class Foo { 
    public int? Measure; 
} 

Dưới đây là một số mã sử dụng các nhà điều hành mới.

Foo f = new Foo { Measure = 3 }; 
Console.WriteLine(f?.Measure); // 3 

f = new Foo { Measure = null }; 
Console.WriteLine(f?.Measure); // null 

f = null; 
Console.WriteLine(f?.Measure); // null 

Đến đây, mọi thứ hoạt động như mong đợi. ?. đang truy cập vào các thành viên khi phía bên tay trái không phải là rỗng, nếu không trả về null. Nhưng ở đây mọi thứ diễn ra theo hướng tôi không mong đợi.

var i = f?.Measure; // i is Nullable<int> 
Console.WriteLine(i.HasValue); // false 
Console.WriteLine(f?.Measure.HasValue); // null 

Cái gì?

Tại sao tôi có thể nhận được HasValue từ i, nhưng không phải từ cùng một biểu thức mà tôi đã gán cho i? Làm thế nào có thể HasValue bao giờ được null?

Chỉnh sửa: Câu hỏi thực sự của tôi là về hành vi của chương trình chứ không phải lỗi biên dịch. Tôi đã loại bỏ các nội dung bổ sung về biên dịch và tập trung câu hỏi này hẹp hơn về lý do tại sao hai kết quả khác nhau được trả về bởi những gì có vẻ giống như logic.

Answer 1

Hãy xem qua điều này một cách hợp lý.

var f = ???; 
var i = f?.Measure; 
var t = i.HasValue; 

Chúng tôi không biết liệu f có bị vô hiệu hay không.
1. Nếu flà null, sau đó kết quả (i) là null
2. Nếu fkhông phải là null, thì kết quả (i) là một int

Do đó, i được định nghĩa là int?, và t là một bool

Bây giờ, chúng ta hãy đi bộ qua này:

var f = ???; 
var i = f?.Measure.HasValue; 

1. Nếu flà null, sau đó kết quả (i) là null
2. Nếu fkhông phải là null, sau đó kết quả (i) là Measure.HasValue, mà là một bool.

Do đó, i là bool?.

Nếu f là không, chúng tôi đoản mạch và trả về giá trị rỗng.Nếu không, chúng tôi trả lại kết quả bool của .HasValue.

Về cơ bản, khi sử dụng ?. - các kiểu trả về phải là một giá trị tham khảo, hoặc một Nullable<T>, như các biểu hiện có thể ngắn mạch để trở về null.

Answer 2

Nullable<T> thực sự là cấu trúc và do đó không thể rỗng, chỉ Value có thể, vì vậy, HasValue sẽ luôn có thể truy cập được.

Answer 3

var i = f?.Measure; // i is Nullable<int> 
Console.WriteLine(i.HasValue); // false 
Console.WriteLine(f?.Measure.HasValue); // null 

Trong trường hợp này, f là rỗng.

Lý do tại sao i.HasValue trả lại false là vì i thuộc loại Nullable<int>. Vì vậy, ngay cả khi giá trị của i là null, như trong trường hợp này, i.HasValue vẫn có thể truy cập được.

Tuy nhiên, f?.Measure.HasValue ngay lập tức trả lại null sau khi f? được đánh giá. Do đó kết quả bạn nhìn thấy ở trên.

Chỉ cần trích dẫn Rob's comment:

Điều quan trọng để nhận ra là bạn đang đọc và hiểu này: f .Measure.HasValue như thế này: (? F .Measure) .HasValue, mà nó là không.