Existe-t-il un moyen d'implémenter des types algébriques en Java?

Question

Est-il possible, en Java, de faire en sorte qu'une classe ait un ensemble spécifique de sous-classes et pas d'autres? Par exemple:

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

Puis-je appliquer une certaine façon qu'aucune autre sous-classes de A peut jamais être créé?

Answer 1

Donner la classe A un constructeur avec l'accessibilité au niveau du package (et aucun autre constructeur).

^{Merci, Dave L., pour le peu d'autres constructeurs.}

Answer 2

Vous pouvez placer les classes A, B, C, D dans un package séparé et rendre la classe A non publique.

Answer 3

Vous voulez probablement une énumération (Java> = 1.5). Un type enum peut avoir un ensemble de valeurs fixes. Et il a tous les avantages d'une classe: ils peuvent avoir des champs et des propriétés, et peuvent leur faire implémenter une interface. Une énumération ne peut pas être étendue.

Exemple:

enum A { 

    B, 
    C, 
    D; 

    public int someField; 

    public void someMethod() { 
    } 


}