beralih dengan perilaku aneh var / null

Diberikan kode berikut:

string someString = null;
switch (someString)
{
    case string s:
        Console.WriteLine("string s");
        break;
    case var o:
        Console.WriteLine("var o");
        break;
    default:
        Console.WriteLine("default");
        break;
}

Mengapa pernyataan sakelar cocok case var o?

Pemahaman saya case string stidak cocok ketika s == nullkarena (secara efektif) (null as string) != nullmengevaluasi salah. IntelliSense pada VS Code memberi tahu saya bahwa oitu stringjuga. Ada pemikiran?

Mirip dengan: C # 7 switch case dengan pemeriksaan null

Di dalam switchpernyataan pencocokan pola yang menggunakan a caseuntuk tipe eksplisit menanyakan apakah nilai yang dimaksud adalah dari tipe spesifik itu, atau tipe turunan. Ini sama persis denganis

switch (someString) {
  case string s:
}
if (someString is string) 

Nilai nulltidak memiliki tipe dan karenanya tidak memenuhi salah satu kondisi di atas. Jenis statis someStringtidak ikut bermain di kedua contoh.

The varTipe meskipun dalam pencocokan pola bertindak sebagai kartu liar dan akan cocok dengan nilai apapun termasuk null.

The defaultterjadi di sini adalah kode mati. The case var oakan ditemukan nilai, null atau non-null. Kasus non-default selalu menang atas kasus default sehingga defaulttidak akan pernah terkena. Jika Anda melihat IL Anda akan melihat itu bahkan tidak dipancarkan.

Sekilas mungkin tampak aneh bahwa kompilasi ini tanpa peringatan apa pun (pasti membuat saya bingung). Tapi ini cocok dengan perilaku C # yang kembali ke 1.0. Kompilator mengizinkan defaultkasus bahkan ketika ia dapat dengan mudah membuktikan bahwa ia tidak akan pernah terpukul. Perhatikan sebagai contoh berikut ini:

bool b = ...;
switch (b) {
  case true: ...
  case false: ...
  default: ...
}

Disini defaulttidak akan pernah terkena (bahkan untuk boolyang memiliki nilai bukan 1 atau 0). Namun C # telah mengizinkan ini sejak 1.0 tanpa peringatan. Pencocokan pola hanya sejalan dengan perilaku ini di sini.

Saya mengumpulkan beberapa komentar twitter di sini - ini sebenarnya baru bagi saya, dan saya berharap jaredpar akan memberikan jawaban yang lebih komprehensif, tetapi; versi pendek yang saya pahami:

case string s:

ditafsirkan sebagai if(someString is string) { s = (string)someString; ...atau if((s = (someString as string)) != null) { ... }- salah satunya melibatkan nulltes - yang gagal dalam kasus Anda; sebaliknya:

case var o:

di mana kompilator menyelesaikan oapa stringadanya o = (string)someString; ...- tidak ada nullpengujian, meskipun faktanya terlihat serupa di permukaan, hanya dengan kompilator yang menyediakan tipenya.

akhirnya:

default:

di sini tidak dapat dihubungi , karena kasus di atas mencakup semuanya. Ini mungkin bug kompilator karena tidak mengeluarkan peringatan kode yang tidak dapat dijangkau.

Saya setuju bahwa ini sangat halus dan bernuansa, dan membingungkan. Namun ternyata case var oskenario tersebut digunakan dengan propagasi null ( o?.Length ?? 0dll). Saya setuju bahwa aneh bahwa ini bekerja sangat berbeda antara var odan string s, tetapi itulah yang dilakukan kompilator saat ini.

Itu karena case <Type>cocok pada jenis dinamis (waktu proses), bukan jenis statis (waktu kompilasi). nulltidak memiliki tipe dinamis, jadi tidak bisa ditandingi string. varhanyalah fallback.

(Memposting karena saya suka jawaban singkat.)