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);
    }
}

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

我理解外部客户端在没有公共/受保护构造函数的情况下将其子类化是不可能的，但是不理解术语“多包私有实现类”所传达的内容＆＃ 39;

注意：这是有效Java中的第15项（最小化可变性）。

Answer 1

据我记得约书亚然后谈到EnumSet（但我不记得他提到的背景）。

EnumSet是抽象的，还有静态方法of，noneOf等。有两个类EnumSet：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);
}

这是多个包私有实现

Answer 2

如果类被标记为final，则无法对类进行子类化的唯一方法。由于此课程不是final，因此可以进行子类化，如下所示：

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);
    }
}

使用静态工厂的不可变类

2 个答案: