Trong C #, điều gì xảy ra khi bạn gọi một phương thức mở rộng trên một đối tượng null?

Phương thức này có được gọi với giá trị null hay không hoặc có đưa ra ngoại lệ tham chiếu null không?

MyObject myObject = null;
myObject.MyExtensionMethod(); // <-- is this a null reference exception?

Nếu đây là trường hợp tôi sẽ không bao giờ cần kiểm tra tham số 'this' của mình cho null?

Điều đó sẽ làm việc tốt (không có ngoại lệ). Các phương thức mở rộng không sử dụng các cuộc gọi ảo (nghĩa là nó sử dụng lệnh "gọi" il, không phải "callvirt") vì vậy không có kiểm tra null trừ khi bạn tự viết nó trong phương thức mở rộng. Điều này thực sự hữu ích trong một vài trường hợp:

public static bool IsNullOrEmpty(this string value)
{
    return string.IsNullOrEmpty(value);
}
public static void ThrowIfNull<T>(this T obj, string parameterName)
        where T : class
{
    if(obj == null) throw new ArgumentNullException(parameterName);
}

Vân vân

Về cơ bản, các cuộc gọi đến các cuộc gọi tĩnh rất đúng nghĩa - nghĩa là

string s = ...
if(s.IsNullOrEmpty()) {...}

trở thành:

string s = ...
if(YourExtensionClass.IsNullOrEmpty(s)) {...}

nơi rõ ràng là không có kiểm tra null.

Ngoài ra câu trả lời đúng từ Marc Gravell.

Bạn có thể nhận được cảnh báo từ trình biên dịch nếu rõ ràng đối số này là null:

default(string).MyExtension();

Hoạt động tốt trong thời gian chạy, nhưng tạo ra cảnh báo "Expression will always cause a System.NullReferenceException, because the default value of string is null".

Như bạn đã phát hiện ra, vì các phương thức mở rộng chỉ đơn giản là các phương thức tĩnh được tôn vinh, chúng sẽ được gọi với các nulltham chiếu được truyền vào mà không NullReferenceExceptionbị ném. Nhưng, vì chúng trông giống như các phương thức cá thể đối với người gọi, nên chúng cũng nên hành xử như vậy. Sau đó, hầu hết thời gian, bạn nên kiểm tra thistham số và ném ngoại lệ nếu có null. Không nên làm điều này nếu phương thức xử lý rõ ràng các nullgiá trị và tên của nó chỉ ra nó hợp lệ, như trong các ví dụ dưới đây:

public static class StringNullExtensions { 
  public static bool IsNullOrEmpty(this string s) { 
    return string.IsNullOrEmpty(s); 
  } 
  public static bool IsNullOrBlank(this string s) { 
    return s == null || s.Trim().Length == 0; 
  } 
}

Tôi cũng đã viết một bài blog về điều này một thời gian trước đây.

Một null sẽ được truyền cho phương thức mở rộng.

Nếu phương thức cố gắng truy cập vào đối tượng mà không kiểm tra là null, thì có, nó sẽ đưa ra một ngoại lệ.

Một anh chàng ở đây đã viết các phương thức mở rộng "IsNull" và "IsNotNull" mà kiểm tra xem tham chiếu có được thông qua null hay không. Cá nhân tôi nghĩ rằng đây là một quang sai và không nên nhìn thấy ánh sáng trong ngày, nhưng nó hoàn toàn hợp lệ c #.

Như những người khác đã chỉ ra, việc gọi một phương thức mở rộng trên tham chiếu null làm cho đối số này là null và sẽ không có gì khác đặc biệt xảy ra. Điều này đưa ra một ý tưởng để sử dụng các phương pháp mở rộng để viết các mệnh đề bảo vệ.

Bạn có thể đọc bài viết này để biết ví dụ: Cách giảm độ phức tạp theo chu kỳ: Điều khoản bảo vệ Phiên bản ngắn là đây:

public static class StringExtensions
{
    public static void AssertNonEmpty(this string value, string paramName)
    {
        if (string.IsNullOrEmpty(value))
            throw new ArgumentException("Value must be a non-empty string.", paramName);
    }
}

Đây là phương thức mở rộng lớp chuỗi có thể được gọi trên tham chiếu null:

((string)null).AssertNonEmpty("null");

Cuộc gọi chỉ hoạt động tốt vì thời gian chạy sẽ gọi thành công phương thức mở rộng trên tham chiếu null. Sau đó, bạn có thể sử dụng phương thức mở rộng này để triển khai các mệnh đề bảo vệ mà không cần cú pháp lộn xộn:

    public IRegisteredUser RegisterUser(string userName, string referrerName)
    {

        userName.AssertNonEmpty("userName");
        referrerName.AssertNonEmpty("referrerName");

        ...

    }

Phần mở rộng là tĩnh, vì vậy nếu bạn không làm gì với MyObject này thì đó không phải là vấn đề, một bài kiểm tra nhanh sẽ xác minh nó :)

Có một vài quy tắc vàng khi bạn muốn có thể đọc được và thẳng đứng.

• một điều đáng nói từ Eiffel nói rằng mã cụ thể được gói gọn trong một phương thức sẽ hoạt động chống lại một số đầu vào, mã đó hoàn toàn khả thi nếu được đáp ứng một số điều kiện tiên quyết và đảm bảo đầu ra dự kiến

Trong trường hợp của bạn - DesignByContract bị hỏng ... bạn sẽ thực hiện một số logic trên một ví dụ null.