java学习：理解final

final有三种修饰情况：

1）修饰成员

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

static final和final的区别在于前者是类级（全局），后者是对象级（局部）。

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

2）修饰方法

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

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

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

3）修饰类

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

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

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