[ch12] 지네릭스, 열거형, 어노테이션

[1] 지네릭스

• 개념 : 다양한 타입의 객체들을 다루는 메서드나 컬렉션 클래스에 컴파일 시의 타입체크를 해주는 기능 ⇒ 객체 타입을 컴파일 시, 체크하여 객체 타입 안정성을 높이고 형변환의 번거로움이 줄어듦
  • 타입 안정성을 높인다는 것 == 의도하지 않은 타입의 객체가 저장되는 것을 막음 && 저장된 객체를 꺼내올 때, 원래의 타입과 다른 타입으로 잘못 형변환되어 발생할 수 있는 오류를 줄여줌
• 장점
  • 타입 안정성 제공
  • 타입체크와 형변환을 생략할 수 있으므로 코드가 간결해짐

[1.2] 지네릭 클래스의 선언

class Box<B> {
	T item;
	
	void setItem(T item) { this.item = item; }
	T getItem() { return item; }
}

⇒ Object를 모두 T로 바꿔 선언

• 타입 변수는 T가 아닌 다른 것을 사용해도 됨
• 용어
  • Box<T> : 지네릭 클래스
  • T : 타입 변수 또는 타입 매개변수
  • Box : 원시 타입
• 주의 : static 멤버에 타입변수 T를 사용할 수 없음 ⇒ why? 모든 객체에 동일하게 동작해야하기 떄문

import java.util.ArrayList;

class Fruit					{ public String toString() { return "Fruit"; } }
class Apple extends Fruit	{ public String toString() { return "Apple"; } }
class Grape extends Fruit	{ public String toString() { return "Grape"; } }
class Toy					{ public String toString() { return "Toy";	 } }

class FruitBoxEx1 {
	public static void main(String[] args) {
		Box<Fruit>	fruitBox 	= new Box<Fruit>();
		Box<Apple>	appleBox 	= new Box<Apple>();
//		Box<Grape>	grapeBox 	= new Box<Apple>();		// 에러. 타입 불일치
		Box<Toy>	toyBox		= new Box<Toy>();
		
		fruitBox.add(new Fruit());
		fruitBox.add(new Apple());						// OK. void add(Fruit item)
		
		appleBox.add(new Apple());
		appleBox.add(new Apple());
//		appleBox.add(new Toy());						// 에러. Box<Apple>에는 Apple만 담을 수 있음
		
		toyBox.add(new Toy());
//		toyBox.add(new Apple());						// 에러. Box<Toy>에는 Apple을 담을 수 없음
		
		System.out.println(fruitBox);
		System.out.println(appleBox);
		System.out.println(toyBox);
	}	// main
}

class Box<T> {
	ArrayList<T> list = new ArrayList<T>();
	void add(T item)		{ list.add(item);			}
	T get(int i)			{ return list.get(i);		}
	int size()				{ return list.size();		}
	public String toString() { return list.toString();	}
}

• 제한된 지네릭 클래스
  • 특정 타입의 자손들만 대입할 수 있게 ⇒ <T extends Fruit>
• 와일드 카드
  • 지네릭 클래스가 아닌 클래스에 메서드 매개변수를 지네릭 타입만 다르게해서 동일한 메서드명을 2개 이상 만들면 → 지네릭 타입이 다른 것만으로도 오버라이딩 성립 X
    • 그래서 와일드 카드 ? 로 표현해서 어떠한 타입도 될 수 있게 표현함
  • <? extends T> : T와 그 자손들만 가능
  • <? super T> : T와 그 조상들만 가능
  • <?> : 제한 없음
• 지네릭 타입의 형변환
  • 지네릭 ↔non-generic 간 형변환 : O
  • 지네릭 ↔ 타입이 다른 지네릭 형변환 : X
• 지네릭 타입의 제거
  1. 지네릭 타입의 경계(bound) 제거 ⇒ 지네릭 타입이 <T extends Fruit> 라면 T는 Fruit로 치환되고 클래스 옆 선언은 제거됨
  2. 지네릭 타입 제거한 후, 타입이 일치하지 않으면 형변환 추가함