왜 정의되지 않은 제네릭 형식 컬렉션은 다른 클래스에 바인딩되어 있어도 Object를 기본값으로 사용합니까?

Question

class Test<G extends String>{ 
    public G test(){return null;} 
    public List<G> tests(){return new ArrayList<>();} 
} 
public void doTest(Test t){ 
    //works fine 
    String str = t.test(); 
    //Compile error: expected String found Object 
    str = t.tests().iterator().next(); 
} 

Type G가 String 하위 클래스에 바인딩되었으므로 마지막 줄에서 Object 대신 String 인스턴스를 반환하고 싶습니다. 캐스팅 이외의 다른 방법이 있습니까?

Answer 1

아니요, 유형이 지워졌습니다. 당신은 유형의 삭제에 대한 두 가지 다른 규칙으로 실행하고 - JLS section 4.6에서 :

• 파라미터 화 된 형태의 삭제 (§4.5) G는 | | G.
• 유형 변수 (§4.4)의 지우기는 가장 왼쪽 경계의 지우기입니다.

그래서 List<G>의 삭제는 List이지만, G의 삭제는 String이다 - 최초의 할당이 작동하는 이유입니다.

컴파일이 코드를 얻기 위해해야 ​​할 일은 당신의 매개 변수에 와일드 카드를 사용할 수 있습니다 :

public void doTest(Test<?> t)