Tại sao chữ Java enum không thể có các tham số kiểu chung?

Java enum là tuyệt vời. Thuốc generic cũng vậy. Tất nhiên tất cả chúng ta đều biết những hạn chế sau này vì loại tẩy xóa. Nhưng có một điều tôi không hiểu, Tại sao tôi không thể tạo ra một enum như thế này:

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

Lần <T>lượt tham số loại chung này có thể hữu ích ở nhiều nơi. Tưởng tượng một tham số kiểu chung cho một phương thức:

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

Hoặc thậm chí trong lớp enum:

public T convert(Object o);

Ví dụ cụ thể hơn # 1

Vì ví dụ trên có vẻ quá trừu tượng đối với một số người, đây là một ví dụ thực tế hơn về lý do tại sao tôi muốn làm điều này. Trong ví dụ này tôi muốn sử dụng

• Enums, bởi vì sau đó tôi có thể liệt kê một bộ khóa thuộc tính hữu hạn
• Generics, bởi vì sau đó tôi có thể có loại an toàn ở mức phương thức để lưu trữ các thuộc tính

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

Ví dụ cụ thể hơn # 2

Tôi có một bảng liệt kê các loại dữ liệu:

public interface DataType<T> {}

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

Mỗi enum nghĩa đen rõ ràng sẽ có các thuộc tính bổ sung dựa trên loại chung <T>, đồng thời, là một enum (bất biến, đơn lẻ, liệt kê, v.v.)

Câu hỏi:

Không ai nghĩ về điều này? Đây có phải là một hạn chế liên quan đến trình biên dịch? Xem xét thực tế, từ khóa " enum " được triển khai dưới dạng đường cú pháp, đại diện cho mã được tạo cho JVM, tôi không hiểu giới hạn này.

Ai có thể giải thích điều này cho tôi? Trước khi bạn trả lời, hãy xem xét điều này:

• Tôi biết các loại chung chung bị xóa :-)
• Tôi biết có cách giải quyết bằng cách sử dụng các đối tượng Class. Họ là cách giải quyết.
• Các kiểu chung dẫn đến các kiểu kiểu trình biên dịch được tạo ở bất cứ nơi nào có thể áp dụng (ví dụ: khi gọi phương thức convert ()
• Loại chung <T> sẽ có trên enum. Do đó, nó bị ràng buộc bởi mỗi chữ của enum. Do đó trình biên dịch sẽ biết, nên áp dụng kiểu nào khi viết một cái gì đó nhưString string = LITERAL1.convert(myObject); Integer integer = LITERAL2.convert(myObject);
• Điều tương tự áp dụng cho tham số loại chung trong T getvalue()phương thức. Trình biên dịch có thể áp dụng kiểu truyền khi gọiString string = someClass.getValue(LITERAL1)

Điều này hiện đang được thảo luận kể từ Enum tăng cường JEP-301 . Ví dụ được đưa ra trong JEP là, đó chính xác là những gì tôi đang tìm kiếm:

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

Thật không may, JEP vẫn đang phải vật lộn với các vấn đề quan trọng: http://mail.openjdk.java.net/pipermail/amber-spec-experts/2017-May/000041.html

Câu trả lời là trong câu hỏi:

vì loại tẩy

Không có phương thức nào trong hai phương thức này là có thể, vì kiểu đối số bị xóa.

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

Tuy nhiên, để nhận ra các phương thức đó, bạn có thể xây dựng enum của mình như sau:

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

    private Class<?> clazz;

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

    ...

}

Bởi vì bạn không thể. Nghiêm túc. Điều đó có thể được thêm vào thông số ngôn ngữ. Nó đã không được. Nó sẽ thêm một số phức tạp. Lợi ích đó đối với chi phí có nghĩa là nó không phải là ưu tiên cao.

Cập nhật: Hiện đang được thêm vào ngôn ngữ trong JEP 301: Enums nâng cao .

Có các phương pháp khác trong ENUM sẽ không hoạt động. Sẽ ra saoMyEnum.values() trở lại?

Thế còn MyEnum.valueOf(String name) ?

Đối với valueOf nếu bạn nghĩ rằng trình biên dịch có thể tạo phương thức chung như

công khai tĩnh MyEnum valueOf (Tên chuỗi);

để gọi nó như thế MyEnum<String> myStringEnum = MyEnum.value("some string property"), điều đó cũng không hoạt động. Ví dụ nếu bạn gọi MyEnum<Int> myIntEnum = MyEnum.<Int>value("some string property")? Không thể thực hiện phương thức đó để hoạt động chính xác, ví dụ như ném ngoại lệ hoặc trả về null khi bạn gọi nó như thế MyEnum.<Int>value("some double property")vì xóa kiểu.

Thành thật mà nói đây có vẻ như là một giải pháp trong việc tìm kiếm một vấn đề hơn bất cứ điều gì.

Toàn bộ mục đích của java enum là mô hình liệt kê các thể hiện loại chia sẻ các thuộc tính tương tự theo cách cung cấp tính nhất quán và phong phú vượt ra ngoài các biểu diễn Chuỗi hoặc Số nguyên so sánh.

Lấy một ví dụ về một cuốn sách văn bản enum. Điều này không hữu ích hoặc nhất quán:

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

Tại sao tôi muốn các hành tinh khác nhau của mình có các chuyển đổi loại chung khác nhau? vấn đề gì nó giải quyết? Liệu nó biện minh cho việc làm phức tạp ngữ nghĩa ngôn ngữ? Nếu tôi cần hành vi này là một enum công cụ tốt nhất để đạt được nó?

Ngoài ra, bạn sẽ quản lý các chuyển đổi phức tạp như thế nào?

ví dụ

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

Nó đủ dễ dàng String Integerđể cung cấp tên hoặc thứ tự. Nhưng thuốc generic sẽ cho phép bạn cung cấp bất kỳ loại nào. Làm thế nào bạn sẽ quản lý việc chuyển đổi sang MyComplexClass? Bây giờ, bạn tạo ra hai cấu trúc bằng cách buộc trình biên dịch biết rằng có một tập hợp con giới hạn của các loại có thể được cung cấp cho các enum chung và đưa ra sự nhầm lẫn bổ sung cho khái niệm (Generics) dường như đã lảng tránh rất nhiều lập trình viên.

Becasue "enum" là tên viết tắt của liệt kê. Nó chỉ là một tập hợp các hằng số được đặt tên thay cho các số thứ tự để làm cho mã dễ đọc hơn.

Tôi không thấy ý nghĩa dự định của hằng số tham số loại có thể là gì.

Tôi nghĩ bởi vì về cơ bản, Enums không thể được kích hoạt

Bạn sẽ đặt lớp T ở đâu, nếu JVM cho phép bạn làm như vậy?

Bảng liệt kê là dữ liệu được cho là luôn giống nhau hoặc ít nhất là nó sẽ không thay đổi về mặt thực tế.

MyEnum mới <> ()?

Tuy nhiên, cách tiếp cận sau đây có thể hữu ích

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;
    }   
}