使用静态工厂的不可变类

Question

我正在研究Joshua Bloch的Effective Java，他在书中解释了实现不可变类的不同方法。为了防止子类化，一种方法是使用 final。更复杂的方法是使构造函数私有，从而防止外部访问，并使用静态工厂创建对象。

但是，我不明白这个说法：

public class Complex {
    private final double re;
    private final double im;

    private Complex(double re, double im) {
        this.re = re;
        this.im = im;
    }

    public static Complex valueOf(double re, double im) {
        return new Complex(re, im);
    }
}

它最灵活，因为它允许使用多个包私有实现类。

我知道在没有公共/受保护的构造函数的情况下，外部客户端不可能对其进行子类化，但不了解术语“多包私有实现类”所传达的内容。

注意:这是有效Java中的第15项(最小化可变性)。

Answer 1

如果类被标记为＜code＞final＜/code＞，则类不能被子类化。由于该类不是＜code＞final＜/code＞，因此可以将其子类化，如下所示：

public class Complex {

    private final double re;
    private final double im;

    private Complex(double re, double im) {
        this.re = re;
        this.im = im;
    }

    //methods...

    static class SubComplex1 extends Complex {

        private SubComplex1(double re, double im, double x) {
            super(re, im);
            //more elements...
        }
        //you can define/override methods here
    }

    public static Complex valueOf(double re, double im, double x) {
        return new SubComplex1(re, im, x);
    }
}

Answer 2

据我所知，约书亚随后谈到了EnumSet（但我不记得他提到它的上下文）。

EnumSet是抽象的，也有静态方法、noneOf等。有两个类扩展枚举集：JumboEnumSet和RegularEnumSet。

您不能直接使用它们，因为它们是包专用的（没有public关键字）：

class RegularEnumSet<E extends Enum<E>> extends EnumSet<E>
class JumboEnumSet<E extends Enum<E>> extends EnumSet<E>

java.util 包只能直接使用它们（如果我们不谈论反射或其他一些技术）。

您只需使用ENumSet的静态方法，它会返回您不应该知道的ENumSet的一些子类。

看看 noneOf 方法实现：

public static <E extends Enum<E>> EnumSet<E> noneOf(Class<E> elementType) {
    Enum<?>[] universe = getUniverse(elementType);
    if (universe == null)
        throw new ClassCastException(elementType + " not an enum");

    if (universe.length <= 64)
        return new RegularEnumSet<>(elementType, universe);
    else
        return new JumboEnumSet<>(elementType, universe);
}

下面是多个包私有实现