자바 형변환 질문드립니다.

Question

안녕하세요.자바 참조변수 형변환에 대해 공부하던 중, 다소 이해하기 어려운 부분이 있어 질문드립니다.답변 또는 관련 글 공유해주시면 감사하겠습니다.제가 알고 있는 내용은 다음과 같습니다.서로 상속/구현 관계에 있는 클래스 사이에서 형변환이 가능하다. (자바의 정석)컴파일러는 참조변수가 가르키고 있는 실제 객체의 타입을 모른다. 오직 참조변수의 타입만 안다.스터디를 하며 들은 내용입니다.관련 내용을 찾기가 어렵네요.아래 코드는 컴파일 에러가 발생하지 않습니다.a의 타입은 A 입니다. 그리고 캐스팅하고자하는 타입은 B입니다. A와 B는 상속/구현 관계가 아닌데, 컴파일러는 왜 형변환이 가능하다고 판단하는건가요?

Clickin · Accepted Answer

https://stackoverflow.com/questions/16186474/java-casting-in-interfacesmaba 님의 답변을 보시면 도움이 됩니다.대충 설명해드리면 Otherwise, the cast is always legal at compile time (because even if S does not implement T, a subclass of S might).이 부분이 가장 중요한데요, D를 A 타입으로 받으셨다고 하더라도 D를 상속하는 F가 B를 구현하였을 수도 있기 때문에 컴파일 시점에서는 에러가 나지 않습니다.물론 런타임에는 오류가 나겠죠.

adduci · Answer

강제 캐스팅을 사용할 경우 컴파일러는 타입 체크를 해주지 않습니다강제 캐스팅을 문제없이 수행하려면 참조변수 a가 실제로 참조하고 있는 인스턴스를 확인해야 하는데, 컴파일러는 이런 정보를 알 수 없습니다그래서 강제 캐스팅의 당위성 체크는 런타임으로 미루는거죠

자바 형변환 질문드립니다.

2개의 답변

Q&A 목록