코딩 잘하고 싶어

제네릭은 단일원소 컨테이너에 흔히 쓰인다. (매개변수화할 수 있는 타입의 수가 제한됨) Map 에는 String 타입의 값만 담을 수 있다. 그런데, 다른 타입들도 함께 담고 싶을 때는 어떻게 할까? → 타입 안전 이종 컨테이너 (서로 다른 타입을 하나의 컨테이너에 안전하게 보관) 타입 안전 이종 컨테이너 각 타입의 Class 객체를 매개변수화한 키 역할로 사용하면 된다.(Class가 제네릭이므로 가능) private Map

가변인수와 제네릭 가변인수 메서드와 제네릭은 자바 5때 함께 추가되었지만 잘 어우러지지 않는다. 가변 인수 메서드를 호출하면 가변인수를 담기 위한 배열이 자동으로 하나 만들어진다. 이를 내부로 감춰야했는데 클라이언트에 노출해버려서 제네릭이나 매개변수화 타입이 포함되면 컴파일 경고 발생 실체화 불가 타입(제네릭, 매개변수화 타입)은 런타임에는 컴파일타임보다 타입 관련 정보를 적게 가지고 있음 제네릭과 가변인수를 혼용하면 타입 안전성이 깨진다. //제네릭 varargs 배열 매개변수에 값을 저장하는 것은 안전하지 않다. public void print(List ... stringList){ List intList = List.of(42); Object[] objects = stringList; objects..

매개변수화 타입은 불공변 → List은 List의 하위타입도 상위타입도 아니다. 때로는 불공변 방식보다 유연한 무언가가 필요함 public class Stack { public Stack(); public void push(E e); public E pop(); public boolean isEmpty(); } //일련의 원소를 스택에 넣는 메서드 pushAll //와일드카드 타입을 사용하지 않음 -> 결함 public void pushAll(Iterable src) { for(E e : src) push(e); } 위 메서드는 결함이 있다. src의 원소타입이 스택의 원소 타입과 일치하면 잘 작동하지만, 만약 Stack 원소에 Integer 타입의 src를 넣으면 어떻게 될까? Integer는 Numb..

제네릭 메서드 메서드도 제네릭으로 만들 수 있다. 매개변수화 타입을 받는 정적 유틸리티 메서드는 보통 제네릭 메서드이다. ex) Collections의 binarySearch, sort 메서드 //메서드 선언에서 입력 2개와 반환 1개의 원소 타입을 타입 매개변수로 명시 //선언에서 타입 매개변수 목록은 메서드의 제한자와 반환 타입 사이에 명시 //메서드 안에서도 이 타입 매개변수만 사용 public static set union(Set s1, Set s2) { Set result = new HashSet(s1); result.addAll(s2); return result; } 불변 객체를 여러 타입으로 활용해야할 때 제네릭은 런타임에 타입 정보가 소거되기 때문에 하나의 객체를 어떤 타입으로든 매개변수화..

//Object 기반 스택 public class Stack { private Object[] elements; private int size = 0; private static final int DEFAULT_INITIAL_CAPACITY = 16; public Stack() { elements = new Object[DEFAULT_INITIAL_CAPACITY]; } public void push(Object e) { ensureCapacity(); elements[size++] = e; } public Object pop() { if(size == 0) throw new EmptyStackException(); Object result = elements[--size]; elements[size] ..

배열과 제네릭의 차이 1) 배열은 공변(함께 변한다)이다. → Sub가 Super의 하위타입이면 Sub[]는 Super[]의 하위타입이 된다. 제네릭은 불공변이다. → 서로 다른 Type1, Type2 가 있으면 List은 List의 하위타입도 상위타입도 아니다. //배열 : 런타임 오류 -> 문제가 있다! Object[]objectArray = new Long[1]; objectArray[0] = "타입이 달라 넣을 수 없다."; // ArrayStoreException을 던진다. //제네릭 : 컴파일 오류 List ol = new ArrayList(); // 호환되지 않는 타입이다. ol.add("타입이 달라 넣을 수 없다."); 2) 배열은 실체화된다. 배열은 런타임에도 자신이 담기로 한 원소의 타..

제네릭 사용시에 컴파일러 경고를 많이 보게 될 것이다. (비검사 경고) 대부분의 비검사 경고는 쉽게 제거할 수 있다. 할수 있는한 모든 비검사 경고를 제거하라. 그러면 타입 안전성이 보장된다. 비검사 경고 예시 Set set = new HashSet(); 위 코드는 구현체 타입을 명확히 작성하지 않고 HashSet 객체를 생성하고 있다. 이는 컴파일러가 아래와 같이 경고를 한다. Set set = new HashSet(); ^ required: Set found: HashSet 컴파일러가 알려준대로 수정하면 경고가 사라지지만, 자바7부터 다이아몬드 연산자()를 지원하기 때문에 그걸로 해결할 수 있다. 다이아몬드 연산자를 사용하면 컴파일러가 올바른 실제 타입 매개변수를 추론해준다. Set set = new..

클래스와 인터페이스 선언에 타입 매개변수가 쓰이면 제네릭 클래스나 제네릭 인터페이스라 한다. 이들을 제네릭 타입이라고 한다. 로 타입 (raw type) 제네릭 타입을 하나 정의하면 그에 딸린 로 타입(raw type) 도 함께 정의된다. 제네릭 타입에서 타입 매개변수를 사용하지 않을 때를 로 타입이라고 한다. ex) List의 로 타입은 List 로 타입을 사용하면 안되는 이유 로 타입은 사용하지 않는 것이 좋다. //Raw type private final Collection stamps = ...; // Stamp 인스턴스만 취급한다. stamps.add(new Coin(...)) // Coin 인스턴스를 add() 한다면 "unchecked call" 경고를 내뱉는다. 위 코드는 컴파일 오류 없이..