generics java hiệp phương sai

Question

tôi đang gặp khó khăn tìm hiểu bài viết sau: http://www.ibm.com/developerworks/java/library/j-jtp01255.html

Dưới,

Generics không hiệp biến

các bang tác giả,

Vì ln là Danh sách, thêm Float cho nó có vẻ hoàn toàn hợp pháp. Nhưng nếu ln được gán bí danh với li, thì sẽ phá vỡ lời hứa an toàn loại ẩn trong định nghĩa li - rằng đó là danh sách các số nguyên, trong đó là lý do loại chung không thể là .

Tôi không thể hiểu được phần mà nó nói "nếu ln được đặt bí danh với li". Tác giả có nghĩa là gì bằng bí danh? (Tham chiếu?). Đoạn mã trên dòng được trích dẫn dường như minh họa WHAT là bất hợp pháp trong java và không phải TẠI SAO. Nó sẽ rất hữu ích cho tôi nếu ai đó có thể giải thích bằng một ví dụ. Cảm ơn trước.

Answer 1

List<Integer> li = new ArrayList<Integer>(); 
List<Number> ln = li; // illegal 
ln.add(new Float(3.1415)); 

Trong Java, Integer thừa hưởng từ Số (java.lang.Number), vì vậy bằng trực giác, bất cứ điều gì đó là một Integer (java.lang.Integer) cũng là một con số, nhưng những gì bài viết mà chỉ ra là với Generics nó không hoạt động theo cách đó, vì xem xét rằng ví dụ, bạn có thể kết thúc đặt một phao (là một số) vào một List<Integer>, đó là bất hợp pháp vì một phao không phải là một số nguyên.

Kết luận: Generics không phải là biến thể.

Lưu ý: Tôi khuyên bạn nên đọc Java hiệu quả (Ấn bản thứ hai) Chương 5: Generics.

Answer 2

Nếu bạn có thể làm một cái gì đó như thế này:

List<Float> foo; 
List<Object> bar; 

foo = new ArrayList<Float>(); 
bar = foo; 

foo.add(1.0f); 
bar.add("Hello"); 

mọi thứ sẽ đi RẤT sai. Trong thanh ví dụ này là một bí danh cho foo, và nếu bạn có thể làm điều đó bạn sẽ mất an toàn kiểu là lý do chính mà generics tồn tại.

Answer 3

public class vechicle { 
void drive(){ 
} 
} 
class car extends vechicle{ 
     //Covariance 
    vechicle getObject(){ 
     return new car(); 
    } 
     //contravariance 
    car getmyObject(){ 
     return (car) new vechicle(); 
    } 
}