[c#] 为什么调用ISet <dynamic> .Contains()编译,但在运行时抛出异常?


Answers

为什么编译:整个表达式被评估为动态(将鼠标悬停在IDE中以确认),这意味着它是运行时检查。

为什么爆炸:我的(完全错误,见下文)猜测是因为你不能以这种方式实现动态接口。 例如,编译器不允许您创建实现ISet<dynamic>IEnumerable<dynamic>IList<dynamic>等的类。您会收到一个编译时错误,指出“无法实现动态接口”。 请参阅Chris Burrows关于此主题的博客文章。

http://blogs.msdn.com/b/cburrows/archive/2009/02/04/c-dynamic-part-vii.aspx

但是,既然它无论如何都要击中DLR,你就可以完全动态了。

dynamic s = new HashSet<dynamic>;
s.Contains(d);

编译并运行。

编辑:这个答案的第二部分是完全错误的。 嗯,这是正确的,你不能实现像ISet<dynamic>这样的接口,但这不是为什么这会爆炸。

请参阅下面的朱利安答案。 您可以获取以下代码进行编译运行:

ICollection<dynamic> s = new HashSet<dynamic>();
s.Contains(d);
Question

请帮我解释一下这个行为:

dynamic d = 1;
ISet<dynamic> s = new HashSet<dynamic>();
s.Contains(d);

代码编译没有错误/警告,但在最后一行我得到以下异常:

Unhandled Exception: Microsoft.CSharp.RuntimeBinder.RuntimeBinderException: 'System.Collections.Generic.ISet<object>' does not contain a definition for 'Contains'
   at CallSite.Target(Closure , CallSite , ISet`1 , Object )
   at System.Dynamic.UpdateDelegates.UpdateAndExecuteVoid2[T0,T1](CallSite site, T0 arg0, T1 arg1)
   at FormulaToSimulation.Program.Main(String[] args) in 

据我所知,这与动态重载分辨率有关,但奇怪的是

(1)如果s的类型是HashSet<dynamic> ,则不会发生异常。

(2)如果我使用非泛型接口和接受动态参数的方法,则不会发生异常。

因此,看起来这个问题特别与通用接口有关,但我无法找出导致问题的确切原因。

它是编译器/类型系统中的错误还是合法行为?




请注意, dynamic类型实际上并不存在于运行时。 该类型的变量实际上被编译为object类型的变量,但编译器将涉及此类对象(作为this对象或作为参数)的所有方法调用(以及属性和所有内容)转换为动态解析的调用在运行时(使用System.Runtime.CompilerServices.CallSiteBinder和相关的魔法)。

那么在你的情况下发生的是编译器:

  • ISet<dynamic>转换为ISet<object> ;

  • HashSet<dynamic>转换为HashSet<object> ,它将成为您在s存储的实例的实际运行时类型。

现在,如果你试图调用,比方说,

s.Contains(1);

这实际上没有动态调用就成功了:它实际上只是在盒装整数1上调用ISet<object>.Contains(object)

但是如果你试图调用

s.Contains(d);

其中ddynamic ,然后编译器将语句转换为在运行时根据d运行时类型确定要调用的Contains的正确重载的语句。 也许现在你可以看到问题:

  • 编译器发出的代码肯定会搜索ISet<object>类型。

  • 该代码确定动态变量在运行时具有int类型并尝试查找方法Contains(int)

  • ISet<object>不包含方法Contains(int) ,因此异常。




Related