谈谈final的作用

本文转载自五月的仓颉：谈谈final的作用

前言

一直想写写这个话题。代表公司也面试过一些求职者，每次面试我必问的两个问题之一就是“请你谈一谈对于final关键字的理解”。这是一个简单的小问题，但是不要小看它，通过对这个问题的回答以及一些简单的扩展就能看出一个求职者的基础是否扎实以及是否有钻研精神。OK，开始进入主题。

 

final关键字的作用

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

1、被final修饰的类不可以被继承

2、被final修饰的方法不可以被重写

3、被final修饰的变量不可以被改变

重点就是第三句。被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修饰的常量，在编译阶段会存入调用类的常量池中。