Jeffrey Palermo 是 Headspring Systems 公司的 CTO, 他为 C#提出了一个使用动态功能的折衷方案:使其具备让全部方法是动态而保持程序集是静态的能力。
在对静态 vs. 动态类型的讨论的评论中,Palermo 提出当直接使用外部函数库的时候,动态编程就非常困难,原因是:
你真的不知道它支持什么,除非文档是丰富而完美的。一旦你传入了对象,没有能够描述会调用什么属性和方法的接口类型。如果文档不能覆盖所有 API,你将不得不编写特性化的测试。
依他看来,另一个问题是:
当使用动态语言的时候,你需要在头脑中记住系统更多的细节才能够编程。你需要记住对象重写了哪个方法,以及为哪些对象添加了新的功能。
在处理外部库的时候,确实存在这两个问题,但是对于使用自己开发的代码的开发者来说,这并不是什么问题,因为它拥有那些代码。
C# 4.0 引入了动态查找,它允许开发者声明动态类型的对象。这个特性试图让编程者能够更易于处理来自于动态语言——像 Python 或者 Ruby——的对象、通过 IDispatch 访问的 COM 对象、带有可变结构的对象(像 HTML DOM 或者通过反射得到的.NET 类型)。动态类型对象可以在使用的时候带有某些限制,因为它们通常会出现在动态语言之中。
Palermo 建议在 C#中引入 _dynamic_ 关键字【译者注:有别于于 C# 4.0 现有的 dynamic 类型】,它能让方法中的所有对象默认使用动态类型,而不需要显式地将每个都声明为动态。这会允许喜欢动态类型的开发者在 C#中使用它,同时,因为安全的原因,在程序集边界级别上会保持语言是静态的。
这是否理想的折衷方案呢?
评论