Finalデータ

元のタイプではfinalは数値を一定にし、オブジェクトリファレンスではfinalはリファレンスを一定にします.リファレンスが初期化されてオブジェクトを指すと、別のオブジェクトを指すように変更することはできません.しかしながら、オブジェクト自体は変更可能であり、Javaはオブジェクトを一定に保つ方法を提供していない.(ただし、自分でクラスを作成して、オブジェクトを一定に保つ効果を得ることができます.)この制限は配列にも適用され、オブジェクトでもあります.次にfinalデータ・メンバーを説明する例を示します.

//: c06:FinalData.java
// The effect of final on fields.
import com.bruceeckel.simpletest.*;
import java.util.*;

class Value {
	int i; // Package access

	public Value(int i) {
		this.i = i;
	}
}

public class FinalData {
	private static Test monitor = new Test();
	private static Random rand = new Random();
	private String id;

	public FinalData(String id) {
		this.id = id;
	}

	// Can be compile-time constants:
	private final int VAL_ONE = 9;
	private static final int VAL_TWO = 99;
	// Typical public constant:
	public static final int VAL_THREE = 39;
	// Cannot be compile-time constants:
	private final int i4 = rand.nextInt(20);
	static final int i5 = rand.nextInt(20);
	private Value v1 = new Value(11);
	private final Value v2 = new Value(22);
	private static final Value v3 = new Value(33);
	// Arrays:
	private final int[] a = { 1, 2, 3, 4, 5, 6 };

	public String toString() {
		return id + ": " + "i4 = " + i4 + ", i5 = " + i5;
	}

	public static void main(String[] args) {
		FinalData fd1 = new FinalData("fd1");
		// ! fd1.VAL_ONE++; // Error: can't change value
		fd1.v2.i++; // Object isn't constant!
		fd1.v1 = new Value(9); // OK -- not final
		for (int i = 0; i < fd1.a.length; i++)
			fd1.a[i]++; // Object isn't constant!
		// ! fd1.v2 = new Value(0); // Error: Can't
		// ! fd1.v3 = new Value(1); // change reference
		// ! 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);
		monitor.expect(new String[] { "%% fd1: i4 = \\d+, i5 = \\d+",
				"Creating new FinalData", "%% fd1: i4 = \\d+, i5 = \\d+",
				"%% fd2: i4 = \\d+, i5 = \\d+" });
	}
} // /:~

 

//: c06:BlankFinal.java
// "Blank" final fields.
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
	// Blank finals MUST be initialized in the constructor:

	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
	}

	public static void main(String[] args) {
		new BlankFinal();
		new BlankFinal(47);
	}
} // /:~

 
データ・メンバーの定義または各コンストラクタでfinalを式で割り当てるように強制されます.これはfinalデータメンバーが使用前に常に初期化される理由です.