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

时间:2012-11-14 21:25:06

标签: c# c#-4.0 dynamic static

这个问题有点像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接收到一个转换为动态的参数,这不是很糟糕吗?这个方法本身很好用这个参数:它将它视为一个字符串并返回正确的结果。但结果再次被转换为动态,突然结果数据无法根据其基础类型进行处理。除非它明确地转换回静态类型,正如我们在示例的最后几行中所看到的那样。

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

更新即可。有些人指出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

1 个答案:

答案 0 :(得分:7)

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

如何在运行时找到扩展方法? “范围内”的信息基于正在编译的特定文件中的“using”语句。但是,这些在运行时未包含在已编译的代码中。它应该在所有加载的程序集中查看所有可能的扩展方法吗?那些项目引用但尚未加载的程序集呢?如果您尝试动态使用扩展方法,则会出现数量惊人的边界情况。

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

Enumerable.Count(res2)

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

res2.Count&lt; ---编辑:这不起作用,因为它是由数组实现时显式实现的接口属性。


再次看一下你的问题,我看到真正的问题不是关于扩展方法解析本身,而是为什么它无法确定是否存在单一的方法解析,因此静态地知道类型。我将不得不进一步思考,但我猜这是一个类似的边界情况问题,特别是一旦你开始考虑多次重载。


这是一个令人讨厌的边界情况,可能会出现在一般情况下(虽然不是直接适用于您的情况,因为您派生自Object)。

假设在程序集A中有一个类Base。在程序集B中还有一个类Derived:Base。在Derived类中,您有上面的代码,并且您认为GetData只有一个可能的解决方案。但是,现在假设发布了一个新版本的程序集A,它具有带有不同签名的受保护GetData方法。您的派生类继承了这一点,DLR尽职尽责地允许动态绑定到这个新方法。突然,返回类型可能不是您所假设的。请注意,所有这些都可以在不重新编译程序集B 的情况下发生。这意味着运行前编译器不能假定DLR将解析为运行时编译器认为是唯一选项的类型,因为运行时的动态环境可能会产生不同的类型。