Question

在Java中，是否有可能强制某个类具有一组特定的子类而没有其他子类？例如：

public abstract class A {}
public final class B extends A {}
public final class C extends A {}
public final class D extends A {}

我能否以某种方式强制执行A的其他子类无法创建？

Answer 1

为类 A 提供具有包级别可访问性的构造函数（并且没有其他构造函数）。

^{谢谢，Dave L.，因为没有其他建设者。}

Answer 2

你可能想要一个枚举（Java＆gt; = 1.5）。枚举类型可以具有一组固定值。它具有类的所有好处：它们可以具有字段和属性，并且可以使它们实现接口。枚举不能扩展。

示例：

enum A {

  B,
  C,
  D;

  public int someField;

  public void someMethod() {
  }


}

Answer 3

您可以将A，B，C，D类放在一个单独的包中，并使A类不公开。

Answer 4

对救援内容进行编码：

public abstract class A {
  public abstract <R> R fold(R b, R c, R d);
}

只有三种实现方式：

public final class B extends A {
  public <R> R fold(R b, R c, R d) {
    return b;
  }
}

public final class C extends A {
  public <R> R fold(R b, R c, R d) {
    return c;
  }
}

public final class D extends A {
  public <R> R fold(R b, R c, R d) {
    return d;
  }
}

有没有办法在Java中实现代数类型？

4 个答案: