เหตุใดคอมไพลเลอร์ C # จึงไม่ใช่รหัสความผิดปกติที่เมธอดแบบคงที่เรียกใช้เมธอดอินสแตนซ์

รหัสต่อไปนี้มีวิธีการแบบคงที่Foo()เรียกวิธีการอินสแตนซ์Bar():

public sealed class Example
{
    int count;

    public static void Foo( dynamic x )
    {
        Bar(x);
    }

    void Bar( dynamic x )
    {
        count++;
    }
}

คอมไพล์โดยไม่มีข้อผิดพลาด * แต่สร้างข้อยกเว้น runtime binder ที่รันไทม์ การลบพารามิเตอร์ไดนามิกออกเป็นวิธีการเหล่านี้ทำให้เกิดข้อผิดพลาดของคอมไพเลอร์ตามที่คาดไว้

เหตุใดการมีพารามิเตอร์แบบไดนามิกจึงอนุญาตให้คอมไพล์โค้ดได้? ReSharper ไม่แสดงว่าเป็นข้อผิดพลาดเช่นกัน

แก้ไข 1: * ใน Visual Studio 2008

แก้ไข 2:เพิ่มsealedเนื่องจากเป็นไปได้ว่าคลาสย่อยอาจมีBar(...)วิธีการแบบคงที่ แม้แต่เวอร์ชันที่ปิดผนึกก็ยังคอมไพล์เมื่อไม่สามารถเรียกวิธีการอื่นนอกเหนือจากวิธีอินสแตนซ์ที่รันไทม์ได้

UPDATE: ด้านล่างคำตอบที่ถูกเขียนขึ้นในปี 2012 ก่อนที่จะนำ C # 7.3 (พฤษภาคม 2018) มีอะไรใหม่ใน C # 7.3ส่วนที่ปรับปรุงตัวเลือกโอเวอร์โหลดข้อ 1 จะอธิบายว่ากฎการแก้ปัญหาโอเวอร์โหลดมีการเปลี่ยนแปลงอย่างไรเพื่อให้การโอเวอร์โหลดแบบไม่คงที่จะถูกยกเลิกก่อนกำหนด ดังนั้นคำตอบด้านล่าง (และคำถามทั้งหมดนี้) ส่วนใหญ่มี แต่ความสนใจทางประวัติศาสตร์ในตอนนี้!

(ก่อน C # 7.3 :)

ด้วยเหตุผลบางประการความละเอียดเกินพิกัดมักจะหาค่าที่ตรงกันได้ดีที่สุดก่อนที่จะตรวจสอบค่าคงที่และไม่คงที่ โปรดลองใช้รหัสนี้กับประเภทคงที่ทั้งหมด:

class SillyStuff
{
  static void SameName(object o) { }
  void SameName(string s) { }

  public static void Test()
  {
    SameName("Hi mom");
  }
}

สิ่งนี้จะไม่รวบรวมเนื่องจากการโอเวอร์โหลดที่ดีที่สุดคือการใช้ไฟล์string. แต่เดี๋ยวก่อนนั่นเป็นวิธีการของอินสแตนซ์ดังนั้นคอมไพเลอร์จึงบ่น (แทนที่จะใช้โอเวอร์โหลดที่ดีที่สุดอันดับสอง)

นอกจากนี้: ดังนั้นผมคิดว่าคำอธิบายของdynamicตัวอย่างของเดิมคำถามคือว่าเพื่อให้สอดคล้องเมื่อประเภทเป็นแบบไดนามิกเรายังเป็นครั้งแรกหาสิ่งที่ดีที่สุดสำหรับการโอเวอร์โหลด (ตรวจสอบจำนวนและพารามิเตอร์พารามิเตอร์เพียงประเภทอื่น ๆ ไม่คงที่เมื่อเทียบกับที่ไม่ใช่ -static) จากนั้นตรวจสอบค่าคงที่เท่านั้น แต่นั่นหมายความว่าการตรวจสอบแบบคงต้องรอจนกว่ารันไทม์ ดังนั้นพฤติกรรมที่สังเกตได้

นอกจากนี้เวลาที่กำหนด: บางหลังที่ว่าทำไมพวกเขาเลือกที่จะทำสิ่งนี้เพื่อตลกสามารถอนุมานจากการโพสต์บล็อกนี้โดยเอริค Lippert

Foo มีพารามิเตอร์ "x" ที่เป็นไดนามิกซึ่งหมายความว่า Bar (x) เป็นนิพจน์แบบไดนามิก

เป็นไปได้อย่างสมบูรณ์แบบสำหรับตัวอย่างที่จะมีวิธีการเช่น:

static Bar(SomeType obj)

ในกรณีนี้วิธีการที่ถูกต้องจะได้รับการแก้ไขดังนั้นคำสั่ง Bar (x) จึงใช้ได้อย่างสมบูรณ์ ความจริงที่ว่ามีวิธีการอินสแตนซ์ Bar (x) นั้นไม่สามารถหลีกเลี่ยงได้และไม่ได้รับการพิจารณาด้วยซ้ำ: ตามคำนิยามเนื่องจาก Bar (x) เป็นนิพจน์แบบไดนามิกเราจึงได้เลื่อนความละเอียดไปเป็นรันไทม์

นิพจน์ "ไดนามิก" จะถูกผูกไว้ระหว่างรันไทม์ดังนั้นหากคุณกำหนดวิธีการแบบคงที่ด้วยลายเซ็นที่ถูกต้องหรือวิธีการอินสแตนซ์คอมไพเลอร์จะไม่ตรวจสอบ

เมธอด "right" จะถูกกำหนดระหว่างรันไทม์ คอมไพลเลอร์ไม่สามารถทราบได้ว่ามีวิธีการที่ถูกต้องในระหว่างรันไทม์หรือไม่

คีย์เวิร์ด "ไดนามิก" ถูกกำหนดสำหรับไดนามิกและภาษาสคริปต์โดยที่เมธอดสามารถกำหนดได้ตลอดเวลาแม้ในระหว่างรันไทม์ ของบ้า

นี่คือตัวอย่างที่จัดการ ints แต่ไม่มีสตริงเนื่องจากวิธีการอยู่บนอินสแตนซ์

class Program {
    static void Main(string[] args) {
        Example.Foo(1234);
        Example.Foo("1234");
    }
}
public class Example {
    int count;

    public static void Foo(dynamic x) {
        Bar(x);
    }

    public static void Bar(int a) {
        Console.WriteLine(a);
    }

    void Bar(dynamic x) {
        count++;
    }
}

คุณสามารถเพิ่มวิธีจัดการการโทรที่ "ผิด" ทั้งหมดซึ่งไม่สามารถจัดการได้

public class Example {
    int count;

    public static void Foo(dynamic x) {
        Bar(x);
    }

    public static void Bar<T>(T a) {
        Console.WriteLine("Error handling:" + a);
    }

    public static void Bar(int a) {
        Console.WriteLine(a);
    }

    void Bar(dynamic x) {
        count++;
    }
}