[java] Map.get (Object key)이 (완전히) 일반이 아닌 이유는 무엇입니까

나는 Generics Tutorial 의이 섹션에서 상황을 설명한다고 생각합니다 (내 강조).

“일반 API가 지나치게 제한적이지 않아야합니다. API의 원래 계약을 계속 지원해야합니다. java.util.Collection의 예제를 다시 고려하십시오. 일반적인 API는 다음과 같습니다.

interface Collection {
  public boolean containsAll(Collection c);
  ...
}

그것을 생성하려는 순진한 시도는 다음과 같습니다.

interface Collection<E> {
  public boolean containsAll(Collection<E> c);
  ...
}

이것은 확실히 유형 안전하지만 API의 원래 계약을 준수하지는 않습니다.
containsAll () 메서드는 모든 종류의 들어오는 컬렉션에서 작동합니다. 들어오는 컬렉션에 실제로 E 인스턴스 만 포함 된 경우에만 성공하지만 다음과 같습니다.

• 들어오는 컬렉션의 정적 형식은 호출자가 전달되는 컬렉션의 정확한 형식을 알지 못하거나 컬렉션이 Collection <S>이고 S가 E의 하위 유형이기 때문에 다를 수 있습니다.
• 다른 유형의 컬렉션으로 containsAll ()을 호출하는 것이 합법적입니다. 이 루틴은 작동해야하며 false를 반환합니다. “

답변

HashMap<String, Integer> h =
  new HashMap<String, Integer>(Equal.stringEqual, Hash.stringHash);

h.add("one", 1);

h.get("one"); // All good

h.get(Integer.valueOf(1)); // Compiler error