如何维护引用可变对象的类的不可变性质？

Question

我很清楚使类成为不可变的规则。但是考虑一下这样的情况：我的A类组成B类。B类在外部jar中，而B类再次组成C和D，即

class A{

  B b;

}

// External library

class B{

  C c;

  D d;

}

class C{

}

class D{

}

如果无法在外部库中修改类，如何使类A不可变？如果外部库中的类是可修改的，则本可以实现可克隆的，但这是不可能的，因为我无法对其进行修改。

Answer 1

您应该创建可变实例的防御性副本：class A {    private final B b;    public A(B b) {        // Create a defensive copy of b        this.b = new B(b);    }}如果B没有提供这样的复制构造函数，则您将需要自己实施防御性复制B。如果您不这样做，我可以将的实例传递B给A，但也可以将该实例的实例保留B给我自己，并在以后根据自己的意愿对其进行变异。

Answer 2

A类不应允许访问任何可变引用。这是您的类示例的样子：class A {  private final B b;  public A(B b) {    this.b = b;  }  // no public access to B reference that's final.  No changing it from the outside.  A is immutable.}类B，C和D来自库。如果给A一个可变的引用并允许其余代码更改B或其C和D子代的状态，则无需执行任何操作。但是，如果您正确构造B并将其委托给A，那么其他人将无法更改其状态。