java - Bloch の効果的な Java 第 2 版における定数フィールドの定義

Question

見積もり：

static final フィールドに変更可能な参照型がある場合、参照されるオブジェクトが不変であれば、定数フィールドになることができます。

これが何を意味するのかわかりません。誰かがその例を挙げることができますか?

Answer 1

不変のサブタイプを持つ可変型を持つことができます。

class Mutable {}  // Not immutable, because it can be extended.

final class Immutable extends Mutable {}

// Reference type is mutable, but referenced object is immutable.
static final Mutable CONSTANT = new Immutable();