首页>软件开发>java语言>Java 模型以外的类型策略
回复
« 返回列表
111111
111111
精灵王
精灵王
  • 注册日期2010-12-08
  • 发帖数640
  • QQ
  • 火币1103枚
  • 粉丝120
  • 关注75
写私信 打招呼
  • 社区明星
阅读：3514回复：0

Java 模型以外的类型策略

楼主#
更多 发布于：2010-12-15 12:34
当谈到 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 语言所具有的所有类型安全性，甚至更多。不同之处在于你需要提供的信息量，及在阅读程式时可用的信息量。非常多喜欢静态类型的人更偏爱隐式类型。他们宁愿让编译器来做这种事情，而不愿意被迫重复地在代码中输入变量的类型。

　　隐式类型系统一个较大的好处是，不必为函数的参数声明类型，因为编译器会从传入的值推断出参数的类型。因此同一个方法能有多种用途
喜欢0 评分0
回复
游客

Powered by atcpu.com ©2008-2021

灯火互联网 蜀ICP备13028548号

手机认证个人空间个人相册音乐电台音乐畅听网站终身会员手机吉凶在线YY百宝箱
返回顶部