SuperTypeSafeCage에 대해 질문드립니다
62
10 asked
val superTypeToken = object:SuperTypeToken<List<GoldFish>>(){}
val superTypeSafeCage = SuperTypeSafeCage();
superTypeSafeCage.putOne(superTypeToken,listOf(GoldFish("금붕어1"),Carp("새")))
superTypeSafeCage.getOne(superTypeToken).forEach(::println)superTypeToken은 List<GoldFish> 전용토큰인데 실제 Carp를 putOne 하여도 데이터가 삽입이 됩니다.
또한 superTypeSafeCage.getOne(superTypeToken) 입력 시 Carp까지 조회되네요.
해당 부분에 대한 유효성 검사를 각각 진행해야 되는건가요?
Answer 2
0
안녕하세요! 🙂 좋은 질문 감사합니다.
혹시 현재 GoldFish와 Carp의 계층구조가 어떻게 되어 있을까요?
만약 GoldFish와 Carp가 같은 부모를 가졌을지언정, 상속관계가 아니라면
SuperTypeToken의 T는 List<GoldFish> 가 되어서 listOf(GoldFish, Carp) 가 들어가지 못하는 걸로 나올거에요!
답변 조금 더 남겨주시면 확인해보겠습니다. 🙇
감사합니다!!
0
안녕하세요, 인프런 AI 인턴입니다. 이석운님, 코틀린 고급편 강의에서 SuperTypeSafeCage의 동작에 대해 질문 주셔서 감사합니다.
질문 주신 내용에서 SuperTypeSafeCage는 타입 안전성을 보장하기 위해 고안된 구조로 보입니다. SuperTypeToken 을 이용하여 특정 타입을 지정하고자 하지만, 실제로 구현된 구조상의 문제로 해당 타입 검사가 제대로 이루어지지 않는 것으로 보입니다.
기본적으로, SuperTypeToken과 SuperTypeSafeCage간의 타입 검사는 보다 엄격하게 이루어져야 합니다. 각각의 put 및 get 메서드에서 입력 데이터를 넣고 꺼낼 때에 대한 타입 검사를 명확히 하는 것이 좋습니다. 즉, putOne에서 삽입 시와 getOne으로 꺼낼 시에 타입 검사를 통과하도록 구현해야 합니다.
그렇지 않을 경우, List<GoldFish>에 Carp가 포함된다면 이로 인해 타입 불일치 오류가 발생할 가능성이 있습니다. 이는 런타임 상의 오류를 미연에 방지하기 위함입니다. 따라서 실제 데이터를 삽입하기 전에 해당 타입이 올바른지 검사하는 로직을 추가하는 것이 필요합니다.
이와 관련해, 기존 답변 중에서 유사한 논의를 다룬 내용을 참고하실 수 있을 것 같습니다. 예를 들어, 다음과 같은 질문이 있습니다:
이 링크들은 SuperTypeSafeCage 구조에서 타입 관리의 중요성이나, 타입 불일치로 인한 문제 발생 가능성에 대해 더욱 깊이 이해하는 데 도움이 될 것입니다.
저는 질문자님의 이해를 돕고자 지식공유자님의 기존 답변을 참고하여 유사한 답변 링크를 추천해드리고 있습니다.
현재 베타 기능으로 답변이 만족스럽지 않을 수 있는 점 양해 부탁드립니다. 🙏
추가적으로 궁금한 점이 있으시면, 이어서 질문해 주세요. 곧 지식공유자께서 답변해 주실 것입니다.
싱글턴패턴
0
2
1
KType 관련 Kotlin 2.3 변경점
1
61
2
Kotlin 2.0(K2 컴파일러)에서 달라진 Java SAM 변환 동작
2
98
3
좋은 코드 예시
0
94
2
val 키워드도 setValue가 있나요?
0
86
2
반공변성 질문드립니다.
1
114
3
[23강] SuperTypeToken의 equals 관련 질문
1
96
2
23강 타입 안전 이종 컨테이너 예제 관련 문의 드립니다.
0
111
2
abstract class Fish(name:String):Animal(name)
0
105
2
지식공유자님 inline에 대해서의 질문과 추가적인 질문 1가지가 있습니다!
1
118
1
안녕하세요 JMH 설정 관련 팁을 드릴까 합니다! (24년 12월 16일 기준)
0
164
2
Generic Func 질문이 있습니다
1
104
1
2강부터 영상 재생이 안되네요ㅠㅠ
0
152
2
by lazy 블럭 안에서 suspend 함수의 결과값을 받는게 가능한가요?
0
389
1
DSL 만들기
0
288
1
Sequence vs Stream
1
251
1
코틀린 indent 코드 스타일 질문입니다.
0
263
1
non-local return 질문입니다.
1
227
1
SynchronizedLazyImpl 함수관련 질문
0
424
2
제네릭 클래스를 정의하는 경우, 반드시 변성을 고려하는 것이 바람직한가요?
4
1327
1
실무에서 lateinit 이 필요한 경우는 어떤 상황일까요?
1
455
1
4강 타입소거 관련 질문
1
331
2
추상클래스의 공변 / 반공변, 추상 제네릭 일급컬랙션 리팩토링 에 대한 질문입니다.
2
598
1
lateinit 키워드 관련해서 질문드립니다!
1
314
1