目录
1 final基本用法
final:“这是无法改变的"
final可以修饰:变量、参数、方法、类
1.1 final修饰变量
修饰变量(变量、局部变量),当变量类型为:
- 基本类型,一旦被赋值,该值不能被改变。
- 引用类型,一旦引用被初始化指向一个对象,就不能指向别的对象,但对象内容可以被修改
- 数据类型:数组也是引用类型
分析以下代码:
import java.util.Random;
class Value {
int i; // Package access
public Value(int i) { this.i = i; }
}
public class FinalData {
private static Random rand = new Random(47);
private String id;
public FinalData(String id) { this.id = id; }
//编译时常量
private final int valueOne = 9;
private static final int VALUE_TWO = 99;
public static final int VALUE_THREE = 39;
//非编译时常量
private final int i4 = rand.nextInt(20);
static final int INT_5 = rand.nextInt(20);
private Value v1 = new Value(11);
private final Value v2 = new Value(22);
private static final Value VAL_3 = new Value(33);
// Arrays:
private final int[] a = { 1, 2, 3, 4, 5, 6 };
public String toString() {
return id + ": " + "i4 = " + i4 + ", INT_5 = " + INT_5;
}
public static void main(String[] args) {
FinalData fd1 = new FinalData("fd1");
//! fd1.valueOne++; // Error: can’t change value
fd1.v2.i++; // OK:引用指向的对象内容可变
fd1.v1 = new Value(9); // OK :非final,引用可变
for(int i = 0; i < fd1.a.length; i++)
fd1.a[i]++; // Object isn’t constant!
//! fd1.v2 = new Value(0); // Error: final引用不可变
//! fd1.VAL_3 = new Value(1); //Error: final引用不可变
//! fd1.a = new int[3];
System.out.println(fd1);
System.out.println("Creating new FinalData");
FinalData fd2 = new FinalData("fd2");
System.out.println(fd1);
System.out.println(fd2);
}
}
/* 运行结果:
fd1: i4 = 15, INT_5 = 18
Creating new FinalData
fd1: i4 = 15, INT_5 = 18
fd2: i4 = 13, INT_5 = 18
*///:~
说明:
- valuOne和VALUE_TWO:都是编译期常量,无重大区别。
- VAL_THREE:典型的对常量定义的方式:定义为public,则可以被用于包之外;定义为static,则强调只有一份;定义为final,则说明它是一个常量。注意这种类型常量的命名方式(大写和下划线)
- i4和INT_ 5:final变量不代表编译时可知它的值,可以在运行时初始化值。例如在运行时使用随机生成的数值来初始化
- v1、v2、VAL_3 说明final引用的特征
- 特别注意:INT_5:不可以通过创建第二个FinalData对象而加以改变。因为它是static的,在装载时已被初始化,而不是每次创建新对象时都初始化。
1.2 final修饰方法参数
参数:遵循final修饰变量的约束条件,不能在方法中修改它的值或者指向别的对象。
private void finalParam(final Map param){
param = new HashMap();//报错
param.put("","");//不报错
}
1.3 final修饰方法
使用final方法的原因:确保在继承中使方法行为保持不变,并且不会被覆盖(设计考虑)。
- final修饰的方法不可以重写(重写发生在父类与之类)
- final修饰的方法可以重载(同一个类)
以下代码可以正确运行:
public class FinalExampleParent {
public final void test() {
}
public final void test(String str) {
}
}
final和private:
类中所有的private方法都隐式地指定为final的。由于其它类无法取用private方法,因此无法覆盖它。可以对private方法添加final修饰,但没意义。
1.4 final修饰类
当类定义为final时,表示该类不可继承。
final类的所有方法都是隐式为final,因为无法覆盖它们
1.5 空白final
定义:被声明为final但又未给定初值的域。
用途:提供了更大的灵活性:一个类中的final域就可以做到根据对象而有所不同,却又保持其恒定不变的特性。
class Poppet {
private int i;
Poppet(int ii) { i = ii; }
}
public class BlankFinal {
private final int i = 0; // Initialized final
private final int j; // Blank final
private final Poppet p; // Blank final reference
//空final构造器中初始化
public BlankFinal() {
j = 1; // Initialize blank final
p = new Poppet(1); // Initialize blank final reference
}
public BlankFinal(int x) {
j = x; // Initialize blank final
p = new Poppet(x); // Initialize blank final reference
}
publ