java final 关键字

fianl关键字在java中有三种使用情况：数据，方法，类。

一、final数据

    对基本类型使用fianl不能改变的是他的数值。而对于对象引用，不能改变的是他的引用，而对象本身是可以修改的。一旦一个final引用被初始化指向一个对象，这个引用将不能在指向其他对象。java并未提供对任何对象恒定不变的支持。这一限制也通用适用于数组，它也是对象。

1.final类型的字段(不能改变基本类型的值和引用(对象和数组)的指向，必须在声明时或者构造对象时初始化)

初始化时机有以下几种：

第一种情况是最常用的,就是在声明一个常量,并初始化它的值.

public class Test {
final int i = 0; // 在声明时就初始始常量的值.
}

第二种情况就是声明常量时,不初始化它的值,通过构造方法或块来初始化.

1)通过构造方法来初始化.

public class Test {
final int i; // 声明时未初始化,如果常量不通过构造方法或块初始化会报错的
Test() {
i = 1; // 通过默认的无参构造方法初始化i=1,
// 如果只有默认的无参构造方法,这样每个对象的fianl常量都为一个值
}
// or
Test(int n) {
i = n; // 通过构造方法重载,用有参的构造方法的参数来初始化常量为你想要的值
// 这样每个对象的i属性可以为不同的值
}
}

2)通过块来初始化常量.

public class Test {
final int i;
// 在class只打{},这样的格式语句称为块
{
i = 1; // 这样初始化每一个对象的i属性都是1,以后不可以改它的值为其它
// 不可以再在构造函数里初始化i的值,因为块已经把常量初始化了,再初始化就是修改它的值
}

}

为什么这样写可以呢,这个涉及到JAVA的成员初始化顺序。

3)初始化静态常量.

public class Test {
static final int i;
static {
i = 1;
}
}

静态常量比较特别,不能通过构造方法或非静态块来进行初始化,从设计角度来考虑,如果可以通过构造方法或非静态块来进行初始化,那每new一个对象都会对静态的常量进行再一次的赋值操作,也就是说修改它的值,这样与常量不能修改的意思相冲突.


2.final类型的方法参数(不能改变基本类型的值和引用(对象和数组)的指向)

在一个方法的内部，我们不能改变自变量句柄指向的东西。

class Gizmo {
public void spin() {}
}

public class FinalArguments {
void with(final Gizmo g) {
//! g = new Gizmo(); // Illegal -- g is final
}
void without(Gizmo g) {
g = new Gizmo(); // OK -- g not final
g.spin();
}
// void f(final int i) { i++; } // Can't change
// You can only read from a final primitive:
int g(final int i) { return i + 1; }
public static void main(String[] args) {
FinalArguments bf = new FinalArguments();
bf.without(null);
bf.with(null);
}
} //

二、final方法(不能被子类修改、提高执行效率)

之所以要使用final方法，可能是出于对两方面理由的考虑。

第一个是为方法“上锁”，防止任何继承类改变它的本来含义。设计程序时，若希望一个方法的行为在继承期间保持不变，而且不可被覆盖或改写，就可以采取这种做法。

第二个理由是程序执行的效率。将一个方法设成final后，编译器就可以把对那个方法的所有调用都置入“嵌入”调用里。只要编译器发现一个final方法调用，就会（根据它自己的判断）忽略为执行方法调用机制而采取的常规代码插入方法（将自变量压入堆栈；跳至方法代码并执行它；跳回来；清除堆栈自变量；最后对返回值进行处理）。相反，它会用方法主体内实际代码的一个副本来替换方法调用。这样做可避免方法调用时的系统开销。当然，若方法体积太大，那么程序也会变得雍肿，可能受到到不到嵌入代码所带来的任何性能提升。因为任何提升都被花在方法内部的时间抵消了。Java编译器能自动侦测这些情况，并颇为“明智”地决定是否嵌入一个final方法。然而，最好还是不要完全相信编译器能正确地作出所有判断。通常，只有在方法的代码量非常少，或者想明确禁止方法被覆盖的时候，才应考虑将一个方法设为final。

类内所有private方法都自动成为final。由于我们不能访问一个private方法，所以它绝对不会被其他方法覆盖（若强行这样做，编译器会给出错误提示）。可为一个private方法添加final指示符，但却不能为那个方法提供任何额外的含义。

三、final类(不能被其他类继承)

如果说整个类都是final（在它的定义前冠以final关键字），就表明自己不希望从这个类继承，或者不允许其他任何人采取这种操作。换言之，出于这样或那样的原因，我们的类肯定不需要进行任何改变；或者出于安全方面的理由，我们不希望进行子类化（子类处理）。

除此以外，我们或许还考虑到执行效率的问题，并想确保涉及这个类各对象的所有行动都要尽可能地有效。如下所示：

//: Jurassic.java
// Making an entire class final

class SmallBrain {}

final class Dinosaur {
int i = 7;
int j = 1;
SmallBrain x = new SmallBrain();
void f() {}
}

//! class Further extends Dinosaur {}
// error: Cannot extend final class 'Dinosaur'

public class Jurassic {
public static void main(String[] args) {
Dinosaur n = new Dinosaur();
n.f();
n.i = 40;
n.j++;
}
} ///:~

注意数据成员既可以是final，也可以不是，取决于我们具体选择。应用于final的规则同样适用于数据成员，无论类是否被定义成final。将类定义成final后，结果只是禁止进行继承——没有更多的限制。然而，由于它禁止了继承，所以一个final类中的所有方法都默认为final。因为此时再也无法覆盖它们。所以与我们将一个方法明确声明为final一样，编译器此时有相同的效率选择。

可为final类内的一个方法添加final指示符，但这样做没有任何意义。

参考：
http://www.cnblogs.com/xuehai/archive/2010/04/18/1714713.html
http://blog.csdn.net/jiafu1115/article/details/6734639