Tham chiếu đối tượng không được đặt thành một thể hiện của đối tượng. Tại sao .NET không hiển thị đối tượng nào là `null`?

Về thông báo ngoại lệ chưa được xử lý .NET này:

Tham chiếu đối tượng không được đặt thành một phiên bản của đối tượng.

Tại sao .NET không hiển thị đối tượng là null?

Tôi biết rằng tôi có thể kiểm tra nullvà giải quyết lỗi. Tuy nhiên, tại sao .NET không giúp chỉ ra đối tượng nào có tham chiếu null và biểu thức nào đã kích hoạt NullReferenceException?

(Để biết thông tin về trình trợ giúp ngoại lệ mới trong Visual Studio 2017, hãy xem phần cuối của câu trả lời này)

Hãy xem xét mã này:

String s = null;
Console.WriteLine(s.Length);

Điều này sẽ ném một NullReferenceExceptionvào dòng thứ hai và bạn muốn biết tại sao .NET không cho bạn biết rằng nó slà null khi ngoại lệ được ném.

Để hiểu tại sao bạn không nhận được thông tin đó, bạn nên nhớ rằng nó không phải là nguồn C # thực thi mà là IL:

IL_0001: ldnull      
IL_0002: stloc.0 // s
IL_0003: ldloc.0 // s
IL_0004: callvirt System.String.get_Length
IL_0009: gọi System.Console.WriteLine

Nó là callvirtopcode ném NullReferenceExceptionvà nó thực hiện điều đó khi đối số đầu tiên trên ngăn xếp đánh giá là một tham chiếu rỗng (tham chiếu đã được tải bằng cách sử dụng ldloc.0).

Nếu .NET có thể nói rằng đó là stham chiếu rỗng, theo một cách nào đó, nó sẽ theo dõi đối số đầu tiên trên biểu mẫu bắt nguồn của ngăn xếp đánh giá s. Trong trường hợp này, chúng ta dễ dàng thấy rằng đó là snull nhưng nếu giá trị đó là giá trị trả về từ một lệnh gọi hàm khác và không được lưu trữ trong bất kỳ biến nào? Dù sao, loại thông tin này không phải là thứ bạn muốn theo dõi trong một máy ảo như máy ảo .NET.

Để tránh vấn đề này, tôi khuyên bạn nên thực hiện kiểm tra đối số null trong tất cả các lệnh gọi phương thức công khai (tất nhiên trừ khi bạn cho phép tham chiếu null):

public void Foo(String s) {
  if (s == null)
    throw new ArgumentNullException("s");
  Console.WriteLine(s.Length);
}

Nếu null được truyền cho phương thức, bạn sẽ nhận được một ngoại lệ mô tả chính xác vấn đề là gì (đó slà null).

Bốn năm sau, Visual Studio 2017 hiện có một trình trợ giúp ngoại lệ mới sẽ cố gắng cho biết những gì là null khi một NullReferenceExceptionđược ném. Nó thậm chí có thể cung cấp cho bạn thông tin cần thiết khi nó là giá trị trả về của một phương thức là null:

Lưu ý rằng điều này chỉ hoạt động trong bản dựng GỠ LỖI.

Bạn muốn thông báo lỗi trong trường hợp sau trông như thế nào?

AnyObject.GetANullObject().ToString();

private object GetANullObject()
{
  return null;
}

Không có tên biến để báo cáo ở đây!

Vâng, đó là câu trả lời của các kỹ sư tại Microsoft. Nhưng rõ ràng bạn có thể sử dụng trình gỡ lỗi và thêm đồng hồ để tìm ra cái nào gặp sự cố.

Tuy nhiên, ngoại lệ NullReferenceExceptioncó nghĩa là tham chiếu không tồn tại . Bạn không thể lấy đối tượng chưa được tạo.

but why .NET don't tell us which object is null? Bởi vì nó không biết đối tượng nào là null. Đối tượng chỉ đơn giản là không tồn tại!

Tương tự là trường hợp khi tôi nói, C # được biên dịch thành mã .NET IL. Mã .NET IL không biết tên hoặc biểu thức. Nó chỉ biết tài liệu tham khảo và vị trí của chúng. Ở đây cũng vậy, bạn không thể có được những gì không tồn tại. Biểu thức hoặc tên biến không tồn tại.

Triết lý: Bạn không thể làm món omlette nếu bạn không có trứng ngay từ đầu.

Không chắc chắn, nhưng điều này có thể là do .Net không biết liệu nó là lớp được xác định trước hay do người dùng xác định. Nếu nó được xác định trước thì nó có thể là null (như chuỗi chiếm 2 Byte) nhưng nếu nó do người dùng định nghĩa thì chúng ta phải tạo một thể hiện của nó để nó biết rằng đối tượng này sẽ chiếm nhiều bộ nhớ này. Vì vậy, nó ném lỗi vào thời gian chạy.

Câu hỏi hay. Hộp tin nhắn chỉ ngắn gọn là vô dụng. Ngay cả khi nó được chôn sâu một dặm so với định nghĩa tham chiếu, một số lớp hoặc tập hợp hoặc tệp hoặc thông tin khác sẽ tốt hơn những gì chúng hiện đang cung cấp (đọc: tốt hơn là không có gì).

Lựa chọn tốt nhất của bạn là chạy nó trong trình gỡ lỗi với thông tin gỡ lỗi và IDE của bạn sẽ ngắt ở dòng vi phạm (chứng minh rõ ràng hơn rằng thông tin hữu ích trên thực tế là có sẵn).