consumers super 썸네일형 리스트형 제네릭, 그리고 변성(Variance)에 대한 고찰 (1) - Java 공변 가령, 타입 `S`와 `T`가 있고, `T` 는 `S` 의 하위 타입이라고 하자. 특정 컨테이너 `C` 에 먼저 언급한 타입을 타입 파라메터로 전달한 제네릭, `C` 는 `C` 의 하위 타입인가? 이것이 성립되면 해당 언어는 공변적이라고 한다. 자바를 생각해보자. 자바는 애초에 공변, 반공변을 지원하지 않지만, 지원하는 것처럼(?) 보여주는 컴파일러 트릭을 사용한다. ` 더보기 이전 1 다음