使用动态参数的方法重载决策

Question

这可能之前已经回答过。我看到很多“动态方法重载解析”问题，但没有一个专门处理传递动态参数。在以下代码中，在 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. 既然类型不是静态已知的，为什么它不能解析为接受动态的重载？
2. 重载方法是否有可能使用dynamic？
3. 解决这个问题的最佳方法是什么？

Answer 1

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

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

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

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

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

   或

   Func<动态> f = () =>动态对象();
   M(f);
   

2. 将动态重载重命名为 DynamicM 之类的名称。这样，您就不必处理重载解析。

3. 这对我来说有点不对劲：通过转换为对象，确保动态重载是唯一适合的重载：

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

Answer 2

根据 MSDN 中的定义：

动态

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

因此编译时不存在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 类型不同，它必须被转变。