Di C #, apa yang terjadi ketika Anda memanggil metode ekstensi pada objek nol?

Apakah metode dipanggil dengan nilai nol atau apakah memberikan pengecualian referensi nol?

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

Jika demikian, saya tidak perlu memeriksa parameter 'ini' untuk nol?

Itu akan bekerja dengan baik (tidak terkecuali). Metode ekstensi tidak menggunakan panggilan virtual (yaitu menggunakan instruksi "panggilan", bukan "callvirt") sehingga tidak ada pemeriksaan nol kecuali Anda menulisnya sendiri dalam metode ekstensi. Ini sebenarnya berguna dalam beberapa kasus:

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

dll

Pada dasarnya, panggilan ke panggilan statis sangat harfiah - yaitu

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

menjadi:

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

di mana jelas tidak ada cek nol.

Selain jawaban yang benar dari Marc Gravell.

Anda bisa mendapatkan peringatan dari kompiler jika jelas bahwa argumen ini nol:

default(string).MyExtension();

Bekerja dengan baik saat runtime, tetapi menghasilkan peringatan "Expression will always cause a System.NullReferenceException, because the default value of string is null".

Seperti yang sudah Anda temukan, karena metode ekstensi hanya metode statis dimuliakan, mereka akan dipanggil dengan nullreferensi yang dilewatkan, tanpa NullReferenceExceptiondilemparkan. Tapi, karena mereka terlihat seperti metode instan untuk penelepon, mereka juga harus bersikap seperti itu. Maka Anda harus, sebagian besar waktu, memeriksathis parameter dan melemparkan pengecualian jika itu null. Tidak apa-apa untuk melakukan ini jika metode secara eksplisit menangani nullnilai - nilai dan namanya menunjukkan itu sebagaimana mestinya, seperti dalam contoh di bawah ini:

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

Saya juga menulis posting blog tentang ini beberapa waktu yang lalu.

Nol akan diteruskan ke metode ekstensi.

Jika metode ini mencoba mengakses objek tanpa memeriksa apakah itu nol, maka ya, itu akan melempar pengecualian.

Seorang pria di sini menulis metode ekstensi "IsNull" dan "IsNotNull" yang memeriksa apakah referensi yang diberikan adalah nol atau tidak. Secara pribadi saya pikir ini adalah penyimpangan dan seharusnya tidak terlihat terang hari, tapi itu benar-benar valid c #.

Seperti yang ditunjukkan orang lain, memanggil metode ekstensi pada referensi nol menyebabkan argumen ini menjadi nol dan tidak ada hal lain yang akan terjadi. Ini memunculkan ide untuk menggunakan metode ekstensi untuk menulis klausa penjaga.

Anda dapat membaca artikel ini sebagai contoh: Cara Mengurangi Kompleksitas Siklon: Penjaga Klausa Versi singkatnya adalah ini:

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

Ini adalah metode ekstensi kelas string yang dapat dipanggil dengan referensi nol:

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

Panggilan berfungsi dengan baik hanya karena runtime akan berhasil memanggil metode ekstensi dengan referensi nol. Kemudian Anda dapat menggunakan metode ekstensi ini untuk menerapkan klausa penjaga tanpa sintaksis yang berantakan:

    public IRegisteredUser RegisterUser(string userName, string referrerName)
    {

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

        ...

    }

Metode ekstensi statis, jadi jika Anda tidak melakukan apa pun pada MyObject ini seharusnya tidak menjadi masalah, tes cepat harus memverifikasinya :)

Ada beberapa aturan emas ketika Anda ingin agar Anda dapat dibaca dan vertikal.

• salah satu yang layak dikatakan dari Eiffel mengatakan kode spesifik yang dienkapsulasi ke dalam suatu metode harus bekerja melawan beberapa input, kode tersebut dapat diterapkan jika memenuhi beberapa prasyarat dan memastikan output yang diharapkan

Dalam kasus Anda - DesignByContract rusak ... Anda akan melakukan beberapa logika pada instance nol.