跨越边界：浅谈Java模型以外的类型策略 - 编程入门网

大多数偏爱动态类型的开发人员除了强调早期错误检测会带来不必要的成本外，还提到动态类型语言 具有很好的可表达性和生产率。很简单，您通常可以用更少的关键词表达更多的思想。作为一名新的 Ruby 拥护者，我深信动态语言更能提高生产率，虽然我不能比常见的静态语言的支持者拿出更多具体的 证据来。但是，从我开始编写更多的 Ruby 代码起，我就感觉到自己的生产率有了明显的提高。诚然，我 仍然会看到静态类型的优点，尤其是在工具集方面，但是我逐渐认识到了静态类型的缺点。 当我开始用 Ruby 编写代码时，我受到的最大改变是产生和使用元编程结构的能力。如果您从头开始一直关注跨越边 界 系列统的话，您就知道元编程，或者说编写用于编写程序的程序，是 Ruby on Rails 的一大推动力量 ，更一般地说，是特定于领域的语言的一大推动力量。用 Ruby 编程时，我通常会编写更大的构建块，或 者用更大的块进行构建。我发现，与使用 Java 编程相比，我可以用更多类型的可重用块扩展我的程序。 就像在 Java 编程中，您可以用新的类来扩展程序。还可以添加方法和数据到已有的类中，因为类是开放 式的。您可以使用 mix-in（后面 运行时绑定 会讲到）来添加核心功能到已有的类中。还可以在任何时 候根据需要改变一个对象的定义。我还是一名 Ruby 编程新手，这些功能用到的不多，但是当我真正开始 使用它们时，结果令人大吃一惊。

例如，为了添加一个拦截器，只需重新命名一个方法，并为原有的方法创建一个新的实现。为了拦截 new，可以编写以下代码：

class Class alias_method :old_new, :new def new(*args) puts "Intercepted new" #do interception work here old_new(*args) end end

您不需要 AspectJ 库、字节码增强或一大堆的库。您可以直接编写所需的拦截器。

动态类型在原始代码行方面也可以节省精力。由于动态语言几乎都是类型推断式的，所以您不需要花 多大力气来表达基本思想。变量无需声明即可直接使用。您也不必表达参数类型的所有可能排列，只需输 入一组名称。您的代码可以更加具有多态性 —— 任何对一种类型的方法有反应的对象都可以看作这种类 型 —— 所以通常可以比其他语言更精简地表达思想。代码中的耦合也可以变得更松散。当您想改变某个 东西的类型时，这种变化所波及的范围很有限，所以不需要在更多的地方作出相应的更改。

跨越边界：浅谈Java模型以外的类型策略(3)

安全性还是灵活性

从某种意义上说，语言的静态与动态之争的关键在于安全性与灵活性之间的取舍。静态语言的支持者 相信更安全的语言更好。而动态语言的支持者却不愿意为安全性付出任何代价。对于他们而言，对一种语 言的衡量标准在于能多快地表达思想，目标在于最大化程序员的效率。而另一方面，静态语言专家则说， 如果能 在早期捕捉到 bug，那么就应该 这么做，而且工具可以弥补语言中的限制。

生产率提高的最后一个原因是减少了编译环节。很多动态类型语言是解释性的，所以在编写程序后可 以立即看到变化。即使没有惯用的调试器，在 Ruby 中探索库和应用程序代码的行为也更为容易，因为您 可以打开一个解释器，通常可以直接在调试会话中打开，然后随意探索。

但是……

然而，编译不只是支持静态类型。静态类型的支持者还认为可以获得更好的性能。很多静态语言，例 如 Java 代码、C 和 C++，都被称作系统语言，因为它们是构建操作系统、设备驱动程

凌众科技专业提供服务器租用、服务器托管、企业邮局、虚拟主机等服务，公司网站：http://www.lingzhong.cn 为了给广大客户了解更多的技术信息，本技术文章收集来源于网络,凌众科技尊重文章作者的版权，如果有涉及你的版权有必要删除你的文章，请和我们联系。以上信息与文章正文是不可分割的一部分,如果您要转载本文章,请保留以上信息，谢谢!