Why Java Sucks and C# Rocks（2）：基础类型与面向对象

核心提示： 在Java中，开发人员无法自定义值类型，Why Java Sucks and C# Rocks（2）：基础类型与面向对象(6)，因此所有的对象都是分配在托管堆上，不过这些倒也是和平台密切相关的内容，说实话，我不喜欢Java的思路，这里便只作一提吧，毕竟我们的目标主要还是在语言方面

在Java中，开发人员无法自定义值类型，因此所有的对象都是分配在托管堆上。不过这些倒也是和平台密切相关的内容，这里便只作一提吧，毕竟我们的目标主要还是在语言方面。

Java 1.5中的自动装箱/拆箱

Java语言基础类型和封装类型之间的这种转化方式，从1995年Java语言出现开始，一直保持到2004年Java 1.5出现才有所改变，将近十年时间。那么，Java语言究竟是因为缺少竞争对手而不思进取，还是因为没有比较就体会不到麻烦呢？无论怎样，我相信C#在这方面对Java语言产生的影响是毋庸置疑的。

不管怎么样，在Java 1.5中引入了一个新特性：自动装箱/拆箱（auto boxing/unboxing）。此时，我们便可以编写这样的代码了：

ArrayList　list　=　new　ArrayList();　
list.add(5);　//　auto　boxing　
int　i　=　(Integer)list.get(0);　//　auto　unboxing

在int值5用在Object参数的时候，Java语言的编译器将自动生成创建Integer对象的bytecode。同样，将Integer类型的对象赋值给基础类型int的时候，Java语言的编译器也会自动生成intValue等方法的调用。那么，它和C#中的装箱和拆箱有什么不同呢？自然，区别之一在于C#的装箱和拆箱是.NET平台已有的功能，C#编译器只要直接使用即可，而Java的自动装箱和拆箱完全是编译器的工作。但我倒认为，这个区别并不是我这里特别关注的。

毕竟我现在关注的是语言，也就是通过代码本身所表现出来的，尤其是可以体现出两种语言在设计理念上有所不同的区别。

如果我们仔细观察代码的话，就可以发现，Java编译器其实是将Integer对象与int值互转，例如在上面的第3行代码中，我们先将 Object对象转化成Integer类型，然后再隐式地转化至int基本类型。而在C#中，int类型是直接和Object类型相互转化的。我认为，Java的这种做法，表示Java的设计者依然不希望开发人员将int等基本类型看作是一种对象，他们只是让编译器可以帮助开发人员少些一些代码而已。换句话说，Java的设计者认为，int可以看作是Integer对象，boolean是Boolean对象，但是int和boolean仍然是基础类型，而不是对象。

下面的这行代码可能更加能够直接说明这个问题：

int　hash　=　3.hashCode();　//　cannot　compile

在Java中，这行代码是无法编译通过的，因为Java编译器并不会将int自动视作Integer对象，基础类型在这里依然是基础类型，不是对象。

在之前的讨论过程中，有朋友说，Java在这里不做自动装箱，是因为要在bytecode层面上保持与之前兼容。我不同意这个说法，因为我想象不到实现如C#这样的自动装箱和拆箱会破坏bytecode的兼容性，Java编译器完全也可以在语言级别将int类型和Integer类型等同起来，所以在这方面我认为完全是语言设计理念上的区别。

说实话，我不喜欢Java的思路，我更认同C#这种更为“面向对象”的设计方式。

文章地址：http://blog.zhaojie.me/2010/04/why-java-sucks-and-csharp-rocks-2-primitive-types-and-object-orientation.html