Tại sao C# yêu cầu dấu ngoặc đơn khi sử dụng các giá trị rỗng trong một biểu thức?

Question

Tôi mới đến C# và trong khi khám phá các tính năng ngôn ngữ, tôi đi qua một cái gì đó kỳ lạ:

struct Foo 
{ 
    public Foo Identity() { return this; } 

    public static void Bar(Foo? foo) 
    { 
     Foo foo1 = foo?.Identity().Value; // Does not compile 
     Foo foo2 = (foo?.Identity()).Value; // Compiles 
    } 
} 

bất cứ ai có thể giải thích cho tôi tại sao ngoặc là cần thiết?

Answer 1

Ai đó có thể giải thích cho tôi lý do tại sao dấu ngoặc đơn là cần thiết không?

Vì Identity() lợi nhuận một Foo (không phải là một Foo?) và do đó không có tài sản Value. Nếu foo là null, giá trị null sẽ truyền qua cuộc gọi Identity.

Khi bạn đặt dấu ngoặc xung quanh nó, kết quả của các biểu là một Nullable<Foo> mà không có một tài sản Value.

Cũng lưu ý rằng nếu foolà null, sau đó bạn sẽ được gọi Value trên Nullable<Foo> rằng không có giá trị, và sẽ nhận được một ngoại lệ tại thời gian chạy. Một số máy phân tích tĩnh sẽ nhận ra rằng bạn có một ngoại lệ tham chiếu null có thể chờ đợi để xảy ra và cảnh báo bạn.

Nếu bạn mở rộng ảnh ra tương đương của họ mà không null-tuyên truyền nó sẽ được rõ ràng hơn:

Foo foo1; 
if(foo != null) 
{ 
    foo1 = foo.Identity().Value; // not possible - Foo has no Value property. 
} 
else 
{ 
    foo1 = null; // also not possible 
} 

Foo foo2; 
Foo? temp; 
if(foo != null) 
{ 
    temp = foo.Identity(); 
} 
else 
{ 
    temp = null; // actually a Nullable<Foo> with no value 
} 
foo2 = temp.Value; // legal, but will throw an exception at run-time if foo is null 

Nếu Identity() lợi nhuận Foo, tại sao Foo foo3 = foo?.Identity(); không biên dịch?

Tương đương với đó sẽ là:

Foo foo3 
if(foo != null) 
{ 
    foo3 = foo.Identity(); 
} 
else 
{ 
    foo3 = null; // not possible 
} 

Answer 2

Tôi nghĩ đó là một quyết định tốt từ nhóm C# để làm điều đó theo cách này. Xem xét kịch bản sau đây:

Nếu struct là:

struct Foo 
{ 
    public int ID { set; get; } 

    public Foo Identity() { return this; } 

    public static void Bar(Foo? foo) 
    { 
     int? foo1 = foo?.Identity().ID; // compile 
     Foo foo2 = (foo?.Identity()).Value; // Compiles 
    } 
} 

Nếu bạn không cần ngoặc để truy cập kết quả Nullable, bạn sẽ không thể truy cập vào ID tài sản. Kể từ khi dưới đây sẽ không biên dịch:

int? foo2 = (foo?.Identity()).GetValueOrDefault()?.ID 

Khi bạn viết foo?.Identity(). những gì là sau khi . là loại Foo trả về bởi Identity(). Tuy nhiên, trong (foo?.Identity()). nội dung sau . là Foo? là kết quả thực tế của toàn bộ tuyên bố foo?.Identity().