Що в C #, що відбувається, коли ви викликаєте метод розширення на нульовий об'єкт?

Чи називається метод з нульовим значенням або він дає нульове посилання виключення?

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

У такому випадку мені ніколи не доведеться перевіряти параметр 'this' на null?

Це буде добре (не виняток). Методи розширення не використовують віртуальні виклики (тобто він використовує інструкцію "call" il, а не "callvirt"), тому немає перевірки нуля, якщо ви не напишете його самостійно методом розширення. Це насправді корисно в кількох випадках:

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);
}

тощо

По суті, дзвінки на статичні дзвінки дуже буквальні - тобто

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

стає:

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

де явно немає нульової перевірки.

Доповнення до правильної відповіді від Марка Гравелла.

Ви можете отримати попередження від компілятора, якщо очевидно, що цей аргумент є нульовим:

default(string).MyExtension();

Добре працює під час виконання, але створює попередження "Expression will always cause a System.NullReferenceException, because the default value of string is null".

Як ви вже виявили, оскільки методи розширення є просто прославленими статичними методами, вони будуть викликатися з nullпереданими посиланнями, без того, щоб NullReferenceExceptionїх кидали. Але, оскільки вони виглядають як екземплярні методи для абонента, вони також повинні поводитись як такі. Тоді вам слід більшу частину часу перевіряти thisпараметр і кидати виняток, якщо він є null. Це нормально не робити цього, якщо метод явно переймається nullзначеннями, а його ім'я вказує на це належним чином, як у прикладах нижче

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; 
  } 
}

Я також писав про це в блозі деякий час тому.

Нуль буде передано методу розширення.

Якщо метод намагається отримати доступ до об'єкта без перевірки, чи недійсний він, то так, він викине виняток.

Хлопець тут написав "IsNull" та "IsNotNull" методи розширення, які перевіряють, чи посилання передано нульовим чи ні. Особисто я думаю, що це відхилення, і я не повинен був бачити світло дня, але це абсолютно дійсно c #.

Як зазначали інші, виклик методу розширення на нульовий довідник призводить до того, що цей аргумент є нульовим, і нічого іншого особливого не відбудеться. Це породжує ідею використовувати методи розширення для написання захисних пропозицій.

Ви можете прочитати цю статтю для прикладів: Як зменшити цикломатичну складність: Застереження Застереження Коротка версія:

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);
    }
}

Це метод розширення класу рядків, який можна викликати за нульовою посиланням:

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

Виклик працює нормально лише тому, що час виконання буде успішно викликати метод розширення за нульовою посиланням. Тоді ви можете використовувати цей метод розширення для реалізації застережних застережень без брудного синтаксису:

    public IRegisteredUser RegisterUser(string userName, string referrerName)
    {

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

        ...

    }

Метод Extension є статичним, тому якщо ви нічого не зробите з цим MyObject, це не повинно бути проблемою, швидкий тест повинен перевірити його :)

Є кілька золотих правил, коли ви хочете, щоб ваші були читабельні та вертикальні.

• Варто сказати від Ейфеля, що конкретний код, інкапсульований у метод, повинен працювати проти деякого введення, що код є працездатним, якщо дотримуються певних передумов і забезпечують очікуваний вихід

У вашому випадку - DesignByContract порушено ... ви будете виконувати певну логіку в нульовому екземплярі.