有没有一种方法可以在Java中实现代数类型？

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

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

Answer 3

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

实施例：

enum A { 

    B, 
    C, 
    D; 

    public int someField; 

    public void someMethod() { 
    } 


}