C++에서의 기본적인 질문입니다.
class X
{
public:
virtual void a();
void b();
virtual void c(){a();b();}
}
class Y : public X
{
public:
void a();
void b();
void c(){b(); a();}
}
int main()
{
X *ap = new Y;
ap->c();
}
이 문제는 작년 공무원 7급시험문제와 비슷한 문제인데,
저는 공무원셤을 포기하고 다른 곳에 취직을 했지만 여전히
C++은 무궁무진하게 모르는 것 투성입니다.
그래서 개인적인 궁금증을 참지 못하기에 이렇게 질문을 올립니다.
위 코드를 주고서 낸 질문은 ap->c()의 결과는 무엇인가 하는 것인데
답은 virtual 이므로 Y클래스의 c()를 호출하며 c()내에서
{b();a();}를 호출하게 되고 b()는 Y의 b()를 a()는 Y의 a()를 호출한다고 합니다.
이때 궁금한 것이 b()는 virtual이 아니기에 메소드 숨김이 될 것이라 생각을 했는데
예상을 깨고 오버라이딩과 같은 효과를 내고 있습니다.
제 추측은 Y와 관련된 vtable내의 c()를 호출했고(->virtual이므로)
이 c()함수내의 b()와 a()는(특히 a()는 virtual이라는 것과 관계없이)
Y와 정적으로 바인딩된 함수의 주소들을 가르키므로 위처럼 동작한다는 것입니다.
이건 그저 추측일뿐 C++의 컴파일러가 어떻게 동작하는 지를 잘 모르겠습니다.
CIR(class instance record)얘기도 나오는데 이것과도 관련이 있는 것인지는
정확히 생각이 떠오르지를 않네요.
이를 시원하게 설명해 주셨으면 감사하겠습니다.
아 그리고 이런 구현관련 내용을 보려면 어떤 문서를 참고해야 하는지도 알려주시면 고맙겠습니다
코드가 오류도 있고
코드가 오류도 있고 결과를 확인하기 힘들어서 약간 수정했습니다.
[geshifilter-code]#include <iostream> class X { public: virtual void a() { std::cout << "X::a" << std::endl;} void b() { std::cout << "X::b" << std::endl;} virtual void c(){a();b();} }; class Y : public X { public: void a() { std::cout << "Y::a" << std::endl;} void b() { std::cout << "Y::b" << std::endl;} void c(){b(); a();} }; int main() { X *ap = new Y; ap->c(); return 0; } [/geshifilter-code]실행하면
와 같이 찍힙니다. 가상함수호출이니까 Y::c()가 호출되고, 그결과 Y::b()와 Y::a()가 호출되었습니다.
무엇이 예상밖이라고 생각하시나요?
아마 위에 분은 X 의
아마 위에 분은 X 의 b() 함수가 virtual 이 아니므로 X 의 pointer 를 통해 호출한 함수일 경우,
X::b() 가 불리워지는 매커니즘에 비교하여 예상밖이라고 표현하신것 같습니다.
ap->b() 로 직접 호출하면 당연히 X::b() 가 호출되겠지요.
그러나 Y class 의 member function 입장에서는 내부적으로 또다른 member function 을 호출할경우,
자연스럽게 Y:: 가 붙은것처럼 Y의 member function을 먼저 참조하게 되어있습니다.
( 사실 저런 호출은 compile time 에 이미 결정될 수 있습니다. b() 는 Y class 내부입장에서 보기에는 이미 오버라이딩 된 상태이니까요. 자세한건 asm 코드를 생성해서 살펴보시면 확실하겠네요. )
Y class 의 member function 내부에서 다시 X class 의 member function 을 호출하기 위해서는 X::b() 라고 직접적으로 호출해주셔야 할것입니다. 혹은 this 를 reinterpret casting 하시던가 하셔야할것입니다.
즉 ap->b() 와 ap->c() 내부의 b() 호출은 전혀 다른코드입니다.
물론 c() 자체가 inline 이어도 마찬가지 일겁니다. ( 명시적으로 class 안에 몇 줄 이내에 함수 선언과 정의를 동시에 하면 inline 이 보통 자동으로 됩니다. 위의 케이스도 그렇게 될 확률이 높구요. )
저경우 inline 키워드를 넣어봐도 마찬가지겠습니다만, inline 화가 된 상태에서도 b() 의 호출 자체는 Y class 의 scope 내부이므로 Y class 의 member function 을 호출하게 되어있습니다. ( 오버라이드 되어있으니까요 )
특정 class 의 member function 내부에서는 그 class가 상속한 parent class 의 member function 의 virutal 키워드의 유무가 전혀 관계가 없다시피합니다. ( pure virtual function 은 body 가 없으므로 예외겠죠! ) 무조건 같은 class 의 내의 member function 을 우선적으로 호출합니다. 내부 member function 에서는 this-> 가 묵시적으로 붙었다고 상상하셔도 나쁘지 않겠네요.
다만 c() 가 macro 라면 어떻게 될지는 생각해봐야겠지요? :)
Neogeo - Future is Now.
Neogeo - Future is Now.
에...제가 알기론
에...제가 알기론 가상함수는 인라인이 안되는 걸로 알고 있는데, 가상함수도 인라인함수가 될수 있나요?
우선 가상함수를
우선 가상함수를 상속받은 Y::c() 자체는 가상함수가 아니므로 가능한 대상입니다만.. 좀 복잡합니다.
그리고 무조건 안되는것도 실은 아닙니다.
http://msdn.microsoft.com/en-us/magazine/cc301407.aspx
그래서 어셈블 코드로 떠서 보기전까진 뭐든지 믿지말아야 하죠.... 심지어 컴파일러 별로 지들 멋대로 행동하니까요.
( 특히 최적화라는 미명하에 ㅠ_ㅠ )
Neogeo - Future is Now.
Neogeo - Future is Now.
'컴파일 타임에
'컴파일 타임에 다형성을 이용한 가상함수 호출이 아님이 확실할 땐 인라인화할수 있다'라는 뜻같은데 맞는지요..?
생각해보면 가상함수라고 무조건 동적바인딩되서 쓰이란 법은 없으니 그런 경우라면 가능할 것 같네요.
그리고, '가상함수를 상속받은 Y::c() 자체는 가상함수가 아니다'라고 하셨는데, 부모클래스에서 가상함수로 선언된 함수는, 자식클래스에서 virtual 키워드를 쓰든 안쓰든 무조건 가상함수로 처리됩니다.
아 -_- 그렇습니다!
아 -_- 그렇습니다! 제가 착각했군요! 가상함수를 상속하면 가상함수가 되지요... 죄송합니다.
제가 착각한건 X 에서 가상함수가 아니었던것을 -> Y 에서 X 를 상속하면서 virtual 을 붙여주고 -> 다시 Y 를 Z에서 상속하면...
애매하지만 X* 로 호출하면 가상이 아닌것처럼 X의 member가 불리우고 Y* 로 호출하면 Z 의 member가 호출되는 상황때문에 착각했습니다. ( 가상 함수면서 가상 함수가 아니게 되지요.. 억지예제 같지만 이런일을 경험해보다보니 무조건 가상이 상속되지 않는다고 착각을 해버렸던거 같습니다. )
어느경우던 자신의 조상에서 한번 가상이었으면 계속 그 이후의 상속된 녀석은 가상이 되는게 정상입니다.
Neogeo - Future is Now.
Neogeo - Future is Now.
답변 감사합니다~
흠... 결국은 멤버함수내에서 멤버함수 호출시 그 호출 주소가 정적으로 바인딩되어 있는 거라고 생각하면 되는거라 이해해도 무방할련지요
다시한번 답변 달아주셔서 감사합니다
댓글 달기