final作为java中的一个关键字,可以用来修饰类,变量,方法,表示其不可变的概念。
final修饰类的时候,表示该类不能被继承。
final修饰变量的时候,不允许改变变量(如果是对象,则不能改变其引用,里面的属性允许被修改。基本类型则不能改变其值)。
final修饰方法的时候,表示该方法将不能被重写。
以上是基本概念,老生常谈。下面将具体分析final关键字的意义:
讨论final修饰变量的情况:
1:关于基本类型和对象引用
final修饰变量时,其实是一个常量。表示不能被修改的变量。如果修饰的是基本类型,则该变量的值不能被改变。如果修饰的是对象,则表示对象的引用不能被改变,但对象里面的内容依然是可变的。
例:
我们可以修改里面的内容,但无法修改引用。
2:static和非static:
用到的一些常量,我们一般都定义成static final的。
static final
- 编译期常量,编译时就确定值。
- 放于方法区中的静态常量池。
- 在编译阶段存入调用类的常量池中,如果调用此常 量的类不是定义常量的类,那么不会初始化定义常量的类,因为在编译阶段通过常量传播优化,已经将常量存到调用类的常量池中了。
final
- 常量
- 类加载时确定或者更靠后。
- 当用final作用于类的成员变量时,成员变量(注意是类的成员变量,局部变量只需要保 证在使用之前被初始化赋值即可)必须在定义时或者构造器中进行初始化赋值
3:final 修饰实例变量,局部变量
这里引申一个问题:java内部类访问局部变量时局部变量必须声明为final(lambda表达式也是如此)。
原因:直白的说就是,为了解决生命周期不同的问题,内部类备份了变量,为了解决备份变量引出的问题,外部变量要被 定义成final,我们内部类使用final不是怕修改,是怕不能同步修改。final关键字的目的就是为了保证内部类和外部函数对变量“认识”的一致性
final修饰局部变量时,在《深入理解java虚拟机》中写道,对于局部变量用final修饰与不加final,代码编译出来的class 文件是没有任何一点区别的。字节码里没有任何东西能体现出局部变量的final与否。如果用于修饰一个编译时常量,则字节码会有不同:
如下:
这样的话实际上a和b都不是变量,而是编译时常量,在Java语言规范里称为constant variable。其访问会按照Java语言对常量表达式的规定而做常量折叠。
由javac编译得到对应的字节码会是:
iconst_5 // 常量折叠了,没有“访问局部变量” ireturn