타입 소거는 T를 상한으로 바꾸고 필요한 캐스팅을 삽입한다

컴파일 검사가 안전한 관계를 먼저 증명합니다.

  1. source Box<String>

    제네릭 정보

  2. javac check

    set/get 검증

  3. erase T

    Object 또는 bound

  4. insert cast

    String 반환

  5. runtime class

    Box 한 벌

핵심: raw 연산이 검사를 우회하면 삽입 캐스팅에서 실패합니다.