Java语法糖——深入理解Java虚拟机

 

几乎各种语言或多或少都提供过一些语法糖来方便程序员的代码开发，这些语法糖虽然不会提供实质性的功能改进，但是它们货能提高效率，或能提升语法的严谨性，或能减少编码出错的机会。

 

 

一.泛型与类型擦除

 

泛型是JDK1.5的一项新增功能，它本质上是参数类型化的应用，也就是说操作的数据类型被指定为一个参数。这种参数类型可以用在类，接口和方法的创建种，分别称为泛型类，泛型接口，泛型方法。

 

泛型为什么会出现呢?它的出现又是为了解决什么问题呢？

 

我们举一个最常见的例子。JDK1.5之前，哈希表的存取中，get()方法，返回值就是一个Object对象。但是由于无限的可能性，就只有程序员和运行期的虚拟机可以知道该Object的真实类型。在编译期间，编译器无法检查这个Object的强制类型转换是否成功，如果仅仅依赖程序员去保障这项操作的正确性，许多ClassCastException的风险就会转嫁到程序运行期之中。

 

 

泛型技术在C#之中和在Java之中的使用方式看似相同，但是是线上却有着根本性的分歧。

 

C#中的泛型：C#中的泛型无论是在程序源码中，编译后的IL中，或是运行期的CLR中都是切实存在的，List<int>与List<String>就是两个不同的类型，它们在系统运行期生成，有自己的虚方法表和类型数据，这种实现称为类型膨胀，基于这种方法实现的泛型称为真是泛型。

 

Java中的泛型：Java中的泛型则与上面的泛型有些不同，它只在程序源码中存在，在编译后的字节码文件中，就已经替换为原来的原声类型(也称裸类型)了，并且在相应的地方插入了强制类型转换语句，因此，对于运行期的ArrayList<int>与ArrayList<String>就是同一个类，所以泛型技术实际上就是Java语言的一颗语法糖，Java语言中的泛型实现方法称为类型擦除，基于这种方法实现的泛型称为伪泛型。

 

 

 

例如下面这个方法：

 

反编译后为：

 

 

我们可以发现一部分泛型已经被擦出了。而且代替反省的是强制类型转换。

 

 

 

再看看下面这个例子：

 

 

 

显示编译不通过，为什么不通过呢？因为在编译完成后泛型被擦出掉后，着两个方法在Class文件中对应的字节码序列将会完全一致，有些同学可能就会问了它们不是输出值不同嘛？这里我要说明一下，在Class文件的方法表集合中，没有记录方法体，方法体会放在方法表的一个名为Code的属性中。所以方法体的代码(包括这里输出的语句)，不是Class区分方法的特征量。

 

 

 

 

那么这个为什么又不报错了呢？我们会发现，这两个方法与上面两个方法的区别就是具有不同的返回值，虽然在Java语言的规范中返回值类型不能作为方法重载的特征量，但是对于Class字节码来说，返回值属于区分方法的特征量，所以用来记录上面两个方法的字节码是不同的，所以它们可以合法的同时存在与Class文件中，所以就不报错了。

 

 

最后说一下，所谓泛型擦除，只是针对方法的Code属性中的字节码进行擦除，实际上元数据中还保留了泛型信息，这也是我们能通过反射手段获取参数化类型的根本依据。

 

 

二.自动装箱，拆箱与增强for循环。

 

从纯技术角度来讲，自动装箱，自动拆箱，增强for循环，这些语法糖，无论是实现上还是思想上都能和泛型语法糖相比，两者的难度和深度都有很大的差距，那么为什么要讲它们呢？因为它们是Java语言里使用得最多得语法糖。

 

 

 

下例：

 

经过反编译后得到得结果是：

 

 

我们从上面可以看出：

 

1. 泛型被擦除，用强制类型转换替换。
2. 变长参数被替换为数组，实际上变长参数就是用数组实现的。
3. 增强for循环用迭代器实现，这也是为何只用实现了Iterable接口的对象才可以使用 增强for循环遍历
4. 自动装箱用Integer.valueif()实现，自动拆箱用intvalue()实现。

 

 

看例子：

 

 

 

这里需要提醒一下：包装类的“==”运算不会自动拆行。包装类的equals()方法不处理数据类型转换关系。

希望你可以自己敲一下哦!

 

 

三.条件编译

 

许多程序设计语言都提供了条件编译，如C,C++中使用预处理指示符(#indef)来完成条件编译。C，C++的预处理器最初的任务是解决编译使得代码依赖关系(如#include预处理命名)。

 

 

Java语言也是可以进行条件编译的，方法是使用条件为常量的if语句。只有使用条件为常量的if语句才能达到条件编译的效果，如果使用常量和其它有条件判断能力的语句搭配，则可能在控制流中提示错误，被拒绝编译。

 

 

除了泛型，自动拆/装箱，增强for循环，边长参数和条件编译外，Java还有不少的语法糖，比如内部类，枚举类，断言语句等等。