首先,让我们退后一步.动态特性的基本思想是包含动态类型的操作数的表达式将其类型分析推迟到运行时.在运行时,通过启动新版本的编译器并重新进行分析来完成类型分析,这次将动态表达式视为其实际运行时类型的表达式.

所以如果你有一个加法表达式,它在编译时有一个左手编译时类型的对象,和一个右手编译时类型的动态,并且在运行时动态表达式实际上是一个字符串,那么分析是重新完成左侧是对象,右侧是字符串.请注意,不考虑左侧的运行时类型.它的编译时类型是对象,而不是动态的.只有动态类型的表达式具有在运行时分析中使用其运行时类型的属性.

只是为了确保清楚：如果你有：

void M(Giraffe g,Apple a) {...}
void M(Animal a,Fruit f) { ... }
...
Animal x = new Giraffe();
dynamic y = new Apple();
M(x,y);

然后在运行时调用第二个覆盖.在运行时x是Giraffe的事实被忽略了,因为它不是动态的.它在编译时是Animal,因此在运行时它继续被分析为Animal类型的表达式.也就是说,分析就像你说过的那样：

M(x,(Apple)y);

而这显然是第二次超载.

我希望这很清楚.

现在我们来讨论这个问题.如果无法访问运行时类型会发生什么？我们实际上是一个例子：

public class Fruit {}
public class Apple : Fruit 
{
  public void M(Animal a) {}
  private class MagicApple : Apple 
  {
    public void M(Giraffe g) {}
  }
  public static Apple MakeMagicApple() { return new MagicApple(); }
}
...
dynamic d1 = Apple.MakeMagicApple();
dynamic d2 = new Giraffe();
d1.M(d2);

好的,会发生什么？我们有两个动态表达式,所以根据我之前的声明,在运行时我们再次进行分析,但假装你说

((Apple.MagicApple)d1).M((Giraffe)d2));

所以你会认为重载决策会选择与之完全匹配的Apple.MagicApple.M方法.但事实并非如此！我们不能假装上面的代码就是您所说的,因为该代码访问其可访问域之外的私有嵌套类型！该代码无法完全编译.但同样明显的是,我们不能允许此代码失败,因为这是一种常见的情况.

所以我必须修改我之前的发言.运行时分析引擎实际上做的是假装您插入了可以合法插入的强制转换.在这种情况下,它意识到用户可以插入：

((Apple)d1).M((Giraffe)d2));

而重载决议将选择Apple.M.

而且：假装演员阵容总是属于班级类型.可能存在可能已插入的接口类型或类型参数类型转换,这将导致重载解析成功,但是通过使用“dynamic”,您指示您希望使用运行时类型,以及运行时类型对象永远不是接口或类型参数类型.

听起来你在同一条船上.如果在调用站点上无法访问动态表达式的运行时类型,那么为了运行时分析的目的,它将被视为最接近的可访问基类型.在您的情况下,最接近的可访问基类型可能是对象.

这一切都清楚了吗？