오버라이드 (override) 제네릭 메소드

Question

JLS (Java Language Specification)에서 : 서브 서명의 개념은 서명이 동일하지 않지만 다른 하나를 대체 할 수있는 두 메소드 간의 관계를 표현하도록 설계되었습니다. 특히 서명이 제네릭 형식을 사용하지 않는 메서드가 해당 메서드의 생성 된 버전을 재정의 할 수있게합니다. 처음 3 가지 방법이 잘 작동하는 이유

interface CollectionConverter<U> { 
    <T> List<T> toList(Collection<T> c); 

    void fooMethod(Class<?> c); 

    <E>Comparable<E> method3(E e); 

    Comparable<U> method4(U u); 
} 

class Overrider implements CollectionConverter<Integer> { 
    @Override 
    public List toList(Collection c) { 
     return null; 
    } 

    @Override 
    public void fooMethod(Class c) { 

    } 

    @Override 
    public Comparable method3(Object o) { 
     return null; 
    } 

    @Override 
    // compile error, have to change Object to Integer 
    public Comparable method4(Object u) {      

     return null; 
    } 
} 

는 JLS에 따르면, 나는 이해하지만 method4 유형의 Overrider의 방법 method4 (개체) 재정의하거나 구현해야한다고 컴파일 오류가 왜 그것을 알아낼 수 없습니다 슈퍼 타입 메소드.

Answer 1

CollectionConverter에서 method4의 서명은 당신함으로써 Integer에 형식 매개 변수 U 바인딩, CollectionConverter<Integer>을 구현하기 위해 Overrider를 선언

Comparable<U> method4(U u); 

입니다 .

Comparable<Integer> method4(Integer u); 

당신은 method4(Object u)Overrider에서 선언 할 수 있지만, 그 방법 서명은 인터페이스에 지정된 method4(Integer u)을 무시하지 않는다 당신은 모든 제네릭을 사용하지 않은 경우는 것보다 더 : 서명은 다음이된다.

Answer 2

인터페이스에서 method4는 인터페이스 (U)와 동일한 유형 매개 변수로 선언 되었기 때문에 그것을 다른 것으로 변경하면 효과가 있습니다. 예

<A> Comparable<A> method4(A a); 

Answer 3

시킨 문제

는 U 가변 타입 Integer 그 시점에서 결합된다. 당신이

public Comparable method4(Integer u) ... 

에 선언을 변경하는 경우는 오버라이드에게 있습니다