为什么不可变类中的可变对象是可访问的？[副本]

Question

下面是一个不可变类的示例：

package com.immutable;

public final class ImmutableClass {

    private final int index;
    private final String tStr;
    private final ComplexObj cObj;

    public ImmutableClass(int i, String s, ComplexObj o){
        this.index = i;
        this.tStr  = s;

        ComplexObj cobj = new ComplexObj(o.someVar);
        this.cObj       = cobj;

    }

    public static void main(String[] args) {

        ImmutableClass icls = new ImmutableClass(5,"Hello World",new ComplexObj(100));

        System.out.println(icls.index + " | " + icls.tStr + " | " + icls.cObj.someVar);

        icls.cObj.someVar = 5;

        System.out.println("Second run :" + icls.index + " | " + icls.tStr + " | " + icls.cObj.someVar);

    }
}

下面是ComplexObj类的实现：

package com.immutable;

public class ComplexObj {

    int  someVar;

    public ComplexObj(int i){
        this.someVar = i;
    }
}

当我创建immutableclass的实例时，我正在immutableclass的构造函数中对complexobj进行深度复制，但是我能够通过icls.cobj.somevar更新cobj的值，这种方法破坏了my类的不变性。我在这里做错了什么？

Answer 1

你的不可变类就像一个钛和混凝土的纪念碑。一旦创建，它几乎不会受到破坏。

你的纪念碑上写的是海滩上一个非常漂亮的沙堡的位置。

一个人期望他们充分享受您的纪念碑包括发现，开车到那里，并凝视沙城堡。

另一个人开车过来把城堡夷为平地。

第一个人现在觉得他们的经历被改变了。

第三个人决定就什么是不变的意思进行一场哲学辩论，并说纪念碑根本没有改变：沙堡的那个位置仍然在那里，没有改变。

第一个人和第三个人决定为此打一架。

你告诉我，谁是对的？第一个，还是第三个？

因为它和你的Java密码完全吻合。你就像第一个。谁说‘使一个类最终，每个字段最终，然后那个类的对象将是不可变的’就像第三个。

如果你想让纪念碑的体验不变，那么要么那个沙堡也需要是钛和混凝土的概念，这不是这个纪念碑的建造者可以做到的（你必须要求沙堡的建造者做到这一点），要么你就不需要把非不透水的东西的位置放在那个纪念碑上。

换句话说，如果您希望类是“经验”不可变的，就不要在类中包含非不可变类型的字段--也就是不要包含complexobj类型的字段，或者也使这些字段不可变，即编辑complexobj.java并例如使该字段final。