C# 4.0 中使用动态类型的重载解析

Question

我还无法访问 C# 4.0 预览版。 但我很好奇，在以下情况下调用重载方法时，C# 4.0 运行时会做什么。 它解析为通用重载...还是专用重载。

public class Foo<T>
{
  protected string BarImpl( T value ) { return "Bar(T) says: " + value.ToString(); }

  protected string BarImpl( int value ) { return "Bar(int) says: " + value.ToString(); }

  public string Bar( T value )
  {
    dynamic foo = this;
    return foo.BarImpl( value );
  }
}

public static void Main( string args[] )
{
  var f = new Foo<int>();

  Console.WriteLine( f.Bar( 0 ) );
}

Answer 1

一般来说，我的理解是，结果应该（只要可能）与使用只是将动态表达式替换为动态值所具有类型的表达式来编译相同的代码的结果相同在执行时。 （静态已知类型保留在调用站点信息中。）

在这种特殊情况下，仅使用 .NET 4.0b1 编写代码，结果是：

Bar(int) says: 0

但是，再次查看此内容（并检查哪个位实际上是动态的）我我有点困惑。 我认为这是我必须非常仔细查看规范才能了解正确行为的情况之一。 不幸的是我不知道 C# 4.0 规范何时可用。

这是一个很难推理的问题，我怀疑关键部分是在执行时绑定器是否能够计算出相同 TT 类型> 作为接收者，而不是类型 int。 因为在这种情况下接收器是动态的，所以编译器根本不执行任何重载解析。 唔。 绝对是棘手的一件事。