Java enumリテラルがジェネリック型パラメーターを持つことができないのはなぜですか？

Java列挙型は素晴らしいです。ジェネリックもそうです。もちろん、型消去のために後者の限界を知っています。しかし、理解できないことが1つあります。なぜ、このような列挙型を作成できないのですか。

public enum MyEnum<T> {
    LITERAL1<String>,
    LITERAL2<Integer>,
    LITERAL3<Object>;
}

このジェネリック型パラメーター<T>は、さまざまな場所で役立ちます。メソッドへのジェネリック型パラメーターを想像してください：

public <T> T getValue(MyEnum<T> param);

または列挙クラス自体でも：

public T convert(Object o);

より具体的な例＃1

上記の例は一部にとって抽象的すぎるように見えるかもしれないので、これを行う理由のより現実的な例を次に示します。この例では、使用したい

• 列挙型。プロパティキーの有限セットを列挙できるため
• ジェネリックス。これは、プロパティレベルを格納するためのメソッドレベルの型安全性を持つことができる

public interface MyProperties {
     public <T> void put(MyEnum<T> key, T value);
     public <T> T get(MyEnum<T> key);
}

より具体的な例＃2

データ型の列挙があります：

public interface DataType<T> {}

public enum SQLDataType<T> implements DataType<T> {
    TINYINT<Byte>,
    SMALLINT<Short>,
    INT<Integer>,
    BIGINT<Long>,
    CLOB<String>,
    VARCHAR<String>,
    ...
}

各列挙リテラルには、明らかにジェネリック型に基づいた追加のプロパティがあります <T>、同時に列挙型（不変、シングルトン、列挙可能など）になります。

質問：

誰もこれを考えなかったのですか？これはコンパイラ関連の制限ですか？キーワード「enum」が構文シュガーとして実装され、JVMに対して生成されたコードを表すという事実を考えると、この制限は理解できません。

誰が私にこれを説明できますか？答える前に、これを考慮してください：

• 私はジェネリック型が消去されていることを知っています:-)
• Classオブジェクトを使用する回避策があることを知っています。それらは回避策です。
• ジェネリック型は、該当する場合（たとえば、convert（）メソッドを呼び出すとき）にコンパイラー生成の型キャストになります。
• ジェネリック型<T>は列挙型にあります。したがって、列挙型の各リテラルによってバインドされます。したがって、コンパイラーは、次のようなものを作成するときに適用するタイプを知っています。String string = LITERAL1.convert(myObject); Integer integer = LITERAL2.convert(myObject);
• T getvalue()メソッドのジェネリック型パラメーターにも同じことが当てはまります。コンパイラは、呼び出し時に型キャストを適用できますString string = someClass.getValue(LITERAL1)

これは現在、JEP-301拡張列挙型の時点で議論されています。JEPで示されている例は、まさに私が探していたものです。

enum Argument<X> { // declares generic enum
   STRING<String>(String.class), 
   INTEGER<Integer>(Integer.class), ... ;

   Class<X> clazz;

   Argument(Class<X> clazz) { this.clazz = clazz; }

   Class<X> getClazz() { return clazz; }
}

Class<String> cs = Argument.STRING.getClazz(); //uses sharper typing of enum constant

残念ながら、JEPは依然として重大な問題に取り組んでいます：http : //mail.openjdk.java.net/pipermail/amber-spec-experts/2017-May/000041.html

答えは質問です：

タイプ消去のため

引数の型が消去されるため、これら2つの方法はいずれも使用できません。

public <T> T getValue(MyEnum<T> param);
public T convert(Object);

ただし、これらのメソッドを実現するには、列挙型を次のように作成します。

public enum MyEnum {
    LITERAL1(String.class),
    LITERAL2(Integer.class),
    LITERAL3(Object.class);

    private Class<?> clazz;

    private MyEnum(Class<?> clazz) {
      this.clazz = clazz;
    }

    ...

}

できないから。真剣に。言語仕様に追加することができます。それはされていません。多少複雑になります。コストに対するその利点は、それが高い優先順位ではないことを意味します。

更新：現在、JEP 301：Enhanced Enumsで言語に追加されています。

ENUMには機能しない他のメソッドがあります。何だろうMyEnum.values()返りますか？

どうですか MyEnum.valueOf(String name)ですか？

valueOfについては、コンパイラーが次のようなジェネリックメソッドを作成できると考えている場合

public static MyEnum valueOf（String name）;

のように呼び出すにはMyEnum<String> myStringEnum = MyEnum.value("some string property")、それも機能しません。たとえば、あなたが電話しMyEnum<Int> myIntEnum = MyEnum.<Int>value("some string property")たら？たとえばMyEnum.<Int>value("some double property")、型の消去のため、例外をスローしたり、呼び出し時にnullを返したりするなど、そのメソッドを正しく機能させることはできません。

率直に言って、これは何よりも問題を探す解決策のようです。

java enumの全体的な目的は、類似のプロパティを共有する型インスタンスの列挙をモデル化して、同等の文字列または整数表現よりも一貫性と豊富さを提供することです。

教科書の列挙型の例を見てみましょう。これはあまり有用ではなく、一貫性もありません。

public enum Planet<T>{
    Earth<Planet>,
    Venus<String>,
    Mars<Long>
    ...etc.
}

異なる惑星に異なるジェネリック型変換を持たせたいのはなぜですか？それはどのような問題を解決しますか？言語のセマンティクスを複雑にすることは正当化されますか？この動作が必要な場合、列挙型はそれを達成するための最良のツールですか？

さらに、複雑なコンバージョンをどのように管理しますか？

例えば

public enum BadIdea<T>{
   INSTANCE1<Long>,
   INSTANCE2<MyComplexClass>;
}

String Integer名前または序数を指定するのに十分簡単です。ただし、ジェネリックスを使用すると、任意のタイプを提供できます。への変換をどのように管理しMyComplexClassますか？ここで、ジェネリック列挙型に提供できる型のサブセットが限られていることをコンパイラーに知らせ、2人の構成体をいじくり回して、多くのプログラマーからはすでに見えなくなっている概念（Generics）に混乱をもたらします。

「enum」は列挙の省略形であるためです。これは、コードを読みやすくするために序数の代わりに使用される名前付き定数のセットです。

型パラメーター化された定数の意図された意味が何であるかはわかりません。

基本的に列挙型はインスタンス化できないので

JVMが許可した場合、Tクラスをどこに設定しますか？

列挙は、常に同じであるか、少なくとも動的に変化しないことが想定されているデータです。

新しいMyEnum <>（）？

それでも、次のアプローチは有用かもしれません

public enum MyEnum{

    LITERAL1("s"),
    LITERAL2("a"),
    LITERAL3(2);

    private Object o;

    private MyEnum(Object o) {
        this.o = o;
    }

    public Object getO() {
        return o;
    }

    public void setO(Object o) {
        this.o = o;
    }   
}