2.运行期无法取到泛型类型信息。
由于List 和List 擦除后是同一个类型，我们只能添加两个并不需要实际使用到的返回值才能完成重载。
另外，从Signature属性的出现我们还可以得出结论，擦除法所谓的擦除，仅仅是对方法的Code属性中的字节码进行擦除，实际上元数据中还是保留了泛型信息，这也是我们在编码时能通过反射手段取得参数化类型的根本依据。
条件编译
定义一个 final 的变量，然后在 if 语句用中它隔开代码。
public class Hello { public static void main(String[] args) { final boolean DEBUG = true; if (DEBUG) { System.out.println("Hello, world!"); } else { // some code } } }
因为编译器会对代码进行优化，对于条件永远为 false 的语句，Java 编译器将不会对其生成字节码。
应用场景：实现一个区分DEBUG和RELEASE模式的程序。
协变与逆变
逆变与协变用来描述类型转换(type transformation)后的继承关系，其定义：如果A、B表示类型，f(⋅)表示类型转换，≤表示继承关系(比如，A≤B表示A是由B派生出来的子类);
f(⋅)是逆变(contravariant)的，当A≤B时有f(B)≤f(A)成立;
f(⋅)是协变(covariant)的，当A≤B时有f(A)≤f(B)成立;
f(⋅)是不变(invariant)的，当A≤B时上述两个式子均不成立，即f(A)与f(B)相互之间没有继承关系。
数组是协变的
Food food = new Fruit(); // orfood = new Meat(); // 即 把子类赋值给父类引用Fruit [] arrFruit = new Fruit[3];Food [] arrFood = arrFruit; // 数组协变的
泛型是不变的
List beefList = new ArrayList<>();List foodList = beefList; //错误：不可协变 beefList = foodList; // 错误 ：不可逆变eat(beefList);// 错误：：不可协变 public void addFood(List list){ list.add(new Apple());}
泛型使用通配符实现协变与逆变。 PECS: producer-extends, consumer-super.
实现了泛型的协变，比如：
List list = new ArrayList ();
实现了泛型的逆变，比如：
List list = new ArrayList
·管程锁定规则(Monitor Lock Rule)：在一个线程内，按照控制流顺序，书写在前面的操作先行发生于书写在后面的操作。注意，这里说的是控制流顺序而不是程序代码顺序，因为要考虑分支、循环等结构。
·管程锁定规则(Monitor Lock Rule)：一个unlock操作先行发生于后面对同一个锁的lock操作。这里必须强调的是“同一个锁”，而“后面”是指时间上的先后。
·volatile变量规则(Volatile Variable Rule)：对一个volatile变量的写操作先行发生于后面对这个变量的读操作，这里的“后面”同样是指时间上的先后。
·线程启动规则(Thread Start Rule)：Thread对象的start()方法先行发生于此线程的每一个动作。
·线程终止规则(Thread Termination Rule)：线程中的所有操作都先行发生于对此线程的终止检测，我们可以通过Thread::join()方法是否结束、Thread::isAlive()的返回值等手段检测线程是否已经终止执行。
·线程中断规则(Thread Interruption Rule)：对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生，可以通过Thread::interrupted()方法检测到是否有中断发生。
·对象终结规则(Finalizer Rule)：一个对象的初始化完成(构造函数执行结束)先行发生于它的finalize()方法的开始。
·传递性(Transitivity)：如果操作A先行发生于操作B，操作B先行发生于操作C，那就可以得出操作A先行发生于操作C的结论。