이름 충돌 제네릭 클래스

Question

내가 다음 코드를 얻을 이름 충돌 오류 이해하려고 노력 중이 야의 방법 오버라이드 (override) 할 때 :

import java.util.*; 
import javax.swing.*; 

class Foo<R extends Number> { 
    public void doSomething(Number n, Map<String, JComponent> comps) { 
    } 
} 

class Bar extends Foo { 
    public void doSomething(Number n, Map<String, JComponent> comps) { 
    } 
} 

오류 메시지 :

error: name clash: doSomething(Number,Map<String,JComponent>) in Bar and doSomething(Number,Map<String,JComponent>) in Foo have the same erasure, yet neither overrides the other

내가 해결할 수 알을 그것은 Foo에서 제네릭 형식을 제거하거나 Bar 선언을 class Bar extends Foo<Integer>으로 변경하면됩니다. 내가 알고 싶은 것은이 오류가 특정 경우에 발생하는 이유이지만 각 방법에서 comps 매개 변수를 제거하면 사라집니다. 나는 type erasure에 대해 약간의 독서를 해왔지만 두 가지 방법 모두 제네릭의 유무와 상관없이 동일한 삭제가 있어야하며 따라서 두 경우 모두에서 유효한 무시가되어야합니다. (나는 어디에서나 generic 파라미터를 사용하지 않았다. 그래서 놀랍다.)

나는 부모 클래스에 제네릭 타입을 추가했음을 알고 있지만, 서브 클래스에 대한 경고 만 받았다. 오류가 아닙니다. 누구든지이 시나리오를 설명 할 수 있습니까?

Answer 1

Luiggi is right in the comments. 이것은 raw types의 결과입니다.

The supertype of a class may be a raw type. Member accesses for the class are treated as normal, and member accesses for the supertype are treated as for raw types. In the constructor of the class, calls to super are treated as method calls on a raw type.

이 사항은 수퍼 유형 메소드를 호출 할 때 적용되지만, 또한이를 대체 할 때 적용됩니다. 예를 들어

는

테이크, 당신이 HashMap<Number, String>이 Map<String, JComponent>에 할당 할 수있는 타입이 아닌 경우에도, 그것은 컴파일 것을 알 수 있습니다

class Bar extends Foo { 
    public Bar() { 
     doSomething(1, new HashMap<Number, String>()); 
    } 
} 

를 다음과 같습니다.

The type of a constructor (§8.8), instance method (§8.4, §9.4), or non-static field (§8.3) of a raw type C that is not inherited from its superclasses or superinterfaces is the raw type that corresponds to the erasure of its type in the generic declaration corresponding to C .

을 (. 우리의 경우 그 C이 Bar 참고) 그리고 메소드를 오버라이드 (override) 할 때 같은 일이 발생합니다. Foo#doSomething(..) 메소드를 오버라이드 (override)하려고 할 때, 당신의 Bar 클래스는 실제로보고있다가 즉

public void doSomething(Number n, Map comps) { 
} 

로 선언, 형식 매개 변수의 모든 사용은 삭제됩니다. 그래서 하위 Bar의 방법을

public void doSomething(Number n, Map<String, JComponent> comps) { 
} 

를 선언하려고 실제로하지 과부하를 오버라이드 (override)에서 시도이다. 그리고 이것은 유형 삭제 때문에 실패합니다. 당신은 원시`Foo`을 확장하고

• What is a raw type and why shouldn't we use it?