c# - 静态和动态 C# 之间的互操作性差

Question

这个问题在某种程度上是对 related post 的说明。 , 我相信下面的例子描述了问题的本质。

class Program
{
    public static IList<string> GetData(string arg)
    {
        return new string[] {"a", "b", "c"};
    }

    static void Main(string[] args)
    {
        var arg1 = "abc";
        var res1 = GetData(arg1);
        Console.WriteLine(res1.Count());

        dynamic arg2 = "abc";
        var res2 = GetData(arg2);
        try
        {
            Console.WriteLine(res2.Count());
        }
        catch (RuntimeBinderException)
        {
            Console.WriteLine("Exception when accessing Count method");
        }

        IEnumerable<string> res3 = res2;
        Console.WriteLine(res3.Count());
    }
}

第二次调用 GetData 引发异常只是因为 GetData 收到一个强制转换为动态的参数，这不是很糟糕吗？该方法本身可以接受这样的参数:它将它视为一个字符串并返回正确的结果。但是 result 然后再次转换为 dynamic ，突然结果数据无法根据其基础类型进行处理。除非它显式转换回静态类型，正如我们在示例的最后几行中看到的那样。

我不明白为什么必须以这种方式实现。它打破了静态和动态类型之间的互操作性。一旦使用 dynamic，它就会感染调用链的其余部分，从而可能导致像这样的问题。

更新。有人指出 Count() 是一种扩展方法，不被识别是有道理的。然后我将调用 res2.Count() 更改为 res2.Count(从扩展方法到 Ilist 的属性)，但程序在同一个地方引发了相同的异常!这很奇怪。

UPDATE2. flq 指出了 Eric Lippert 关于这个主题的博客文章，我相信这篇文章给出了为什么以这种方式实现的充分理由: http://blogs.msdn.com/b/ericlippert/archive/2012/10/22/a-method-group-of-one.aspx

Answer 1

问题在于 Count 是一种扩展方法。

您将如何在运行时定位扩展方法？关于哪些在“范围内”的信息基于正在编译的特定文件中的“使用”语句。但是，这些在运行时不包含在编译代码中。它是否应该查看所有加载的程序集中所有可能的扩展方法？项目引用但尚未加载的程序集怎么办？如果您尝试允许动态使用扩展方法，则会出现数量惊人的边界情况。

在这种情况下正确的解决方案是以非扩展形式调用静态方法:

Enumerable.Count(res2)

或者，因为您知道它是 IList<T>在这种情况下，只需使用 Count 属性:

res2.Count <--- 编辑:这不起作用，因为它是数组实现时显式实现的接口(interface)属性。

---

再次查看您的问题，我发现真正的问题不是关于扩展方法解析本身，而是为什么它不能确定是否存在单一方法解析并因此静态地知道类型。我将不得不再考虑一下，但我猜这是边界情况的一个类似问题，尤其是当您开始考虑多个重载时。

---

这是一般情况下可能出现的一个令人讨厌的边界情况(尽管不能直接适用于您的情况，因为您是从 Object 派生的)。

假设您在程序集 A 中有一个类 Base。在程序集 B 中还有一个类 Derived : Base。在 Derived 类中，您有上面的代码，并且您认为 GetData 只有一种可能的解决方案。但是，现在假设发布了一个新版本的程序集 A，它具有一个带有不同签名的 protected GetData 方法。您的派生类继承了它，并且 DLR 忠实地允许动态绑定(bind)到这个新方法。突然，返回类型可能不是您所假设的。请注意，所有这一切都可能发生，您无需重新编译程序集 B。这意味着预运行时编译器无法假定 DLR 将解析为预运行时编译器认为是唯一选项的类型，因为运行时的动态环境可能会产生不同的类型。