4

在C# 编程语言中，比尔瓦格纳说：

许多人将动态绑定与类型推断混为一谈。类型推断是静态绑定的。编译器在编译时确定类型。例如：

var i = 5;             //i is an int (Compiler performs type inference)
Console.WriteLine(i);  //Static binding to Console.WriteLine(int)

编译器推断 i 是一个整数。变量 i 上的所有绑定都使用静态绑定。

现在，鉴于这些信息和我自己编造的动态场景：

        dynamic i = 5;       //Compiler punts
        Console.WriteLine(i);//This is now dynamically bound

我们知道类型推断是静态绑定的。这意味着动态变量无法使用类型推断来确定类型。如何在不使用类型推断的情况下解析动态类型？

更新
要尝试澄清......在运行时我们必须以某种方式找出我是正确的类型？因为我分配了一个文字5，所以运行时可以推断出它i是一个int. 那不是类型推断而不是动态绑定吗？

4

1 回答 1

7

比尔有什么区别？

比尔所做的区别在于，许多人认为：

var x = Whatever();
x.Foo();

将在运行时根据Whatever在运行时返回的对象类型计算出调用什么方法Foo。这不是真的; 那将是

dynamic x = Whatever();
x.Foo();

只是意味着“在编译时计算var出类型并将其替换”，而不是“在运行时计算出来”。

所以如果我有

dynamic i = 5;
Console.WriteLine(i);

发生什么了？

编译器生成的代码在道德上是这样的：

object i = (object)5;
DynamicCallSite callSite = new DynamicCallSite(typeof(Console), "WriteLine"));
callSite.Invoke(i);

它比这更复杂一些；一方面，调用站点被缓存。但这给了你它的味道。

调用方法i通过询问其类型GetType，然后启动可以理解反射对象的特殊版本的 C# 编译器。它对Consolenamed的成员进行重载决议WriteLine，并确定Console.WriteLine将被调用的哪个重载首先i被键入为 int。

然后它生成表示该调用的表达式树，将表达式树编译为委托，将其缓存在调用站点中，并调用委托。

第二次执行此操作时，缓存的调用站点在其缓存中查找，并看到最后一次i是 int，调用了特定的委托。因此，它第二次跳过创建调用站点并进行重载解析，而只是调用委托。

有关更多信息，请参阅：

http://ericlippert.com/2012/10/22/a-method-group-of-one/

http://ericlippert.com/2012/11/05/dynamic-contagion-part-one/

http://ericlippert.com/2012/11/09/dynamic-contagion-part-two/

可以从 Chris 和 Sam 的博客中获得有关该功能的历史观点：

http://blogs.msdn.com/b/cburrows/archive/tags/dynamic/

http://blogs.msdn.com/b/samng/archive/tags/dynamic/

他们做了很多实施；然而，其中一些文章反映了过时的设计选择。遗憾的是，我们从未使用过“幻影法”算法。（不是一个伟大的算法，但一个伟大的名字！）

于 2013-02-13T18:02:32.403 回答