final有三种修饰情况:

1)修饰成员

分配一块存储空间,只能赋值一次。可以在运行时赋值。

static final和final的区别在于前者是类级(全局),后者是对象级(局部)。

final修饰对象或数组的意思是变量的引用不能改,但是引用对象或数组的赋值是可以改的。

2)修饰方法

final修饰方法的参数时,意味着你无法在方法中更改参数引用所指向的对象。

final修饰的方法不会被重载。

final修饰的方法允许编译器转为内嵌,避免调用的开销。

3)修饰类

final修饰的类禁止继承(出于安全考虑)。

下面的代码描述了一个人吓跑一头猪和一只狗的故事:

 
package TestFinal;    
public  
class  Entry   {        
public  
static  
void  main(String args[])        {            Pig pig = 
new  Pig();           Dog dog = 
new  Dog();           Person person = 
new  Person();           person.frighten(pig);//吓跑猪         person.frighten(dog);//吓跑狗      }    }    
class  Person{       
void  frighten(Animal animal){           System.out.println(
"Ho!" );           animal.run();//多态       }   }   
class  Animal{       
void  run(){//此方法声明为private和final都会出错           System.out.println(
"Animal run ..." );       }   }    
class  Pig 
extends  Animal{       
void  run(){           System.out.println(
"Pig run ..." );       }      }    
class  Dog 
extends  Animal{       
void  run(){           System.out.println(
"Dog run ..." );       }      } 

程序运行结果:

Ho!

Pig run ...
Ho!
Dog run ...

请注意到person.frighten对animal.run的调用,因为输入参数的子类不同,实际执行的代码片断是不同的,这就是“多态”。

如果Animal的run方法声明为private,不影响Dog和Pig可以定义自己的run方法,但是“多态”就没有了,person.frighten中animal.run会报错。

如果Animal的run方法声明为final,person.frighten中animal.run不会报错,但是Dog和Pig中定义run方法会报“不允许重载”的错误信息,当然也就谈不上“多态”了。

参考书:《Thinking in Java 3th Edition》 Bruce Eckel