CH10-1 · MODEL

제네릭 타입과 타입 안전성의 성공과 실패 증거

Box의 T가 put 입력과 get 반환을 묶어 잘못된 대입을 컴파일 단계에서 막습니다.

성공 출력

관찰 가능한 결과

JAVA / 26

실패 경계

왜 실패하는가

Box의 T가 put 입력과 get 반환을 묶어 잘못된 대입을 컴파일 단계에서 막습니다.

선택 기준

코드에 남길 계약

제네릭의 핵심은 코드를 한 번 쓰는 것보다 입력과 출력 사이 타입 관계를 컴파일러가 끝까지 추적하게 하는 것입니다.

관찰 증거 제네릭의 핵심은 코드를 한 번 쓰는 것보다 입력과 출력 사이 타입 관계를 컴파일러가 끝까지 추적하게 하는 것입니다.