기술적으로 말하면 Java는 제네릭을 사용할 때 형식 유추를 가지고 있습니다 . A의 일반적인 방법 과 같은

public <T> T foo(T t) {
  return t;
}

컴파일러는 작성시 분석하고 이해합니다.

// String
foo("bar");
// Integer
foo(new Integer(42));

인수로 입력 된 내용에 따라 첫 번째 호출에 대해서는 문자열이 리턴되고 두 번째 호출에 대해서는 정수가 리턴됩니다. 결과적으로 적절한 컴파일 타임 검사를 받게됩니다. 할 때 또한 자바 7에서, 하나는 추론 몇 가지 추가 유형을 얻을 수있는 인스턴스 제네릭이 너무 좋아

Map<String, String> foo = new HashMap<>();

Java는 우리를 위해 빈 꺾쇠 괄호를 채울만큼 친절합니다. Java가 왜 변수 할당의 일부로 타입 추론 을 지원하지 않습니까? 한 시점 에서 변수 선언에 형식 유추에 대한 RFE 가 있었지만 “수정하지 않음”으로 닫혔습니다.

인간은 두 가지 방식으로 형식 선언의 중복성으로부터 혜택을받습니다. 먼저, 중복 유형은 유용한 문서 역할을합니다. 독자는 getMap () 선언을 검색하여 반환되는 유형을 찾을 필요가 없습니다. 둘째, 이중화를 통해 프로그래머는 의도 된 유형을 선언 할 수 있으므로 컴파일러가 수행 한 교차 점검의 이점을 얻을 수 있습니다.

이것을 닫은 기고자는 또한 그것이 “비자 바와 같지 않다”고 느끼며 이것이 내가 동의하는 것이라고 언급했다. 자바의 장황함은 축복이자 저주가 될 수 있지만 언어를 그대로 만들어줍니다.

물론 그 특정 RFE는 그 대화의 끝이 아니 었습니다. Java 7 동안이 기능은 다시 고려 되었으며 James Gosling의 테스트 구현을 포함하여 일부 테스트 구현이 작성되었습니다. 다시 말하지만이 기능은 결국 중단되었습니다.

Java 8이 출시되면서 이제 람다의 일부로 형식 유추를 얻습니다.

List<String> names = Arrays.asList("Tom", "Dick", "Harry");
Collections.sort(names, (first, second) -> first.compareTo(second));

자바 컴파일러 방법을보고 할 수있는 Collections#sort(List<T>, Comparator<? super T>)다음의 인터페이스 Comparator#compare(T o1, T o2)및 그 결정 first과 secondA가되어야 String하므로 프로그래머 람다 표현 유형을 재 작성하는 것을 포기 수.

답변

Collection<String> names = new ArrayList<>();

var names = new ArrayList<String>();

ArrayList<String> names = new ArrayList<String>();