Bruce Eckel의 "Thinking in Java"의이 제네릭 예제가 잘못 되었습니까?

Question

"Thinking in java"의 제네릭 장을 읽었습니다. 이 프로그램은 아래에 있습니다. 아래

public class GenericWriting { 
    static <T> void writeExact(List<T> list, T item) { 
     list.add(item); 
    } 
    static List<Apple> apples = new ArrayList<Apple>(); 
    static List<Fruit> fruit = new ArrayList<Fruit>(); 
    static void f1() { 
     writeExact(apples, new Apple()); 
     // writeExact(fruit, new Apple()); // Error:------------------line 1 
     // Incompatible types: found Fruit, required Apple 
    } 
    static <T> void writeWithWildcard(List<? super T> list, T item) { 
     list.add(item); 
    } 
    static void f2() { 
     writeWithWildcard(apples, new Apple()); 
     writeWithWildcard(fruit, new Apple()); 
    } 
    public static void main(String[] args) { f1(); f2(); } 
} 

는 writeExact() 메소드는 정확한 매개 변수 유형 (와일드 카드)를 사용한다 "말했다. F1()에서 당신 만 List<Apple>에 애플을 넣어이 미세 오래 작동하는지 확인할 수 있습니다. 그러나 writeExact()를 사용하면 가능해야한다고 알고 있더라도 List<Fruit>에 Apple을 넣을 수 없습니다. "

하지만 줄 1의 주석을 제거하고 실행하면 문제가 없습니다. 아무도 나를 잘못한 곳에서 도울 수 있습니까?

Answer 1

다형성 지정은 기본 유형에만 적용되고 제네릭 유형 매개 변수에는 적용되지 않습니다. 당신은 당신은 말할 수 없다

List<Animal> aList = new ArrayList<Animal>(); // yes 

말할 수

List<Animal> aList = new ArrayList<Dog>(); // no 

와일드 카드 구문은 일반적인 방법은, 메소드 인수의 선언 형의 아형 (또는 슈퍼 타입) 받아 들일 수 있습니다 :

void addD(List<Dog> d) {} // can take only <Dog> 
void addD(List<? extends Dog>) {} // take a <Dog> or <Beagle> 

을

와일드 카드 List<? extends Dog>을 사용하는 경우 컬렉션은 액세스 할 수는 있지만 수정되지는 않습니다. 일 수 있습니다.

Answer 2

그러나 writeExact()은 해당이 가능해야한다 알면서도, 당신은 List<Fruit> 내로 Apple를 넣을 수 없습니다.

올바르지 않습니다. writeExact은 Apple을 List<Fruit>에 넣을 수 있습니다. <T>은 Fruit으로 추정되고 Apple (아마도)은 Fruit의 하위 유형입니다.

책이 작성된 Java 버전을 확인해야합니다. 자바의 오래된 버전에서는 컴파일러의 추측이 적기 때문에 컴파일되지 않을 수도 있습니다. 그렇지 않으면 책에 오류가 있습니다.

이것은 내가 확인할 수있는 Java 6+에서 컴파일됩니다.

Answer 3

는 당신이 사람들이 어떤 들여 쓰기를 사용하는 종류의 충분, 코드를 읽을 수 있도록하려면 저자 대신 라인 static List<Fruit> fruit = new ArrayList<Fruit>(); 이 static List<? extends Fruit> fruit = new ArrayList<Fruit>();