자바) this 로는 오버라이딩을 막을 수 없나요?

Question

안녕하세요 선생님들자바 오버라이딩 관련해서 여쭙고 싶습니다 부모클래스 메소드에 this. 을 붙여서오버라이딩 못하게 막고, 부모클래스 자신의 메소드를 실행 시키게 하려고 했습니다 그러나, this. 을 앞에 붙여도 오버라이딩을 막을 수 없었습니다오버라이딩의 원리는 알고있지만앞에 this. 를 붙였음에도, 왜 오버라이딩이 일어나는지는 이해를 하기 어려웠습니다왜 그런건지 원리를 이해하기 어려워서 가르쳐주시면 정말 감사하겠습니다 읽어주셔서 감사합니다

lee bon · Accepted Answer

this는 '셀프 참조'를 의미합니다. 그리고 super는 '부모 참조'죠여기서 말하는 &#34;참조&#34; 대상은 메시지를 수신한 객체입니다. 자바의 런타임 시스템은 메시지와 메서드의 바인딩이 런타임에 이뤄집니다.즉, 런타임에 메시지를 수신한 객체의 타입부터 탐색하기 시작하여 찾으려는 메서드가 없으면 부모 타입까지 거슬러 올라갑니다. 조금 장황한것 같아 작성하신 코드로 예시를 들어볼까요?작성하신 main 코드를 보면Shape p &#61; new Circle(); p.paint(); 1. 'p.paint()' -> &#34;p 객체에게 paint() 메시지를 전송하는군!&#34;2. &#34;p의 타입(구체 타입)이 Circle 타입이군!&#34; -> &#34;Circle 클래스의 paint() 메서드 탐색&#34;3. &#34;Circle 클래스에 paint() 메서드가 없네?&#34; -> &#34;부모 타입인 Shape 클래스에서 paint() 메서드 탐색&#34;4. &#34;부모 타입(Shape 클래스)에 paint() 메서드가 있다!&#34; -> &#34;Shape 클래스의 paint() 메서드 실행&#34;5. &#34;Shape 클래스의 paint() 메서드 실행 중 this.draw()가 있다!&#34;6. &#34;this는 객체의 셀프 참조(처음의 p)니까 다시 p의 구체 타입부터 탐색 시작&#34;7. &#34;p의 구체 타입인 Circle 타입이군!&#34; -> &#34;Circle 클래스의 draw()부터 탐색 시작&#34;...위와 같은 흐름으로 보시면 되겠습니다. 조금 이해하기 쉬우시려면 this라는 키워드가 &#34;해당 클래스의 참조&#34;가 아니라 &#34;객체의 참조&#34;라는 점을 명심하시고 &#34;메서드 탐색은 메시지를 수신받은 객체의 구체 타입부터 시작한다&#34;라는 점을 기억하시면 될 것 같네요. PS. 같은 맥락에서 this.draw()가 아닌 draw()를 호출하더라도 메시지를 최초에 수신한 객체(p)의 타입부터 메서드 탐색을 시작하기 때문에 Circle 클래스의 draw()가 호출됩니다.(만일 Circle클래스의 draw가 없다면 부모 클래스인 Shape 클래스의 draw가 호출되겠죠?)

lIlIlllIIIl · Answer

선생님 감사합니다 질문이 있는데요업캐스팅을 해서p 변수의 타입이 Shape 타입이 된 경우인데도 Shape 이 아니라 Circle 타입인가요?업캐스팅을 해서 Shape 타입 메소드부터 확인하는 게 맞는 것 같아서요

lee bon · Answer

'구체 타입'이라는 표현 때문에 좀 헷갈리실 수 있을것 같네요제가 위에서 언급한 구체 타입이란 참조변수 p가 가리키는 실제 타입을 의미합니다.선언은 Shape로 되어있지만 실제 가리키는 구체타입은 Circle이기 때문에 Circle부터 탐색을 시작합니다. 이렇게 객체가 수신한 메시지와 실제 실행할 메서드를 런타임에 매칭시키는 것을 '동적 바인딩' 또는 '동적 메서드 탐색'이라고 일컫기도 합니다. 조금 더 자세히 이야기 하자면 컴파일 시점에는 Shape p와 같이 Shape 타입으로 선언되어 있지만 런타임에 p.print();와 같은 코드를 만난다면 무지성으로 Shape부터 탐색하는게 아니라 실제 p의 구체 타입이 무엇인지 추적하고 그 구체 타입부터 메서드를 실행시킵니다.이런 동적 바인딩 시스템은 '다형성'과 관련있는 개념이기도 합니다. 오버라이딩을 아시니까 조금 고민해볼까요?만일 Shape p &#61; new Circle(); 코드에서 선언이 Shape로 되어있다고 무작정 Shape 부터 메서드 탐색을 시작하면 어떻게될까요?p.draw()에서 오버라이딩된 Circle의 메서드가 아니라 Shape의 draw 메서드가 실행되겠죠?이는 다형성의 개념과 상당히 어긋나보이지 않나요? ㅎㅎ

lIlIlllIIIl · Answer

선생님 계속 도와주셔서 감사합니다그런데 제가 아직도 이해가 정말 안가서 여쭙고 싶습니다 Shape 클래스의 this는 Shape 을 의미하지 않나요? 아래는 this의 소속을 알아보기 위해 this 의 소속은 Shape 이었습니다 마찬가지로 Shape 클래스의 메소드 paint( ) 안에서this.draw( ) 를 호출하면 Shape.draw( ) 를 호출하라고 this. 으로 지정해줬는데Circle.draw( ) 를 호출하는 오버라이딩이 되니까 이해가 안갑니다 ㅠㅠ

lee bon · Answer

우선 this는 '클래스'를 의미하지 않습니다. 현재의 '객체'를 의미합니다.멤버변수와 메서드 호출이 다르게 작동하는 방식을 이해하시려면 JVM에서 코드를 어떻게 적재하고 처리하는지를 학습하시면 될 것 같네요.간략히 말씀드리자면 클래스 로더에 의해서 JVM에 클래스들이 로딩될 때 멤버변수와 메서드는 서로 다른 영역에 저장이 됩니다.클래스의 메서드같은 경우는 (Proxy와 같은 대리인이 아니면) 같은 타입의 모든 객체가 동일한 메서드를 갖기 때문에 메서드 영역에 메타데이터 형태로 하나만 저장되는 반면, 멤버변수의 경우는 객체 별로 다른 데이터를 갖기 때문에 힙 영역에 개별 객체의 데이터들이 저장됩니다.따라서 this.멤버변수, this.메서드는 탐색하는 과정과 메커니즘이 아예 다르기 때문에 위와 같은 결과가 나타난다고 보시면 될 것 같습니다. PS.앞서 말씀드렸던 &#34;런타임에 메시지와 메서드를 바인딩하는 '동적 바인딩'&#34;이라는 개념은 '다형성'의 기반이 되는 메커니즘인데, 이 '다형적'인 메커니즘을 제공하기 위해서 &#34;구체 클래스의 메서드부터 탐색&#34;을 합니다.하지만 이 &#34;다형적인 메커니즘&#34;은 '멤버 변수'에 적용되지는 않습니다. (이건 객체지향 원리와 관련된 얘기라 굳이 설명하지는 않겠습니다.)

lIlIlllIIIl · Answer

교수님 저같은 바보 학생을 이렇게 정성스럽게 가르쳐주셔서 정말 고맙습니다선생님은 저에게 너무나 과분하신 선생님이십니다

lee bon · Answer

전혀 바보같지 않습니다. 오히려 성장 가능성이 무궁무진하신것 같아요 ㅎㅎ.그리고 질문하셨던 내용 자체가 어플리케이션의 예상치 못한 결과를 야기하는 부분이 될 수 있어서(물론 위와 같이 코드를 짜기 보단 캡슐화와 결합도/응집도와 같은 품질을 신경써서 개발해야겠죠? ㅎㅎ) 글쓴이분 처럼 호기심을 갖고 deep하게 파보는 자세는 이후 트러블 슈팅을 할 때 아주 큰 밑거름이 될거에요.지금처럼 왜? 라는 질문을 계속 던지면서 학습하시면 분명 동료 개발자들에게 신뢰를 받는 좋은 개발자가 되실 것 같습니다. 응원합니다. ^^

lIlIlllIIIl · Answer

선생님 정말 고맙습니다 혹시 이렇게 이해해도 될까요? &#xfeff;class Shape 내에서1. this.draw( ) 는 Circle.draw( ) 를 호출한다.2. this.name 은 Shape.name 을 호출한다.그렇다면 this 넌 대체 Shape 인가? Circle 인가? &#xfeff;실행 전에는 this.draw( ) 와 this.name의 this 는둘 다 Shape 이 맞습니다그러나 런타임 중(실행 중)에는업캐스팅, 동적바인딩, 오버라이딩에 의해서this.draw( ) 의 this 만 Circle 이 됩니다. 오버라이딩의 대상은 클래스의 멤버변수가 아닌, 멤버 메소드만이고오버라이딩 동적 바인딩은 런타임 중에 실행되므로실행 중에 this 가 가리키는 곳이 바뀌는 것입니다이때 this 는 구체화 객체입니다.객체를 가리키는 변수 타입(Shape)이 아니라, 실제로 구체화 된 객체(Circle)의 타입이므로this는 실행 중에는 Circle을 가리키게 됩니다.다만, 이 오버라이딩은 변수가 아닌 메소드에만 일어나므로this.draw( ) 는 Circle.draw( ) 를this.name 은 Shape.name 을 의미합니다&#xfeff;라고 이해했는지 마지막으로 맞는지 봐주시면 정말 감사하겠습니다죄송합니다 선생님

lIlIlllIIIl · Answer

선생님 그리고 저같은 사람을 격려해주셔서 정말 고맙습니다저같이 많이 부족한 사람에 비하면 선생님은 정말 많은 분들에게 빛과 소금 같은 분이십니다 ㅠㅠ

lIlIlllIIIl · Answer

선생님 혹시 가르쳐주신 JVM 이 코드를 처리하는 방식에 에 대해서 공부하고 싶으면 어떤 책이나 인강을 더 공부하면 더 좋은지 조언 주시면 정말 감사하겠습니다 선생님께 정말 많이 배우는 것 같아서 너무나 감사하네요 선생님 가르침을 온전히 이해하고 또 발전하기 위해서 더 깊게 공부하고 싶어서요

lee bon · Answer

댓글이 늦었습니다. 제가 최근에 okky를 자주 접속하지 않아서 확인을 못했네요. 1. 런타임 바인딩먼저 동적바인딩과 관련해서 이해하신 부분은 훌륭히 잘 이해하시고 잘 정리하셨습니다.조금 까다롭게 굴자면 '코드 실행 전의 this'는 사실 'Shape'를 가리킨다기 보다 '누굴 가리키는지 모르는 상태' 라고 보시는게 좋을 것 같습니다. 다시말해 컴파일 타임(실행 전)에 this는 누굴 가르키는지 모르지만 런타임에 동적으로 바인딩 되어서야 알아차리게 된다. 로 이해하시면 더 정확할 것 같습니다. 2. JVM의 구조와 처리음.. 이부분은 사실 어떤 잘 정리된 '인강'을 찾아보는것도 방법이 되겠지만 저같은 경우 구글 서치와 오라클 공식 홈페이지, 유튜브를 함께 봤습니다.우선 자바 버전이 달라지고 벤더(오라클/아마존 등)이 달라짐에 따라 JVM의 내부 구조는 조금씩 다르기 때문에 여러 자료를 보는게 좋을 것 같다고 판단했습니다.실제로 구글 서치를 통해 확인해보시면 느끼시겠지만 자료마다 서로 조금씩 다르게 얘기하는 부분이 존재합니다.(그래서 사실 어렵지만 오라클 공식 도큐먼트를 조금씩 참고하며 읽어가는것도 방법입니다.)너무 deep하게 파시기 보다는 '클래스 로더', 'JVM 메모리 구조(Heap, Stack 등)', '메모리별 저장하는 데이터(클래스와 관련된 메타 데이터인지? 인스턴스와 관련된 데이터인지 등)'과 같은 키워드를 중심으로 전체적인 흐름을 파악하시면 더 좋을 것 같습니다.그리고 더 deep한 부분은 분명 개발하시다보면 궁금증이 생기실 때가 있는데, 그때 그 키워드를 갖고 찾아보셔도 될것같아요(저도 사실 맨날 그때그때 찾아보지만 금방 까먹네요 ㅋㅋ)

lIlIlllIIIl · Answer

선생님 정말 고맙습니다도움이 많이 되는 말씀 많이 주시고, 격려해주시고 가르쳐주셔서 정말 감사합니다오라클 공식 홈페이지 내용도 공부하려면 영어 공부도 해야겠군요어느 범위 이상을 공부하려면, 영어 실력도 많이 중요하다는 것을 많이 느끼네요선생님께서 가르쳐주신 공부 방법도, 선생님께서 오랜 시간 고민하시고, 터득하신 길인데 이렇게 친절하고 상세하게 가르쳐주셔서 정말 고맙습니다선생님 덕분에 정말 많은 도움 받고 배우는 것 같습니다많은 도움과 가르침을 주셔서 감사합니다

자바) this 로는 오버라이딩을 막을 수 없나요?

12개의 답변

#override 목록