修饰符final浅析

java中修饰符final可以分别作用于类，方法和域。

    final类。定义类的时候加上final修饰符，表明该类已经是相当完善了，不用也不能被其它类所继承，也就是说，该类在java的继承树结构中是一个叶节点。当一个类为final类时，该类的所有方法均自动成为final方法，不管你是否在方法前面加上修饰符final。而该类中的域可以通过加上final将其声明为一个final变量，也可以不加，声明为一般变量。一个类是否为final类，对该类的域是不产生任何影响的。

    final方法。方法加上修饰符final可以将方法声明为一个final方法。final方法的作用有两个：其一，使该方法不能被子类覆盖或者改写。其二，提示编译器把对此方法的调用方式改成内联调用的方式，以提高执行效率。必须注意的是，如果final方法的方法体很大，此举会大大增加最终代码的体积，因此使用的时候要权衡二者的利弊。

    final域。final域一旦赋值后将永远不变，因此非常适合用来定义常量。值得注意的是：如果final域是一个基本类型，那么表明改域的值是不能改变的。若final域是一个对象的引用，则仅仅表明改引用不能被改变，也就是永远指向同一个对象，但是被引用的对象自身却是可以改变的。这跟c++中的常量指针很像（不是指向常量的指针）。初始化final域有着特殊的要求：非静态final域要求在构造函数执行后必须被明确赋值，而静态final域在类初始化完成后必须要被明确赋值。看下面的例子：

class Parent{
    final int i; //blank final
    final int j = 10;
    static final int k;  //static blank final
    static final int l = 20;
    int z = 11;

     static{
          k = 15;
     }
 
     Parent(){
         i = 5;
     }
     /*或者使用instance initializer
     {
         i = 5;
     }*/
}

    特别地，对于static final域，java的编译器会进行特殊的处理，将它们直接解析成对常量的本地拷贝，放置到引用者类的常量池或者字节码流中。当引用者类用到该数据时，会直接在本类的class文件的常量池或者字节码中取得，而不会去定义改域的类的class文件中取该数据。

    final参数。c++的程序员要注意了，下面方法的声明不是表明Parent 对象不可变化，仅仅是表明改引用是不可改变的。如果直接将java的final类比成c++中的const关键字是不对的。

public void use(final Parent p){
      p.z = 15; //correct
      //p = new Parent(); error
}

   

其实，它更类似于c++中的常量指针，而不是指向常量的指针，这跟final域所说明的是保持一致的。

reference:
The Final Word On the final Keyword  http://renaud.waldura.com/doc/java/final-keyword.shtml

评论

1 楼 thoriod 2007-01-02  

const,曾经是花了大力气去学习的，发现C++的发明真的可以让软件页减少盲目参与者（难啊）。也算是保护了他们，ASP/ASP。NET的做法就很难说了。