谈谈final的应用

Final关键字的作用

相信对final的用法，大多数人都可以说出3句话：

1. 被final修饰的类不可以被继承
2. 被final修饰的方法不可以重写
3. 被final修饰的变量不可被改变

重点就是这第3句，被final修饰过的变量不可被改变。什么不可以被改变，是变量的引用，还是变量的内容，或者两者都不可以被改变？写一个例子看一下就知道了。

public class FinalString
{
    private String str;

    public FinalString(String str)
    {
        this.str = str;
    }

    public String getStr()
    {
        return str;
    }

    public void setStr(String str)
    {
        this.str = str;
    }
}

public class Test
{
    public static void main(String[] args)
    {
        final FinalString fs = new FinalString("1");
        fs.setStr("2");
        System.out.println(fs.getStr());
    }
}

运行一下，一点问题都没有。
稍微修改一下呢。

 public static void main(String[] args)
 {
     final FinalString fs = new FinalString("1");
     final FinalString fss = new FinalString("333");
     fs = fss;
  }

第5行报错了，“The final local variable fs cannot be assigned”。可见被final修饰不可变的是变量的引用，而不是引用指向的内容，引用指向的内容是可变的。OK，那final修饰数组呢？

public static void main(String[] args)
{
    final String[] strs0 = {"123","234"};
    final String[] strs1 = {"345","456"};
    strs1 = strs0;
    strs1[1] = "333";
}

同样，第5行报错了“The final local variable strs1 cannot be assigned”，第6行一点问题都没有。变量和数组一样都是引用不可变，引用指向的内容可变。实际上用过FindBugs插件的应该知道，假如代码里面用final修饰了一个数组，那么改行代码会被FindBugs的一个Bug被查找出来。因为被final修饰过的数组是没有意义的。
接下来，再看下用final修饰方法参数的场景。

public class Test
{
    public static void main(String[] args)
    {
        FinalString fs = new FinalString("");
        A(fs);
    }

    private static void A(final FinalString fs)
    {
        fs.setStr("123");
        FinalString fss = new FinalString("22");
        fs = fss;
    }
}

一样是13行报错，11行没问题，相信大家已经知道原因了。

总结
“引用”是Java中非常重要的一个概念，对于引用的理解不深，很容易犯一些自己都没有意识到的错误，被final修饰过的变量，不管变量是在是哪种变量，切记不可变的是变量的引用而非引用指向对象的内容。另外，本文中关于final的作用还有两点没有讲到：

1. 被final修饰的方法，JVM会为之寻找内联，这是提升对Java效率非常重要的，假如能确定方法不会内联，就尽量将方法定义为final,具体参见运行期优化技术的方法的内联方面。
2. 被final修饰的常量，在编译阶段会存入调用量的常用池中，具体参见内加载技术最后部分和Java内存区域