Phương pháp chung kích hoạt lỗi an toàn loại - tại sao?

Question

Trong khi chơi xung quanh với các giải pháp cho this question, tôi đã đưa ra đoạn mã sau, trong đó có một số cảnh báo trình biên dịch. Một cảnh báo là:

Type safety: The expression of type Test.EntityCollection needs unchecked conversion to conform to Test.EntityCollection<Test.Entity>

tôi không hoàn toàn hiểu tại sao cảnh báo này xuất hiện. Bằng cách chuyển một loại Class<M> và khai báo phương thức trả về EntityCollection<M>, tại sao tôi không làm đủ để thuyết phục trình biên dịch (Java 7) rằng kiểu chính xác đang được trả về?

static class Entity { 
} 

static class EntityCollection<E extends Entity> { 

    private EntityCollection(HashMap<?, E> map) { 
    } 

    public static <T extends HashMap<?, M>, M extends Entity> EntityCollection<M> getInstance(
      Class<T> mapType, Class<M> entityType) 
      throws ReflectiveOperationException { 

     T map = mapType.getConstructor().newInstance(); 
     return new EntityCollection<M>(map); 
    } 
} 

public static void main(String[] args) throws Exception { 
    // both compiler warnings are on the line below: 
    EntityCollection<Entity> collection = EntityCollection.getInstance(
      LinkedHashMap.class, Entity.class); 
} 

Điểm thưởng nếu có ai có thể cải thiện mã để tránh hoàn toàn cảnh báo. Tôi đã nhìn chằm chằm vào nó trong một thời gian và đã không mơ ước bất kỳ cách nào để giảm bớt các cảnh báo.

Answer 1

Vấn đề là getInstance là một phương pháp chung nhưng bạn không chuyển các tham số kiểu chung cho nó. Bạn có thể khắc phục nó bằng cách đi qua chúng như thế này:

public static void main(String[] args) throws Exception { 
     EntityCollection<Entity> collection = EntityCollection.<LinkedHashMap, Entity>getInstance(
       LinkedHashMap.class, Entity.class); 
    } 

Bạn vẫn sẽ phải đối phó một rawtypes cảnh báo vì LinkedHashMap là một kiểu generic. Đây là vấn đề trong trường hợp của bạn vì có một ký tự đại diện trong loại khóa.

Bạn phải đối mặt với một số vấn đề ở đây:

Bạn không thể vượt qua đối tượng lớp tham số như thế này: LinkedHashMap<Object, Entity>.class vì vậy bạn có khá nhiều khó khăn với rawtypes cảnh báo.

Answer 2

Vấn đề là T. Bạn đang thêm một ràng buộc vào phương pháp của bạn nói rằng T nên mở rộng HashMap<?, M>. Tuy nhiên, cách bạn sau này tham chiếu đến T giống như một tham số chung của loại Class (Class<T>). LinkedHashMap.class là loại Class<LinkedHashMap> không phải Class<LinkedHashmap<?, Entity>> (đó là những gì bạn cần)

Đối tượng Lớp luôn tham chiếu loại không được tham số hóa và điều đó có ý nghĩa. Vì ràng buộc chung tồn tại trong thời gian biên dịch, và bạn sẽ sử dụng Lớp đó để phản ánh động trạng thái và hành vi của một cá thể trong thời gian chạy. Dài câu chuyện ngắn, bạn có thể sử dụng một Class<HashMap> để xây dựng một trường hợp mới, không bị ràng buộc với bất kỳ loại nào.

Vì vậy, tôi đoán những gì bạn cần làm để mã của bạn để thay đổi điều đó hạn chế trong hình thức của nó như sau:

public static <T extends HashMap, M extends Entity> EntityCollection<M> getInstance(
      Class<T> mapType, Class<M> entityType) 
      throws ReflectiveOperationException { 

     T map = mapType.getConstructor().newInstance(); 
     return new EntityCollection<M>(map); 
}