Was passiert in C #, wenn Sie eine Erweiterungsmethode für ein Nullobjekt aufrufen?

Wird die Methode mit einem Nullwert aufgerufen oder gibt sie eine Nullreferenzausnahme?

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

Wenn dies der Fall ist, muss ich meinen 'this'-Parameter niemals auf null überprüfen?

Das wird gut funktionieren (keine Ausnahme). Erweiterungsmethoden verwenden keine virtuellen Aufrufe (dh sie verwenden die Anweisung "call" il, nicht "callvirt"), sodass keine Nullprüfung durchgeführt wird, es sei denn, Sie schreiben sie selbst in die Erweiterungsmethode. Dies ist in einigen Fällen tatsächlich nützlich:

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

usw

Grundsätzlich sind Aufrufe zu statischen Aufrufen sehr wörtlich - dh

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

wird:

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

wo es offensichtlich keine Nullprüfung gibt.

Ergänzung zur richtigen Antwort von Marc Gravell.

Sie könnten eine Warnung vom Compiler erhalten, wenn es offensichtlich ist, dass dieses Argument null ist:

default(string).MyExtension();

Funktioniert gut zur Laufzeit, erzeugt aber die Warnung "Expression will always cause a System.NullReferenceException, because the default value of string is null".

Wie Sie bereits festgestellt haben, werden Erweiterungsmethoden, da es sich lediglich um verherrlichte statische Methoden handelt, mit übergebenen nullReferenzen aufgerufen , ohne NullReferenceExceptiondass sie ausgelöst werden. Da sie für den Aufrufer jedoch wie Instanzmethoden aussehen, sollten sie sich auch als solche verhalten . Sie sollten dann meistens den thisParameter überprüfen und eine Ausnahme auslösen, wenn dies der Fall ist null. Es ist in Ordnung, dies nicht zu tun, wenn sich die Methode explizit um nullWerte kümmert und ihr Name dies ordnungsgemäß anzeigt, wie in den folgenden Beispielen:

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

Ich habe vor einiger Zeit auch einen Blog-Beitrag darüber geschrieben.

Eine Null wird an die Erweiterungsmethode übergeben.

Wenn die Methode versucht, auf das Objekt zuzugreifen, ohne zu überprüfen, ob es null ist, wird eine Ausnahme ausgelöst.

Ein Typ hier hat die Erweiterungsmethoden "IsNull" und "IsNotNull" geschrieben, die überprüfen, ob die Referenz null übergeben wurde oder nicht. Persönlich denke ich, dass dies eine Aberration ist und nicht das Licht der Welt erblicken sollte, aber es ist vollkommen gültig, c #.

Wie andere betonten, führt das Aufrufen einer Erweiterungsmethode für die Nullreferenz dazu, dass dieses Argument null ist und nichts anderes Besonderes passiert. Dies lässt die Idee aufkommen, Erweiterungsmethoden zum Schreiben von Schutzklauseln zu verwenden.

In diesem Artikel finden Sie Beispiele: So reduzieren Sie die zyklomatische Komplexität: Schutzklausel Die Kurzversion lautet wie folgt:

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

Dies ist die String-Klassenerweiterungsmethode, die bei einer Nullreferenz aufgerufen werden kann:

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

Der Aufruf funktioniert nur, weil die Laufzeit die Erweiterungsmethode bei Nullreferenz erfolgreich aufruft. Dann können Sie diese Erweiterungsmethode verwenden, um Schutzklauseln ohne unübersichtliche Syntax zu implementieren:

    public IRegisteredUser RegisterUser(string userName, string referrerName)
    {

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

        ...

    }

Die Erweiterungsmethode ist statisch. Wenn Sie also an diesem MyObject nichts ändern, sollte dies kein Problem sein. Ein schneller Test sollte dies überprüfen :)

Es gibt nur wenige goldene Regeln, wenn Sie lesbar und vertikal sein möchten.

• Eine erwähnenswerte Aussage von Eiffel besagt, dass der in eine Methode eingekapselte spezifische Code gegen einige Eingaben funktionieren sollte. Dieser Code ist funktionsfähig, wenn einige Voraussetzungen erfüllt sind und eine erwartete Ausgabe sichergestellt ist

In Ihrem Fall - DesignByContract ist fehlerhaft ... Sie werden eine Logik für eine Nullinstanz ausführen.