【IT168 技术文档】当谈到 Java语言的类型方法时，Java 社区分为两大阵营。一些人喜欢编译时错误检查，更好的安全性，以及改善的工具 —— 这些都是静态类型所能提供的特性。而另一些人则偏爱更动态的类型体验。这一次在 跨越边界 中，您将看到两种高生产力的非 Java 语言所使用的一些截然不同的类型策略，并发现在 Java 编程中提高类型灵活性的一些方法。
在对任何编程语言的讨论中，争议较大的一个问题就是类型模型。类型决定可以使用哪些种类的工具，并影响到应用程序的设计。很多开发人员将类型与生产率或可维护性联系起来(我就是其中的一个)。典型的 Java 开发人员通常都特别乐于维护 Java 语言的类型模型的地位，强调 Java 语言可采用更好的开发工具，在编译时捕捉某些种类的 bug(例如类型不兼容和拼写错误)，以及性能等方面的优势。
如果您想理解一种新的编程语言，甚至一系列语言，那么通常应该从类型策略着手。在本文中，您将看到 Java 之外的一些语言中的类型模型。我首先简要介绍任何语言设计者在类型模型中必须考虑的一些决策，着重介绍静态类型和动态类型的一些不同的决策。我将展示一些不同极端的例子 —— Objective Caml 中的静态类型和 Ruby 中的动态类型。我还将谈到 Java 语言的类型限制，以及如何突破 Java 类型的限制快速编程。
类型策略
至少可以从三个角度来看待类型：
静态类型还是动态类型，这取决于何时 实施类型模型。静态类型语言在编译时实施类型。而动态类型语言通常基于一个对象的特征在运行时实施类型。
强类型还是弱类型，这取决于如何 实施类型模型。强类型严格地实施类型，如果发现有违反类型规则的情况，则会抛出运行时或编译时错误。而弱类型则留有更多的余地。极端情况下，弱类型语言(例如 Assembler)允许将任意数据类型赋给另一种类型(不管这种赋值是否有意义)。静态类型的语言既可以有强类型，也可以有弱类型;而动态类型系统通常是强类型的，但也不完全是。
显式类型还是隐式类型，这取决于语言如何确定一个给定对象的类型。显式类型语言要求声明每个变量和每个函数参数。而隐式类型语言则根据语言中的语法和结构线索来确定对象的类型。静态类型语言通常是显式类型的，但也不完全是;而动态类型语言几乎都是隐式类型的。
下面两个例子很好地阐释了其中两个角度的内涵。假设您编译下面这段 Java 代码：
class Test { public static void test(int i) { String s = i; } }
会收到如下错误消息：
Test.java:3: incompatible types
found : int
required: java.lang.String
String s = i;
^
1 error
执行以下 Ruby 代码：
1 + "hello"
会收到以下错误消息：
TypeError: String can't be coerced into Fixnum
from (irb):3:in '+'
from (irb):3
这两种语言都倾向于强类型，因为当您试图使用一个它们期望之外的类型结构的对象时，它们都会抛出错误消息。Java 类型策略在编译时给出错误消息，因为它执行静态类型检查。而 Ruby 则是在运行时给出错误消息，因为 Ruby 支持动态类型。换句话说，Java 在编译时将对象绑定到类型。而 Ruby 则是在运行时每当更改对象的时候将对象绑定到类型。由于我是在 Java 代码中，而不是在 Ruby 中声明变量的，因此可以看到 Java 语言的显式类型与 Ruby 的隐式类型的工作方式不同。
在这三个角度中，静态类型与动态类型对于语言的特征有最大的影响，因此接下来我将重点解释这两种策略各自的优点。
静态类型的优点
在静态类型语言中，程序员(通过声明或根据约定)或编译器(根据结构和语法线索)将一种类型指定给一个变量，然后那个类型就不会改变。静态类型通常需要额外的成本，因为静态类型语言(例如 Java 语言)通常是显式类型的。这意味着必须声明所有的变量，然后编译代码。成本也伴随着收益：早期的错误检测。静态类型在最基层为编译器提供多得多的信息。更多信息所带来的好处就是，可以更早地捕捉到某些类型的错误，而动态类型语言只有到运行时才能检测到这些错误。如果您一直等到运行时才捕捉这些 bug，那么其中一些将进入生产环境。也许这正是动态类型语言受到最多指责的一个方面。
另一种观点则认为现代软件开发团队通常会运行自动测试，动态语言的支持者声称，即使是最简单的自动测试也可以捕捉到大多数的类型错误。而动态语言的支持者所能提供的对编译时错误检测不利的最好论据是，早期检测所带来的好处相对于成本来说是得不偿失的，因为不管是否使用动态类型，最终都要进行测试。
一种有趣的折中方法是在静态类型语言中使用隐式类型，从而减少类型的成本。开放源代码语言 Objective Caml (OCaml) 是静态类型语言 Lisp 的衍生物，它既能提供很好的性能，又不会牺牲生产率。OCaml 使用隐式类型，因此可以编写下面这样的采用静态类型的代码：
# let x = 4+7
OCaml 返回：
val x : int = 11
根据表达式中的语法线索，OCaml 推断出 x 的类型。4 是 int 型，7 也是 int 型，因此 x 也必定是 int 型。隐式类型语言可以拥有 Java 语言所具有的所有类型安全性，甚至更多。不同之处在于您需要提供的信息量，以及在阅读程序时可用的信息量。很多喜欢静态类型的人更偏爱隐式类型。他们宁愿让编译器来做这种事情，而不愿意被迫重复地在代码中输入变量的类型。
隐式类型系统一个较大的优点是，不需要为函数的参数声明类型，因为编译器会从传入的值推断出参数的类型。因此同一个方法可以有多种用途。
并不是只有编译器才能利用静态类型所提供的附加信息。IDE 可以通过静态类型为重构提供更好的支持。几年前，一种革命性的思想改变了开发环境的工作方式。在 IDEA 和 Eclipse 中，您的代码看上去像一个文本视图，但是开发环境实际上正在编辑 Abstract Syntax Tree (AST)。因此，当需要重新命名一个方法或者类的时候，开发环境很容易通过在 AST 中精确定位找到方法或类被引用的每个地方。如今，如果没有通过静态类型简化的优秀的重构，我们很难想像用 Java 语言编程。在我探索 Ruby 的时候，相对于其他任何工具或特性，我更怀念 IDEA。
静态类型还有其他一些优点，在这里我不会详细描述。静态类型可以提供更好的安全性，而且显然还可以提高代码的可读性。静态类型还可以提供更多的信息，使得编译器更容易进行优化，从而提高性能。但是静态类型赢得开发人员青睐的最大原因是更容易检测错误，而且有更多可用的工具。
动态类型的优点
Ruby 专家 Dave Thomas 将动态类型称作duck typing(见参考资料)，这有两层意思。第一层意思是说，这种语言不真正实现类型 —— 它利用鸭子理论 解决这个问题。第二层意思是说，如果什么东西走起来像鸭子，叫起来也像鸭子，那么它很可能就是一只鸭子。在编程语言的上下文中，duck typing 意味着如果一个对象对于某种类型的方法有反应，那么事实上就可以把它看作那种类型。这样的特性可以导致一些有趣的优化。
大多数偏爱动态类型的开发人员除了强调早期错误检测会带来不必要的成本外，还提到动态类型语言具有很好的可表达性和生产率。很简单，您通常可以用更少的关键词表达更多的思想。作为一名新的 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 库、字节码增强或一大堆的库。您可以直接编写所需的拦截器。
动态类型在原始代码行方面也可以节省精力。由于动态语言几乎都是类型推断式的，所以您不需要花多大力气来表达基本思想。变量无需声明即可直接使用。您也不必表达参数类型的所有可能排列，只需输入一组名称。您的代码可以更加具有多态性 —— 任何对一种类型的方法有反应的对象都可以看作这种类型 —— 所以通常可以比其他语言更精简地表达思想。代码中的耦合也可以变得更松散。当您想改变某个东西的类型时，这种变化所波及的范围很有限，所以不需要在更多的地方作出相应的更改。
