Tại sao trình biên dịch C # không mã lỗi trong đó một phương thức tĩnh gọi một phương thức thể hiện?

Các mã sau đây có một phương pháp tĩnh, Foo()gọi một phương pháp dụ, Bar():

public sealed class Example
{
    int count;

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

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

Nó biên dịch mà không có lỗi * nhưng tạo ra một ngoại lệ chất kết dính thời gian chạy trong thời gian chạy. Loại bỏ tham số động đối với các phương thức này gây ra lỗi trình biên dịch, như mong đợi.

Vậy tại sao có một tham số động lại cho phép mã được biên dịch? ReSharper cũng không hiển thị nó là một lỗi.

Chỉnh sửa 1: * trong Visual Studio 2008

Chỉnh sửa 2: được thêm vào sealedvì có thể một lớp con có thể chứa một Bar(...)phương thức tĩnh . Ngay cả phiên bản niêm phong cũng biên dịch khi không thể gọi bất kỳ phương thức nào khác với phương thức phiên bản trong thời gian chạy.

CẬP NHẬT: Câu trả lời dưới đây được viết vào năm 2012, trước khi C # 7.3 ra đời (tháng 5 năm 2018) . Trong Có gì mới trong C # 7.3 , phần Cải thiện ứng cử viên quá tải , mục 1, nó được giải thích cách các quy tắc giải quyết quá tải đã thay đổi để các quá tải không tĩnh bị loại bỏ sớm. Vì vậy, câu trả lời dưới đây (và toàn bộ câu hỏi này) hầu như chỉ có lợi ích lịch sử cho đến nay!

(Pre C # 7.3 :)

Vì một số lý do, giải quyết quá tải luôn tìm thấy kết quả phù hợp nhất trước khi kiểm tra tĩnh so với không tĩnh. Vui lòng thử mã này với tất cả các loại tĩnh:

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

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

Điều này sẽ không biên dịch bởi vì quá tải tốt nhất là một string. Nhưng này, đó là một phương thức thể hiện, vì vậy trình biên dịch phàn nàn (thay vì lấy quá tải tốt thứ hai).

Bổ sung: Vì vậy, tôi nghĩ giải thích về dynamicví dụ của Câu hỏi ban đầu là, để nhất quán, khi các kiểu là động, trước tiên chúng ta cũng phải tìm quá tải tốt nhất (chỉ kiểm tra số tham số và kiểu tham số, v.v., không phải tĩnh so với không -static), và chỉ sau đó kiểm tra tĩnh. Nhưng điều đó có nghĩa là kiểm tra tĩnh phải đợi cho đến thời gian chạy. Do đó hành vi quan sát được.

Bổ sung muộn: Một số cơ sở về lý do tại sao họ chọn làm những việc theo thứ tự vui nhộn này có thể được suy ra từ bài đăng blog này của Eric Lippert .

Foo có một tham số "x" là động, có nghĩa là Bar (x) là một biểu thức động.

Ví dụ hoàn toàn có thể có các phương thức như:

static Bar(SomeType obj)

Trong trường hợp đó, phương pháp đúng sẽ được giải quyết, vì vậy câu lệnh Bar (x) là hoàn toàn hợp lệ. Thực tế là có một phương thức thể hiện Bar (x) là không thể thay đổi và thậm chí không được xem xét: theo định nghĩa , vì Bar (x) là một biểu thức động, chúng tôi đã hoãn phân giải thành thời gian chạy.

Biểu thức "động" sẽ bị ràng buộc trong thời gian chạy, vì vậy nếu bạn xác định một phương thức tĩnh với chữ ký chính xác hoặc một phương thức thể hiện, trình biên dịch sẽ không kiểm tra nó.

Phương thức "đúng" sẽ được xác định trong thời gian chạy. Trình biên dịch không thể biết nếu có một phương thức hợp lệ ở đó trong thời gian chạy.

Từ khóa "động" được xác định cho ngôn ngữ động và ngôn ngữ tập lệnh, trong đó Phương thức có thể được xác định bất kỳ lúc nào, ngay cả trong thời gian chạy. Những thứ điên rồ

Đây là một mẫu xử lý int nhưng không có chuỗi, vì phương thức nằm trên phiên bản.

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

Bạn có thể thêm một phương thức để xử lý tất cả các cuộc gọi "sai", không thể xử lý được

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