สลับกับพฤติกรรมแปลก ๆ var / null

ระบุรหัสต่อไปนี้:

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

ทำไมงบเปลี่ยนการจับคู่ในcase var o?

เป็นความเข้าใจของฉันที่case string sไม่ตรงกันเมื่อใดs == nullเนื่องจาก (ได้ผล) (null as string) != nullประเมินเป็นเท็จ IntelliSense บน VS Code บอกฉันว่าoเป็นstringเช่นกัน ความคิดใด ๆ ?

คล้ายกับ: C # 7 switch case พร้อมการตรวจสอบ null

ภายในswitchคำสั่งการจับคู่รูปแบบโดยใช้ a caseสำหรับชนิดที่ชัดเจนจะถามว่าค่าที่เป็นปัญหาเป็นประเภทเฉพาะนั้นหรือเป็นประเภทที่ได้รับ มันเทียบเท่ากันแน่นอนของis

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

ค่าnullนี้ไม่มีประเภทดังนั้นจึงไม่เป็นไปตามเงื่อนไขข้างต้น ประเภทคงที่ของsomeStringไม่เข้ามามีบทบาทในตัวอย่างใดตัวอย่างหนึ่ง

varชนิดแม้ว่าจะอยู่ในรูปแบบการจับคู่ทำหน้าที่เป็นป่าการ์ดและจะตรงกับค่าใด ๆ nullรวมทั้ง

defaultกรณีที่นี่เป็นรหัสที่ตายแล้ว ค่าcase var oนี้จะจับคู่ค่าว่างหรือไม่เป็นค่าว่าง กรณีที่ไม่ใช่ค่าเริ่มต้นจะชนะเหนือค่าเริ่มต้นเสมอดังนั้นdefaultจะไม่ถูกตี หากคุณดู IL คุณจะเห็นว่ามันไม่ได้เปล่งออกมาเลย

ในภาพรวมอาจดูแปลกที่สิ่งนี้รวบรวมโดยไม่มีการเตือนใด ๆ (ทำให้ฉันผิดหวังอย่างแน่นอน) แต่สิ่งนี้ตรงกับพฤติกรรม C # ที่ย้อนกลับไปที่ 1.0 คอมไพเลอร์อนุญาตdefaultกรณีแม้ว่าจะสามารถพิสูจน์ได้เล็กน้อยว่าจะไม่มีวันโดน พิจารณาเป็นตัวอย่างดังต่อไปนี้:

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

ที่นี่defaultจะไม่ถูกตี (แม้ว่าจะboolมีค่าที่ไม่ใช่ 1 หรือ 0) แต่ C # ได้อนุญาตสิ่งนี้ตั้งแต่ 1.0 โดยไม่มีการเตือน การจับคู่รูปแบบจะสอดคล้องกับลักษณะการทำงานนี้ที่นี่

ฉันรวบรวมความคิดเห็น Twitter หลายรายการไว้ที่นี่ซึ่งเป็นเรื่องใหม่สำหรับฉันและฉันหวังว่า jaredpar จะเข้ามาพร้อมกับคำตอบที่ครอบคลุมมากขึ้น แต่; เวอร์ชันสั้นตามที่ฉันเข้าใจ:

case string s:

ถูกตีความว่าif(someString is string) { s = (string)someString; ...หรือif((s = (someString as string)) != null) { ... }- ซึ่งเกี่ยวข้องกับการnullทดสอบ - ซึ่งล้มเหลวในกรณีของคุณ ตรงกันข้าม:

case var o:

โดยที่คอมไพลเลอร์แก้ไขoตามที่เป็นstringอยู่o = (string)someString; ...- ไม่มีnullการทดสอบแม้ว่าจะมีลักษณะคล้ายกันบนพื้นผิวก็ตามเพียงแค่คอมไพเลอร์ระบุประเภท

สุดท้าย:

default:

ที่นี่ไม่สามารถเข้าถึงได้เนื่องจากกรณีด้านบนจับทุกอย่างได้ นี่อาจเป็นบั๊กของคอมไพเลอร์ที่ไม่ได้ส่งคำเตือนรหัสที่ไม่สามารถเข้าถึงได้

ฉันยอมรับว่านี่เป็นเรื่องละเอียดอ่อนและเหมาะสมมากและสับสน แต่เห็นได้ชัดว่าcase var oสถานการณ์ใช้กับการแพร่กระจายแบบว่าง ( o?.Length ?? 0ฯลฯ ) ฉันยอมรับว่ามันแปลกที่มันทำงานแตกต่างกันมากระหว่างvar oและstring sแต่มันเป็นสิ่งที่คอมไพเลอร์ทำอยู่ในปัจจุบัน

เป็นเพราะcase <Type>ตรงกับประเภทไดนามิก (รันไทม์) ไม่ใช่ประเภทคงที่ (เวลาคอมไพล์) ไม่ได้มีชนิดแบบไดนามิกดังนั้นจึงไม่สามารถจับคู่กับnull เป็นเพียงทางเลือกเท่านั้นstringvar

(โพสต์เพราะชอบตอบสั้น ๆ )