相关疑难解决方法(0)

灵感来自这个问题.

简短版本:M(dynamic arg)如果只有一个重载M或所有重载M具有相同的返回类型,为什么编译器不能找出编译时类型？

根据规范,§7.6.5:

如果至少满足下列条件之一,则动态绑定调用表达式(第7.2.2节):

• primary-expression具有编译时类型dynamic.

• 可选参数列表的至少一个参数具有编译时类型dynamic,而primary-expression没有委托类型.

这是有道理的

class Foo {
    public int M(string s) { return 0; }
    public string M(int s) { return String.Empty; }
}

编译器无法弄清楚编译时的类型

dynamic d = // dynamic
var x = new Foo().M(d);

因为直到运行时才会知道M调用了哪个重载.

但是,为什么编译器无法计算编译时类型,如果M只有一个重载或所有重载M返回相同的类型？

我想了解为什么规范不允许编译器在编译时静态地键入这些表达式.