为什么在运行时调用重载函数时会发生 RuntimeBinderException？

Question

我终于制作了一个重现此错误的最小示例：

using System;
using Newtonsoft.Json;
class Program
{
    public byte[] Foo(byte[] p) { return new byte[0]; }
    public byte[] Foo(Guid? p) { return new byte[0]; }
    static Guid? ToGuid(string s) { return s == null ? null : (Guid?)new Guid(s); }
    void Bar()
    {
        dynamic d = JsonConvert.DeserializeObject<dynamic>("{}");
        var id = d?.id?.ToString();
        Foo(ToGuid(id));
    }

    static void Main(string[] args)
    {
        new Program().Bar();
    }
}

奇怪的是，当 d.id 为空（或不是字符串）时，它在运行时调用 Foo 时崩溃，说它无法解析要调用的 Foo 版本（以下方法或属性之间的调用不明确）。为什么这不是在编译时解决的呢？ dynamic 不应该有什么不同，我可以看到，事实上更奇怪的是，如果我在 ToGuid... 之前添加一个显式强制转换“(Guid?)”，它会按预期工作，同样如果我把它写成：

Guid? id = ToGuid(d.id?.ToString());
Foo(id)

这实际上更有意义。如果我将“var”更改为“string”，它也可以正常工作。

我注意到异常最初是从“System.Linq.Expressions.dll”引发的，这有点奇怪。完整的堆栈跟踪基本上是：

Microsoft.CSharp.RuntimeBinder.RuntimeBinderException：以下方法或属性之间的调用不明确：“FooService.Foo(byte[])”和“FooService.Foo(System.Guid?)” 在 CallSite.Target(Closure , CallSite , FooService , Object )

异常来源是“匿名托管的 DynamicMethods 程序集”

Answer 1

现在我们有了var 变体，我可以重现该问题。问题是nulls。您可能认为ToGuid 的返回类型必须 是Guid?，因为您假设知道编译器无法使用。就它而言，在Bar 中，它正在查看类型为dynamic¹ 的id。这意味着它将假设 whatever ToGuid 返回它将存储在 dynamic 临时变量中。

在这种情况下，它会返回 null，而实际上，dynamic 就是 object。那时，我们已经丢失了关于来自ToGuid 的返回类型的任何编译时间 类型信息。如果不是null，在解析Foo 之前，它会在实例上有效地调用GetType。但这在这里是不可能的。它有null 和两个同样好/坏的候选人，它可以用null 引用来调用。就好像你写了Foo(null);（在编译时会产生等效的错误）。

插入显式转换 - Foo((Guid?)ToGuid(id)); 为运行时提供足够的信息在调用站点，以便能够明确选择您希望它选择的 Foo 的正确重载。

---

¹请记住，无论d 上的id 属性的类型是什么，它都可能有一个ToString 方法来隐藏object 的方法。它不能假设它返回一个string，所以id 也是dynamic。