Tại sao có thể chuyển nhượng từ một loại cho cùng một nhu cầu kiểm tra?

Question

Tôi đang chạy Mã Analyzer IntelliJ của (IntelliJ 11.1.4) trên một lớp và đang nhận được cảnh báo này:

không được kiểm soát công việc: 'java.util.List' thành 'java.util.List'

mã nó than phiền về là:

List<String> targetDocumentIds = pepperWorkflowInstance.getTargetDocumentIds(); 

Để tham khảo:

public class PepperWorkflowInstance<T extends PepperWorkflowInstanceData> implements Serializable { 

    private List<String>   targetDocumentIds = new ArrayList<String>(); 
    ... 
    public List<String> getTargetDocumentIds() { 
     return targetDocumentIds; 
    } 
    ... 
} 

Vì vậy, các loại phù hợp ... vậy tại sao tôi cần phải 'kiểm tra' nhiệm vụ?

Answer 1

Nếu pepperWorkflowInstance là siêu lớp, trong đó loại thô được sử dụng làm loại trả về, thì có thể tạo thông báo đó.

Ví dụ.

class A{ 
    public List getTargetDocumentIds(){ 
     return new ArrayList(); 
    } 
} 

class B extends A{ 
    public List<String> getTargetDocumentIds(){ 
     return new ArrayList<String>(); 
    } 
} 

public class Tester { 

    public static void main(String[] args) { 
     A a = new B(); 
     List<String> targetDocumentIds = a.getTargetDocumentIds(); 
     // above produces compiler type safety warning       
    } 
} 

Answer 2

Hãy chắc chắn rằng pepperWorkflowInstance có tham số:

pepperWorkflowInstance = new PepperWorkflowInstance<SomeClass>(); 

Xem IDEA-6254.