早期（编译期）优化（2）

泛型与类型擦除

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

泛型思想早在C++语言的模板中就开始生根发芽，在Java语言处于还没邮出现泛型的版本时，只能通过Object是所有类的父类和类型强制转换两个特点的配合来实现类型泛化。例如，在哈希表的存取中，JDK1.5之前使用HashMap的get（）方法，返回值就是一个Object对象，由于Java语言里面所有的类型都继承与java.lang.Object，所以Object转型成任何对象都有可能的。但是因为有无限的可能性，就只有程序员和运行期的虚拟机才知道这个Object到底是个什么类型的对象。在编译期间，编译器无法检查这个Object的强制转换是否成功，如果仅仅依赖程序员去保障这项操作的正确性，许多ClassCastException的风险就会转嫁到程序运行期之中。

反省技术在C#和Java之中的使用方式看似相同，但实现上却有着根本性的分歧，C#里面泛型无论在程序源码中，编译后的IL中，或是运行期的CLR中，都是切实存在的List< int>List和< String>就是两种不同的类型，他们在系统运行期生成，有自己的虚方法表和数据类型，这种实现称为类型膨胀，基于这种方法实现的泛型称为真实泛型。

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

当初JDK设计团队为什么选择类型擦出的方式来实现Java语言的泛型支持呢？是因为实现简单，兼容性考虑还是别的原因？我们已经不得而知，但确实由不少人对Java语言提供的伪泛型颇有微词。
在当时众多的批评之中，有一些是比较表面的，还有一些从性能上说泛型会由于强制转换操作和运行时期缺少针对类型的优化等从而导致比C#的泛型慢一些，则是完全偏离了方向，姑且不论Java泛型是不是真的会比C#泛型慢，选择从性能的角度上评论用于提升语义准确性的泛型思想就不太恰当。他在某些场景下确实存在不足，擦出法来实现泛型丧失了一些泛型思想应有的优雅。

自动装箱，拆箱与遍历循环

从纯技术的角度来讲，自动装箱，自动拆箱与遍历循环这些语法糖，无论是实现上还是思想上都不能和泛型相比，两者的难度和深度都有很大差距。毫无疑问，他们都是Java语言里使用的最多的语法糖。自动装箱，拆箱在编译之后被转化成了对应的包装和还原方法，而遍历循环把代码还原成了迭代器的实现，这也就是为何遍历循环需要被遍历的类实现Iterable接口的原因。最后再看看变长参数，它在调用的时候变成了一个数组类型的参数，在变长参数出现之前，程序员就是使用数组类完成类似功能的。

条件编译

许多程序设计语言都提供了条件编译的途径，如C，C++中使用预处理器指示符（#ifdef）来完成条件编译。C，C++的预处理器最初的任务是解决编译时的代码依赖关系（如非常常用的#include预处理命令）,而在Java语言之中并没有使用预处理器，因为Java语言天然的编译方式（编译器并非一个个的编译Java文件，而是将所有编译单元的语法树顶级节点输入到待处理列表后在进行编译，因此各个文件之间能够互相提供符号信息），无需使用任何处理器。那Java语言是否有办法实现条件编译呢？

Java语言当然也可以进行条件编译，方法就是使用条件为常量的if语句。如下代码，if语句不同于其他Java代码，他在编译阶段就会被“运行”，生成的字节码之中只包括“ System.out.println("block 1);”一条语句，并不会包含if语句及另外一个分子中的“ System.out.println("block 2);”

public static void main(String[] args){
if(true){
   System.out.println("block 1);
}else{
    System.out.println("block 2);
}
}

只能使用条件为常量的if语句才能达到上述效果，如果使用常量与其他带有条件判断能力的语句搭配，则可能在控制流分析中提示错误，被拒绝编译。

Java语言中条件编译的实现，也是Java语言的一颗语法糖，根据布尔常量值的真假，编译器将会把分支中不成立的代码块消除掉，这一工作将在编译器解除语法糖阶段完成。由于这种条件编译的实现方式使用了if语句，所以它必须遵循最基本的Java语法，只能写在方法体内部，因此它只能实现语句基本块（Block）级别的条件编译，而没有办法实现根据条件条件调整整个Java类的结构。

除了上面介绍的泛型，自动装箱，自动拆箱，便利循环，变长参数和条件编译之外，Java语言还有不少其他的语法糖，如内部类，枚举类，断言语句，对枚举和字符串（在JDK1.7中支持）的switch支持，try语句中定义和关闭资源等。