Java 语法糖

前言

参考 JavaGuide的语法糖 文章，使用反编译后才能看到编译器具体解糖后的逻辑
javap的反编译方式：

• javac 类名.java
• javap -c 类名.class
  • 这种方式反编译出来的文件比较难懂

CFR的反编译方式：

• java -jar cfr_0_125.jar 类名.class --特殊命令 false

一、定义

指在计算机语言中添加的某种语法，这种语法对语言的功能并没有影响，但是更方便程序员使用。简而言之，语法糖让程序更加简洁，有更高的可读性。

JVM 不能识别语法糖，Java 语法糖要想被正确执行，需要先通过编译器的compile()进行解糖desugar()，也就是在程序编译阶段将其转换成 JVM 认识的基本语法。
这也侧面说明，Java 中真正支持语法糖的是 Java 编译器而不是 JVM。

二、Java常见语法糖

1. switch 支持 String 与枚举

反编译之后可以看到，字符串的 switch 是通过hashCode()传入哈希值（case 哈希值:……），equals()方法比对等值情况来实现。

2. 泛型

Java 使用Code sharing的编译器处理泛型方式

虚拟机中没有泛型，只有普通类和普通方法，所有泛型类的类型参数在编译时都会被擦除，泛型类并没有自己独有的Class类对象。

3. 自动装箱与拆箱

装箱：通过调用包装器的 valueOf 方法实现
拆箱：通过调用包装器的 xxxValue 方法实现

4. 可边长参数

使用可变参数时：

• 创建一个数组，数组的长度是调用该方法是传递的实参个数
• 参数值全部放到数组当中
• 数组作为参数传递到被调用的方法中

5. 枚举

定义枚举类后，反编译的代码如下：

public final class T extends Enum

• 该类继承了Enum类
• final关键字说明，这个类也是不能被继承

使用enum来定义一个枚举类型时，编译器会自动创建一个final类型的类继承Enum类，所以枚举类型不能被继承。

6. 内部类 / 嵌套类

outer.java 里面定义了一个内部类 inner

编译成功会生成两个完全不同的.class文件，分别是 outer.class 和 outer$inner.class 。所以内部类的名字完全可以和它的外部类名字相同。

7. 条件编译

根据 if 判断条件的真假，编译器直接把分支为 false 的代码块消除。
通过该方式实现的条件编译，必须在方法体内实现，而无法在正整个 Java 类的结构或者类的属性上进行条件编译

8. 断言

assert <boolean表达式>

• 如果<boolean表达式>为true，则程序继续执行
• 如果为false，则程序抛出AssertionError，并终止执行

assert <boolean表达式> : <错误信息表达式>

• 如果<boolean表达式>为true，则程序继续执行
• 如果为false，则程序抛出java.lang.AssertionError，并输出<错误信息表达式>

断言的底层实现是 if 语言。
如果断言结果为 true，则什么都不做，程序继续执行
如果断言结果为 false，则程序抛出 AssertError 来打断程序的执行

9. 数值字面量

不管是整数还是浮点数，都允许在数字之间插入任意多个下划线。这些下划线不会对字面量的数值产生影响
int i = 10_000;
System.out.println( i ); // 10000

反编译后就是把 _ 删除，即编译器并不认识在数字字面量中的_，需要在编译阶段把他去掉

10. for-each

使用普通的 for 循环和迭代器

	// 反编译后的代码
    for(Iterator iterator = strList.iterator(); iterator.hasNext(); System.out.println(s))
        s = (String)iterator.next();

11. try-with-resource

没有做的关闭资源的操作，由编译器帮我们做。

12. Lambda 表达式

依赖了一些底层 api，在编译阶段，编译器会把 lambda 表达式进行解糖，转换成调用内部 api 的方式

13. 避坑

（1）泛型不支持重载、catch

参数List和List编译之后都被擦除，变成了一样的原生类型 List，擦除动作导致这两个方法的特征签名变得一模一样。

（2）泛型包含静态变量

public class StaticTest{
    public static void main(String[] args){
        GT<Integer> gti = new GT<Integer>();
        gti.var=1;
        GT<String> gts = new GT<String>();
        gts.var=2;
        System.out.println(gti.var); // 2
    }
}
class GT<T>{
    public static int var=0;
    public void nothing(T x){}
}

经过类型擦除，所有的泛型类实例都关联到同一份字节码上，泛型类的所有静态变量共享