C# 3 的最大特点就是 LINQ 技术。随着 C# 4 的到来,看起来动态类型似乎将要大出风头了。但你可以让它们一起使用吗?
LINQ 的一项核心功能就是扩展方法。扩展方法允许通用函数可以添加到像 IEnumerable 那样的接口中去。扩展方法实质上是一项编译器技巧,即使用所有导入的本地命名空间结合变量的静态类型,来决定合适的函数调用。对于动态变量,该变量类型直到运行时为止都是未知的。不过到那个时候,关于导入那个命名空间的信息早已不复存在。
匿名函数对于 LINQ 同样重要。匿名函数在 C#中被静态地编译为真实的函数,使用上下文来确定要暴露什么参数类型。没有已知的类型,该编译器不得不把类型对象作为参数暴露出来,这样有些事情它通常就做不了。
这两种局限不是不能克服。无任何理由解释编译器为什么不能捕获编译时上下文,确定哪个扩展方法需要绑定。同样地,它可暴露类型对象的匿名函数,把函数和属性调用还原为动态调用。但是很多语言发展缓慢,根据 Mads Torgersen 的说法,并不计划在 C#4 中解除这些限制。
在 C#的未来站点上,你可以找到更多信息。
查看英文原文: LINQ and Dynamic Typing
评论