为什么 c# 编译器不使用动态参数在调用站点检查方法的“静态性”？

Question

为什么 C# 编译器不告诉我这段代码无效？

class Program
{
    static void Main(string[] args)
    {
        dynamic d = 1;
        MyMethod(d);
    }

    public void MyMethod(int i) 
    {
        Console.WriteLine("int");
    }
}

对MyMethod 的调用在运行时失败，因为我试图从静态方法调用非静态方法。这很合理，但是为什么编译器在编译时不认为这是一个错误呢？

以下不会编译

class Program
{
    static void Main(string[] args)
    {
        dynamic d = 1;
        MyMethod(d);
    }
}

因此，尽管动态分派，编译器确实会检查 MyMethod 是否存在。为什么不验证“静态”？

Answer 1

这里的重载分辨率是动态的。在这段代码中可见sn -p：

class Program {
    public static void Main() {
        dynamic d = 1.0;
        MyMethod(d);
    }

    public void MyMethod(int i) {
        Console.WriteLine("int");
    }

    public static void MyMethod(double d) {
        Console.WriteLine("double");
    }
}

工作正常。现在将 1 分配给 d 并注意运行时失败。编译器无法在编译时合理地模拟动态重载解析，所以它不会尝试。

Answer 2

当编译器发现对dynamic 类型变量的操作时，它将使用CallSite 对象发出该信息。 （CallSite 对象是关于调用的存储信息。）

在您的第一个示例中，它可以编译，因为编译器可以发出信息（例如调用类型、您要调用的方法等）。在第二个代码中，您尝试调用不存在的方法，因此编译器无法为您生成 IL 代码。