JAPANESE
共変性
きょうへんせい
KOREAN
공변성
[コンビョンソン]
ハングル読み: 쿄우헨세이
解説
型パラメータの継承関係が、その型パラメータを含む型にも同じ方向で引き継がれる性質である。例えばCatがAnimalのサブタイプならList<Cat>がList<Animal>のサブタイプとなる関係を指し、型安全な多態性を実現する。
타입 파라미터의 상속 관계가 그 타입 파라미터를 포함하는 타입에도 같은 방향으로 계승되는 성질이다. 예를 들어 Cat이 Animal의 서브타입이면 List<Cat>이 List<Animal>의 서브타입이 되는 관계를 가리키며 타입 안전한 다태성을 실현한다.
例文
KotlinのoutキーワードでProducer型に共変性を付与し、型安全にサブタイプのリストを返せるようにした。
Kotlin의 out 키워드로 Producer 타입에 공변성을 부여하여 타입 안전하게 서브타입의 리스트를 반환할 수 있게 했다.