使用动态参数的方法重载解析

Question

这可能以前已经回答过了。我看到许多“动态方法重载解析”问题，但没有一个专门处理传递 dynamic 参数的问题。在下面的代码中，在Test 中，对M 的最后一次调用无法解析（它无法编译）。错误是：调用在[M 的前两个重载]之间不明确。

static void M(Func<int> f) { }
static void M(Func<string> f) { }
static void M(Func<dynamic> f) { }

static dynamic DynamicObject() {
    return new object();
}

static void Test() {
    M(() => 0);
    M(() => "");
    M(() => DynamicObject()); //doesn't compile
}

1. 为什么，由于类型不是静态已知的，它不能解析为接受dynamic 的重载吗？
2. 重载方法甚至可以使用dynamic吗？
3. 解决此问题的最佳方法是什么？

Answer 1

这里的问题是类型推断。编译器试图根据参数找出要使用的重载，但它也试图根据所选的重载找出参数的类型。对于M(() => DynamicObject())，流程如下：

1. 该方法的参数是一个零参数的 lambda。这为我们提供了所有三种重载的可能性。
2. lambda 的主体返回 dynamic。因为存在从 dynamic 到任何其他类型的隐式转换，所以我们现在知道所有三个重载都是好的。
3. 尝试选择最佳过载。在大多数情况下，“最佳”是指派生最多的类型。因为int 和string 都派生自object，所以int 和string 的重载被认为是最好的。
4. 我们现在有两个“最佳”重载，这意味着编译器实际上无法选择其中之一。编译失败。

现在，关于您的问题的可能解决方案：

1. 使用强制类型转换或类型化局部变量明确 lambda 的类型：

   M((Func<dynamic>)(() => DynamicObject()));
   

   或

   Func<dynamic> f = () => DynamicObject();
   M(f);
   

2. 将动态重载重命名为 DynamicM。这样，您就不必处理重载决议。

3. 我觉得这个有点不对：确保dynamic 重载是唯一适合的，通过转换为object：

   M(() => (object)DynamicObject())
   

Answer 2

来自MSDN中的定义：

dynamic

在大多数情况下，动态类型的行为类似于类型对象。然而， 不解析包含动态类型表达式的操作 或类型由编译器检查。编译器打包在一起 有关操作的信息，该信息稍后用于 在运行时评估操作。作为过程的一部分，变量 动态类型的被编译成对象类型的变量。所以， 动态类型只存在于编译时，不存在于运行时

所以编译时动态不存在，因为它需要将其转换为destination *type*，这就是为什么无法解析它的原因。什么是目的地类型？

事实上，如果你这样做：

static void M(Func<int> f) { }
static void M(Func<string> f) { }
static void M(Func<object> f) { } // could be also declared like dynamic here, works by the way

static object DynamicObject()
{
    return new object();
}

static void Test()
{
    M(() => 0);
    M(() => "");
    M(() => DynamicObject());
}

它可以按照您的意愿完美运行，因为 object 在编译时就已经像类型一样存在，与必须转换的 dynamic 类型不同。