JAPANESE
型消去
かたしょうきょ
KOREAN
타입 소거
[タイプ ソゴ]
ハングル読み: 카타쇼우쿄
解説
ジェネリクスの型パラメータ情報をコンパイル時に除去し、実行時には型情報を保持しない手法である。Javaのジェネリクスがこの方式を採用しており、後方互換性を維持しつつ型安全性を提供するが、実行時の型検査に制限がある。
제네릭스의 타입 파라미터 정보를 컴파일 시에 제거하고 실행 시에는 타입 정보를 보유하지 않는 기법이다. Java의 제네릭스가 이 방식을 채택하고 있으며, 후방 호환성을 유지하면서 타입 안전성을 제공하지만 실행 시 타입 검사에 제한이 있다.
例文
型消去によりJavaのジェネリクスは実行時にList<String>とList<Integer>を区別できない。
타입 소거에 의해 Java의 제네릭스는 실행 시에 List<String>과 List<Integer>를 구별할 수 없다.