Anehnya, ini hanya mengikuti aturan dari spesifikasi bahasa C #.
Dari bagian 7.3.4:
Operasi dalam bentuk x op y, di mana op adalah operator biner yang dapat kelebihan beban, x adalah ekspresi tipe X, dan y adalah ekspresi tipe Y, diproses sebagai berikut:
- Himpunan calon operator yang ditentukan pengguna yang disediakan oleh X dan Y untuk operator operasi op (x, y) ditentukan. Himpunan ini terdiri dari gabungan operator kandidat yang disediakan oleh X dan operator kandidat yang disediakan oleh Y, masing-masing ditentukan menggunakan aturan §7.3.5. Jika X dan Y adalah tipe yang sama, atau jika X dan Y diturunkan dari tipe basis yang sama, maka operator kandidat bersama hanya terjadi dalam kumpulan gabungan satu kali.
- Jika kumpulan calon operator yang ditentukan pengguna tidak kosong, maka ini menjadi kumpulan calon operator untuk operasi. Jika tidak, implementasi op operator biner yang telah ditentukan, termasuk bentuk yang diangkat, menjadi kumpulan calon operator untuk operasi tersebut. Implementasi yang telah ditentukan sebelumnya dari operator tertentu ditentukan dalam deskripsi operator (§7.8 hingga §7.12).
- Aturan resolusi kelebihan beban pada §7.5.3 diterapkan ke kumpulan operator kandidat untuk memilih operator terbaik sehubungan dengan daftar argumen (x, y), dan operator ini menjadi hasil dari proses resolusi kelebihan beban. Jika resolusi kelebihan beban gagal memilih satu operator terbaik, kesalahan waktu pengikatan terjadi.
Jadi, mari kita bahas ini secara bergantian.
X adalah tipe nol di sini - atau bukan tipe sama sekali, jika Anda ingin menganggapnya seperti itu. Itu tidak memberikan kandidat apa pun. Y adalah bool, yang tidak menyediakan +operator yang ditentukan pengguna . Jadi langkah pertama tidak menemukan operator yang ditentukan pengguna.
Kompiler kemudian beralih ke poin poin kedua, melihat melalui implementasi + operator biner yang telah ditentukan dan formulir yang diangkat. Ini tercantum di bagian 7.8.4 spesifikasi.
Jika Anda melihat melalui operator yang telah ditentukan sebelumnya, satu - satunya yang berlaku adalah string operator +(string x, object y). Jadi set kandidat memiliki satu entri. Itu membuat poin terakhir sangat sederhana ... resolusi kelebihan beban memilih operator itu, memberikan tipe ekspresi keseluruhan string.
Satu hal yang menarik adalah hal ini akan terjadi meskipun ada operator yang ditentukan pengguna lain yang tersedia pada jenis yang tidak disebutkan. Sebagai contoh:
// Foo defined Foo operator+(Foo foo, bool b)
Foo f = null;
Foo g = f + true;
Tidak apa-apa, tetapi tidak digunakan untuk literal nol, karena kompilator tidak tahu untuk mencarinya Foo. Itu hanya tahu untuk dipertimbangkan stringkarena ini adalah operator yang ditentukan sebelumnya secara eksplisit tercantum dalam spesifikasi. (Sebenarnya, ini bukan operator yang ditentukan oleh tipe string ... 1 ) Itu berarti bahwa ini akan gagal untuk dikompilasi:
// Error: Cannot implicitly convert type 'string' to 'Foo'
Foo f = null + true;
Jenis operan kedua lainnya akan menggunakan beberapa operator lain, tentu saja:
var x = null + 0; // x is Nullable<int>
var y = null + 0L; // y is Nullable<long>
var z = null + DayOfWeek.Sunday; // z is Nullable<DayOfWeek>
1 Anda mungkin bertanya - tanya mengapa tidak ada operator + string. Ini pertanyaan yang masuk akal, dan saya hanya menebak-nebak jawabannya, tetapi pertimbangkan ungkapan ini:
string x = a + b + c + d;
Jika stringtidak ada casing khusus di kompiler C #, ini akan berakhir secara efektif:
string tmp0 = (a + b);
string tmp1 = tmp0 + c;
string x = tmp1 + d;
Jadi itu menciptakan dua string perantara yang tidak perlu. Namun, karena ada dukungan khusus di dalam kompilator, ia sebenarnya dapat mengkompilasi di atas sebagai:
string x = string.Concat(a, b, c, d);
yang dapat membuat hanya satu string dengan panjang yang tepat, menyalin semua data tepat satu kali. Bagus.