Java final关键字和String常量 不可变的理解

final

首先来说说final。

对于基本数据类型的变量，一旦用final修饰，就表示这个变量不能被再次赋值。

对于对象形的变量，指的是这个引用不可变。而这个引用指向的堆内存区域中的值是可以变的。例如：

		final List<Integer> list = new ArrayList<Integer>();
		list.add(1);
		list.add(2);

上面定义了List类型的集合对象，我们知道上面代码的第一句其实是再堆内存中开辟一个List类型的空间，然后引用变量list指向这个区域。所以这个时候，虽然list是final的，但是我们往list增加数据，改变的是堆内存中存放的数据，而不会改变list这个引用本身。它仍然指向这个堆内存的区域，并没有改变。

这就好比你的手拿着一个水杯，你的手相当于变量list，不管水杯里面放的是果汁还是矿泉水，你的手始终拿的是杯子，这点不会因为你杯子里放的东西而改变。

如下，一旦修改list这个引用本身，就会报错：

		final List<Integer> list = new ArrayList<Integer>();
		list.add(1);
		list.add(2);
		list = new ArrayList<Integer>();  //error: cannot assign a value to final variable list

String 常量

string类型的常量不可变和final看起来有一些不一样，比如我们经常看到这样的代码：

            String str = new String("abc");
            str = "cde";

我们看到str这个引用两次赋值分别指向了不同的内存地址。所以这个肯定和final的不可变是 不一样的。 String常量的不可变指的是 存放String对象那个区域里的内容不能变。比如，上面的代码。堆里面会有存放abc的区域，而这个区域的abc是不能变的，也就是不能变为abd等。而引用是可变的，只要不改变常量里面的内容就行。这一点正好和final是互补的，两者不可变的是不同的东西。一个是内存中存放的值，一个是引用的值。而String中存放的东西之所以不可变，是因为String常量是在编译器确定的，再编译之后，被生成class文件，所以不能改变。

final关键字的注意点

1. final关键字可以用于成员变量、本地变量、方法以及类。
2. final成员变量必须在声明的时候初始化或者在构造器中初始化，否则就会报编译错误。
3. 你不能够对final变量再次赋值。
4. 本地变量必须在声明时赋值。
5. 在匿名类中所有变量都必须是final变量。
6. final方法不能被重写。
7. final类不能被继承。
8. final关键字不同于finally关键字，后者用于异常处理。
9. final关键字容易与finalize()方法搞混，后者是在Object类中定义的方法，是在垃圾回收之前被JVM调用的方法。
10. 接口中声明的所有变量本身是final的。
11. final和abstract这两个关键字是反相关的，final类就不可能是abstract的。
12. final方法在编译阶段绑定，称为静态绑定(static binding)。
13. 没有在声明时初始化final变量的称为空白final变量(blank final variable)，它们必须在构造器中初始化，或者调用this()初始化。不这么做的话，编译器会报错“final变量(变量名)需要进行初始化”。
14. 将类、方法、变量声明为final能够提高性能，这样JVM就有机会进行估计，然后优化。