Kotlin & Java
무공변성 공변성 반공변성
TL; DR무공변성(invariant) - 자기 자신 타입만 허용공변성(covariant) - out 키워드를 사용하며 자기 자신과 하위 타입만 허용반공변성(contravariant) - in 키워드를 사용하며, 자기 자신과 상위 타입만 허용 무공변성(Invariant)상속 관계에 상관 없이, 자기 타입만 허용합니다공변성(Covariant)리스코프 치환법칙을 허용한다는 의미로 자기 타입과 그 하위 타입을 허용합니다(S 클래스가 T 클래스의 자식이라면 프로그램에서 S 의 객체는 프로그램의 속성을 변경하지 않고, T 의 객체로 교체할 수 있다) 최소한 자식클래스가 부모클래스의 행위를 모두 만족해야한다는 의미이고 즉 업캐스팅만 해라! 의미이다11번째 코드라인에 out 키워드가 사용되었습니다 반공변성(Contr..
