¿Hay alguna manera de implementar tipos algebraicos en Java?

Question

¿Es posible, en Java, exigir que una clase tenga un conjunto específico de subclases y ninguna otra? Por ejemplo:

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

¿Puedo de alguna manera hacer cumplir que ninguna otra subclase de A puede ser creada?

Answer 1

Proporcione la clase A un constructor con accesibilidad a nivel de paquete (y ningún otro constructor).

^{Gracias, Dave L., por lo de no hay otros constructores.}

Answer 2

Puede poner las clases A, B, C, D en un paquete separado y hacer que la clase A no sea pública.

Answer 3

Probablemente desee una enumeración (Java> = 1.5). Un tipo enum puede tener un conjunto de valores fijos. Y tiene todas las ventajas de una clase: pueden tener campos y propiedades, y pueden hacer que implementen una interfaz. Una enumeración no puede ser extendida.

Ejemplo:

enum A { 

    B, 
    C, 
    D; 

    public int someField; 

    public void someMethod() { 
    } 


}