final
关键字的问题在面试中很常见,深入理解其背后的机制确实能提升对Java语言特性的掌握程度。下面,代码示例来说明final的用法。
1. 被final
修饰的类不可以被继承
java">final class FinalClass {// 类内容
}// 错误示例:尝试继承FinalClass
// class SubClass extends FinalClass {
// }
2. 被final
修饰的方法不可以被重写
java">class Parent {final void finalMethod() {System.out.println("Parent method");}
}class Child extends Parent {// 错误示例:尝试重写finalMethod// @Override// void finalMethod() {// System.out.println("Child method");// }
}
3. 被final
修饰的变量不可以被改变
对于基本数据类型:
java">final int finalInt = 5;
// finalInt = 10; // 这将导致编译错误
对于引用类型:
java">final List<String> finalList = new ArrayList<>();
finalList.add("Hello"); // 合法,因为finalList引用没有改变
// finalList = new ArrayList<>(); // 这将导致编译错误
4. 被final
修饰的方法,JVM会尝试将其内联
这一点是JVM优化的一部分,通常不会直接在代码中体现,但了解其原理有助于理解性能优化。
5. 被final
修饰的常量,在编译阶段会存入常量池中
java">public class FinalConstants {public static final String CONSTANT = "Hello, World!";public static void main(String[] args) {System.out.println(CONSTANT);}
}
在这个例子中,CONSTANT
会在编译时被解析为常量值,并存储在常量池中。
编译器对final
域的两个重排序规则
构造函数内对一个final
域的写入,与随后把这个被构造对象的引用赋值给一个引用变量,这两个操作之间不能重排序
java">class FinalFieldExample {final int x;int y;public FinalFieldExample(int x, int y) {this.x = x; // 写入final域this.y = y;}// 构造函数结束后,对象的引用才可以被安全地发布
}
初次读一个包含final
域的对象的引用,与随后初次读这个final
域,这两个操作之间不能重排序
这个规则确保了线程安全,特别是在构造函数中初始化final
字段时,确保了其他线程在读取到这个对象引用后,能够看到所有final
字段的正确初始化值。
java">// 假设在并发环境中
FinalFieldExample obj = new FinalFieldExample(1, 2);
// 在这里,所有线程都能看到obj.x的值已经被初始化为1
理解这些规则和示例能帮助你编写更加健壮和高效的Java代码。