Java基础知识02

java 泛型

泛型，即“参数化类型”。一提到参数，最熟悉的就是定义方法时有形参，然后调用此方法时传递实参。那么参数化类型怎么理解呢？顾名思义，就是将类型由原来的具体的类型参数化，类似于方法中的变量参数，此时类型也定义成参数形式（可以称之为类型形参），然后在使用/调用时传入具体的类型（类型实参）。

泛型的本质是为了参数化类型（在不创建新的类型的情况下，通过泛型指定的不同类型来控制形参具体限制的类型）。也就是说在泛型使用过程中，操作的数据类型被指定为一个参数，这种参数类型可以用在类、接口和方法中，分别被称为泛型类、泛型接口、泛型方法。

---

volatile修饰

volatile关键字具有许多特性，其中最重要的特性就是保证了用volatile修饰的变量对所有线程的可见性。
volatile只能保证变量的可见性，并不能保证变量的原子性。
因此，什么时候适合用volatile呢？

1.运行结果并不依赖变量的当前值，或者能够确保只有单一的线程修改变量的值。（多个变量修改变量的值，应该具有先后顺序）

2.变量不需要与其他的状态变量共同参与不变约束

volatile关键字特性总结：

1）保证变量在线程之间的可见性。可见性的保证是基于内存屏障指令的；

2）阻止 JVM在编译Java程序时 和 CPU执行字节码文件时 的指令重排；编译时的指令重排遵循内存屏障约束，运行时的指令重排依靠于CPU内存屏障指令来阻止重排。

指令重排概念：指令重排是指JVM在编译Java代码，或者CPU在执行字节码的时候，对现有指令进行重新排序。
指令重排的目的：在不改变程序执行结果的前提下，优化程序的运行效率。
！！！注意，这里所说的不改变执行结果，指的是不改变单线程下的程序执行结果。（所以多线程的话需要引入volatile）

---