Java final 关键字总结

根据上下文环境,java的关键字final也存在着细微的区别,但通常指的是“这是无法改变的。”不想改变的理由由两种:一种是效率,另一种是设计。由于两个原因相差很远,所以关键子final可能被吴用。

接下来介绍一下使用到fianl的三中情况:数据,方法,类。


 final变量

许多编程语言都有某种方法,来向编译器告知一块数据是恒定不变的。有时数据的恒定不变是很有用的,例如:

1,一个编译时恒定不变的常量

2,一个在运行时初始化,而你不希望它被改变。

   对于编译期常量的这种情况,编译器可以将该常量值代入任何可能用到它的计算式中,也就是说,可以在编译期就执行计算式,这减轻了一些运行时的负担。在java中,这类常量必须是基本类型,并且以final表示。在对这个常量定义时,必须进行赋值。

   一个即是static又是fianl的域只占一段不能改变的存储空间。

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

      当你在类中定义变量时,在其前面加上final关键字,那便是说,这个变量一旦被初始化便不可改变,这里不可改变的意思对基本类型来说是其值不可变,而对于对象变量来说其引用不可再变。其初始化可以在两个地方,一是其定义处,也就是说在final变量定义时直接给其赋值,二是在构造函数中。这两个地方只能选其一,要么在定义时给值,要么在构造函数中给值,不能同时既在定义时给了值,又在构造函数中给另外的值。

     当函数参数为final类型时,你可以读取使用该参数,但是无法改变该参数的值。

     另外方法中的内部类在用到方法中的参变量时,此参变也必须声明为final才可使用


   下面的事例示范fianl域的情况。注意,根据惯例,即是static又是fianl的域(即编译器常量)将用大写表示,并用下划分割个单词:

  1.  package reusing;  
  2.   
  3. //: reusing/FinalData.java   
  4. // The effect of final on fields.   
  5. import java.util.*;  
  6. import static net.mindview.util.Print.*;  
  7.   
  8. class Value {  
  9.   int i; // Package access  
  10.   public Value(int i) { this.i = i; }  
  11. }  
  12.   
  13.   
  14.   
  15. public class FinalData {  
  16.   private static Random rand = new Random(47);  
  17.   private String id;  
  18.   public FinalData(String id) { this.id = id; }  
  19.   // Can be compile-time constants:   
  20.   private final int valueOne = 9;  
  21.   private static final int VALUE_TWO = 99;  
  22.   // Typical public constant:   
  23.   public static final int VALUE_THREE = 39;  
  24.   // Cannot be compile-time constants:   
  25.   private final int i4 = rand.nextInt(20);  
  26.   static final int INT_5 = rand.nextInt(20);  
  27.   private Value v1 = new Value(11);  
  28.   private final Value v2 = new Value(22);  
  29.   private static final Value VAL_3 = new Value(33);  
  30.   // Arrays:   
  31.   private final int[] a = { 123456 };  
  32.   public String toString() {  
  33.     return id + ": " + "i4 = " + i4 + ", INT_5 = " + INT_5;  
  34.   }  
  35.   
  36.   
  37.   public static void main(String[] args) {  
  38.     FinalData fd1 = new FinalData("fd1");  
  39.     //! fd1.valueOne++; // Error: can't change value  
  40.     fd1.v2.i++; // Object isn't constant!   
  41.     fd1.v1 = new Value(9); // OK -- not final  
  42.     for(int i = 0; i < fd1.a.length; i++)  
  43.       fd1.a[i]++; // Object isn't constant!  
  44.     //! fd1.v2 = new Value(0); // Error: Can't   
  45.     //! fd1.VAL_3 = new Value(1); // change reference  
  46.     //! fd1.a = new int[3];   
  47.     print(fd1);  
  48.     print("Creating new FinalData");  
  49.     FinalData fd2 = new FinalData("fd2");  
  50.     print(fd1);  
  51.     print(fd2);  
  52.   }  
  53. }   
  54.   
  55. /* Output: 
  56. fd1: i4 = 15, INT_5 = 18 
  57. Creating new FinalData 
  58. fd1: i4 = 15, INT_5 = 18 
  59. fd2: i4 = 13, INT_5 = 18 
  60. */  

     由于valueOne和VALUE_TWO都是带有编译时数值的fianl基本类型,所以它们二者均可以用作编译期常量,并且没有重大区别。VALUE_THREE是一种更加典型的对常量进行定义的方式:定义为public,可以被任何人访问;定义为static,则强调只有一份;定义为fianl,这说明它是个常量。请注意带有恒定初始值(即,编译期常量)的final static基本类型全用大写字母命名,并且字母与字母之间用下划线隔开。

   我们不能因为某些数据是fianl的就认为在编译时可以知道它的值。在运行时使用随机数来初始化i4和INT_5的值叫说明了这一点。事例部分也展示了将fianl数据定义为static和非static的区别。此区别只有当数值在运行时内被初始化时才会显现,这是因为在编译器对编译时的数值一视同仁(并且他们可能因为优化而消失)。当运行时会看见这个区别。请注意,在此fd1和fd2中i4的值是唯一的,每次都会被初始化为15,13。INT_5的值是不可以通过创建第二个FinalData对象加以改变的。这是因为他是static的,在装载类时(也就是第一次创建这个类对象时)已经被初始化,而不是每次创建都初始化。

   


如果看上面的事例来理解我标记颜色的的部分有点困难的话,请看下面的事例:

   

 

  1. public class B3 {  
  2.     static Random r =new Random(12);  
  3.     final int int1= r.nextInt(100);//产生0-99的随机数  
  4.     static final int INT_2= r.nextInt(100);  
  5.       
  6.   
  7.     public static void main(String[] args) {  
  8.         B3 b1=new B3();  
  9.         System.out.println("int1:"+b1.int1+"    INT_2:"+b1.INT_2);  
  10.         B3 b2=new B3();  
  11.         //b2.INT_2=100;//错误的赋值   
  12.         System.out.println("int1:"+b2.int1+"    INT_2:"+b2.INT_2);  
  13.   
  14.     }  
  15.   
  16. }  

启动main()先执行的是B3 b1=new B3();,创建B3的第一个对象,这将会先初始化static final int INT_2= r.nextInt(100);,然后是初始化final int int1= r.nextInt(100);,所以第一条输出语句的结果是int1:12    INT_2:66。接下来创建B3的第二个对象,这也会导致B3类中成员的初始化,但static final int INT_2= r.nextInt(100);不会在被初始化,为什么前面已经提过。输出的结果是int1:56    INT_2:66。两次的输出INT_2的值都是一样的。

   在说回我们的第一个事例,V1到VAL_3说明final引用的意义。正如在main()方法中看见的,可以改变对象数组a的值,但不能将a的引用指向另一个对象。看起来使基本类型成为fianl比引用类型成为final的用处大。

    java也许生成"空白final",所谓空白final是指被声明为final但又未给初值的域。无论什么情况下编译器都会保证final域在使用前初始化。但空白final在fianl的使用上提供了很大的灵活性,为此,一个fianl域可以根据某些对象有所不同,却又保持恒定不变的特性。下面的事例说明了一点。

 

  1. class Poppet {  
  2.   private int i;  
  3.   Poppet(int ii) { i = ii; }  
  4. }  
  5.   
  6. public class BlankFinal {  
  7.   private final int i = 0// Initialized final  
  8.   private final int j; // Blank final  
  9.   private final Poppet p; // Blank final reference  
  10.   // Blank finals MUST be initialized in the constructor:  
  11.   public BlankFinal() {  
  12.     j = 1// Initialize blank final  
  13.     p = new Poppet(1); // Initialize blank final reference  
  14.   }  
  15.   public BlankFinal(int x) {  
  16.     j = x; // Initialize blank final   
  17.     p = new Poppet(x); // Initialize blank final reference  
  18.   }  
  19.   public static void main(String[] args) {  
  20.     new BlankFinal();  
  21.     new BlankFinal(47);  
  22.   }  
  23. //  

 现在强行要求我们对final进行赋值处理——要么在定义字段时使用一个表达 式,要么在每个构建器中。这样就可以确保final字段在使用前获得正确的初始化。

在方法参数前面加final关键字就是为了防止数据在方法体中被修改。这里主要分两种情况:第一,用final修饰基本数据类型;第二,用final修饰引用类型。

第一种情况,修饰基本类型(非引用类型)。这时参数的值在方法体内是不能被修改的,即不能被重新赋值。否则编译就通不过。例如:

publicvoidtestInt(finalintparam1){ 
param1=100; 


在方法体内修改了基本数据类型变量的值,在Eclipse中则会提示:“ The final local variable param1 cannot be assigned. It must be blank and not using a compound assignment.“


第二种情况,修饰引用类型。这时参数变量所引用的对象是不能被改变的。作为引用的拷贝,参数在方法体里面不能再引用新的对象。否则编译通不过。例如:

publicvoidtestFinal2(finalObjectparam2){ 
param2=newObject(); 

在方法体内修改了参数的引用,在Eclipse中则会提示:“ The final local variable param2 cannot be assigned. It must be blank and not using a compound assignment.“

final 参数

      java中也许将参数列表中的参数以声明的方式声指明为final。这意味着你无发改变参数所指向的对象。

  1. class Gizmo {  
  2.   public void spin() {}  
  3. }  
  4.   
  5. public class FinalArguments {  
  6.   void with(final Gizmo g) {  
  7.     //! g = new Gizmo(); // Illegal -- g is final  
  8.  g.a = 1; //right
  9.   }  
  10.   void without(Gizmo g) {  
  11.     g = new Gizmo(); // OK -- g not final  
  12.     g.spin();  
  13.   }  
  14.   // void f(final int i) { i++; } // Can't change  
  15.   // You can only read from a final primitive:   
  16.   int g(final int i) { return i + 1; }  
  17.   public static void main(String[] args) {  
  18.     FinalArguments bf = new FinalArguments();  
  19.     bf.without(null);  
  20.     bf.with(null);  
  21.   }  
  22. //  

方法f()g()展示了基本类型的参数被指定为final是所出现的结果:你可以读参数,但不能修改参数。这一特性只要

来向匿名内部类传递数据。

final 方法

如果一个类不允许其子类覆盖某个方法,则可以把这个方法声明为final方法。 final不能用于修饰构造方法
使用final方法的原因有二: 
    第一、把方法锁定,防止任何继承类修改它的意义和实现。 
    第二、高效。编译器在遇到调用final方法时候会转入内嵌机制,大大提高执行效率。

   过去建议使用final方法的第二个原因是效率。在java的早期实现中,如果将一个方法指明为fianl,就是同意编译器将针对该方法的所有调用都转为内嵌调用。当编译器发现一个final方法调用命令时,它会根据自己的谨慎判断,跳过插入程序代码这种正常的调用方式而执行方法调用机制(将参数压入栈,跳至方法代码处执行,然后跳回并清理栈中的参数,处理返回值),并且以方法体中的实际代码的副本来代替方法调用。这将消除方法调用的开销。当然,如果一个方法很大,你的程序代码会膨胀,因而可能看不到内嵌所带来的性能上的提高,因为所带来的性能会花费于方法内的时间量而被缩减。

    上面标颜色的地方不太懂。不知道那位看过Java编程思想和知道的高人给解释解释。

    在最进的java版本中,虚拟机(特别是hotspot技术)可以探测到这些情况,并优化去掉这些效率反而降低的额外的内嵌调用,因此不再需要使用final方法来进行优化了。事实上,这种做法正逐渐受到劝阻。在使用java se5/6时,应该让编译器和JVM去处理效率问题,只有在想明确禁止覆盖式,才将方法设置为fianl的。

    final和private关键字

   类中的所有private方法都是隐式的制定为final的。由于你无法访问private方法你也就无法覆盖它。可以对private方法添加final修饰词,但这毫无意义。

  1. class WithFinals {  
  2.   // Identical to "private" alone:   
  3.   private final void f() { print("WithFinals.f()"); }  
  4.   // Also automatically "final":   
  5.   private void g() { print("WithFinals.g()"); }  
  6. }  
  7.   
  8. class OverridingPrivate extends WithFinals {  
  9.   private final void f() {  
  10.     print("OverridingPrivate.f()");  
  11.   }  
  12.   private void g() {  
  13.     print("OverridingPrivate.g()");  
  14.   }  
  15. }  
  16.   
  17. class OverridingPrivate2 extends OverridingPrivate {  
  18.   public final void f() {  
  19.     print("OverridingPrivate2.f()");  
  20.   }  
  21.   public void g() {  
  22.     print("OverridingPrivate2.g()");  
  23.   }  
  24. }  

     "覆盖"只有在某方法是基类接口的一部分时才会发生。即,必须将一个对象向上转型为它的基类并条用相同的方法。如果某方法是private的,它就不是基类接口的一部分。它仅是一些隐藏于类中的程序代码,如果一个基类中存在某个private方法,在派生类中以相同的名称创建一个public,protected或包访问权限方法的话,该方法只不过是与基类中的方法有相同的名称而已,并没有覆盖基类方法。由于private方法无法触及且有很好的隐藏性,所以把它看成是因为他所属类的组织结的原因而存在外,其他任何事物都不用考虑。

 final 类

    当将类定义为final时,就表明了你不打算继承该类,而且也不也许别人这样做。final类不能被继承,因此final类的成员方法没有机会被覆盖,默认都是final的。在设计类时候,如果这个类不需要有子类,类的实现细节不允许改变,并且确信这个类不会载被扩展,或者出于安全的考虑,不希望他有子类。那么就设计为final类。

  1. class SmallBrain {}  
  2.   
  3. final class Dinosaur {  
  4.   int i = 7;  
  5.   int j = 1;  
  6.   SmallBrain x = new SmallBrain();  
  7.   void f() {}  
  8. }  
  9.   
  10. //! class Further extends Dinosaur {}   
  11. // error: Cannot extend final class 'Dinosaur'  
  12.   
  13. public class Jurassic {  
  14.   public static void main(String[] args) {  
  15.     Dinosaur n = new Dinosaur();  
  16.     n.f();  
  17.     n.i = 40;  
  18.     n.j++;  
  19.   }  
  20. }   

    请注意,final类的域可以根据个人的意愿选择是或不是final。不论类是否被定义为final,相同的规则同样适用于定义为final的域。然而,由于final是无法继承的,所以被final修饰的类中的方法都隐式的制定为fianl,因为你无法覆盖他们。在fianl类中可以给方法添加final,但这不会产生任何意义。


转自 http://blog.csdn.net/niguang09/article/details/6035813



  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值