인프런 커뮤니티 질문&답변
작성한 질문수
SuperTypeSafeCage에 대해 질문드립니다
작성
·
19
0
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까지 조회되네요.
해당 부분에 대한 유효성 검사를 각각 진행해야 되는건가요?
답변 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 구조에서 타입 관리의 중요성이나, 타입 불일치로 인한 문제 발생 가능성에 대해 더욱 깊이 이해하는 데 도움이 될 것입니다.
저는 질문자님의 이해를 돕고자 지식공유자님의 기존 답변을 참고하여 유사한 답변 링크를 추천해드리고 있습니다.
현재 베타 기능으로 답변이 만족스럽지 않을 수 있는 점 양해 부탁드립니다. 🙏
추가적으로 궁금한 점이 있으시면, 이어서 질문해 주세요. 곧 지식공유자께서 답변해 주실 것입니다.