생성자에서 가상함수를 호출하지 말자라는 주장에 대해

질문글에 써있지 않습니까? 그 목적이 맞는 것인지 묻고 있는 것입니다.

this가 자기 자신의 주소를 받을 때와 this가 자식클래스로 선언된 객체 주소를 전달받을 때의 경우가 틀린가요? this가 후자를 받을 때는 virtual로 작동하고 자기 자신의 주소를 받을 때는 non-virtual 멤버함수로 작동한다는 말씀이신지. 아직 그런 클래스로 프로그램 만들어 본적이 없거든요.

그 get 함수가 non-virtual 멤버함수라는 말씀은 아니시죠? non-virtual 멤버함수인 것인양 작동한다는 말씀이신 것 같아서요. 그리고 아래의 코드가 질문드린 그 경우가 아닌가 하는데요. 생성시 부모부터 아래 방향으로 순차로 객체가 생성되는데, get() 함수가 호출되는 중에는 아직 그 하부가 생성되지 않은 상태이기 때문에 virtual int get 함수가 하나만 선언되어 있는 경우가 되는 것인가요? Parent 생성자가 호출되는 시점에요.

#include <iostream>
using namespace std;
 
class ReTest {
private:
	int pole;
public:
	ReTest():pole(0) {}
	ReTest(int _pole):pole(_pole) {}
	virtual int get() {return pole;}
};
 
int main() {
	ReTest obj1(20);
	cout<<obj1.get()<<endl;
	return 0;
}

그러면 그 순간이(Parent에서 get()이 호출되는 것) 위의 코드처럼 가상함수가 하나만 존재할 때 obj1.get()이 호출되는 것고 유사하겠네요. 바로 위의 경우도 non-virtual 멤버함수로 작동하겠군요. 비록 위의 코드에서는 쓸모없는 가상함수이기는 합니다만.

그게 질문하고 답변 듣다 보니 알게 된 겁니다. 오해의 소지가 있는 부분을 정리해 놓으신 거더군요. 전 처음에 생성자 호출시 암시적으로 전달받는 매개변수 this가 자신의 타입에 맞는 즉, 상위 클래스의 생성자가 호출될 때에는 딱 그에 해당하는 객체가 전달된는 것으로 알고 있었습니다. 여기서부터 책의 설명 내용과 다른 책에서 읽은 내용이 오버랩 되면서 조금 헷갈렸던 겁니다. 여러분들이 말씀하신 부분을 잘 들어보니 이니셜라이져로 생성자 호출시에는 그 하부의 객체가 전달되게 되는 것이죠. 그렇게 알고 있었다면 그렇게 호출하면 안 된다는 사실을 알았겠지만요. 그런 것들에 대해 오해하고 있어서 생기는 문제였습니다. 영문 책을 읽어서 개념이 제대로 잡힌 것이 아니라요. 책에 있는 상황이 다른 읽은 책과 짬봉이 되면서 헷갈렸던 것이죠.
그런 상황이 이런 상황이었습니다.
이런 혼돈을 정리할 수 있도록 해주신 답변에 감사드립니다. 왜 오버라이딩을 가상함수를 써서 하라고 하셨는지도 알것 같고요. 예전에 vector를 상속받아서 svector 클래스 만들려 할 때도 vector에는 비가상함수만 정의돼 있으니 상속받아서 쓰는 것을 지양해라라는 당부도 무슨 뜻인지 알 것 같습니다. 재정의해서 사용할 수 있는 함수가 하나도 없는데 재정의를 해놓으니 터무니 없게 보신 것 같습니다. 제 무지에 대해 죄송하게 생각하고, 무례하고 굴었던 점이 다소 있었다면 용소해주시길 바랍니다.

그 get 함수가 non-virtual 멤버함수라는 말씀은 아니시죠? non-virtual 멤버함수인 것인양 작동한다는 말씀이신 것 같아서요. 그리고 아래의 코드가 질문드린 그 경우가 아닌가 하는데요. 생성시 부모부터 아래 방향으로 순차로 객체가 생성되는데, get() 함수가 호출되는 중에는 아직 그 하부가 생성되지 않은 상태이기 때문에 virtual int get 함수가 하나만 선언되어 있는 경우가 되는 것인가요? Parent 생성자가 호출되는 시점에요.

#include <iostream>
using namespace std;
 
class ReTest {
private:
	int pole;
public:
	ReTest():pole(0) {}
	ReTest(int _pole):pole(_pole) {}
	virtual int get() {return pole;}
};
 
int main() {
	ReTest obj1(20);
	cout<<obj1.get()<<endl;
	return 0;
}

그러면 그 순간이(Parent에서 get()이 호출되는 것) 위의 코드처럼 가상함수가 하나만 존재할 때 obj1.get()이 호출되는 것고 유사하겠네요. 바로 위의 경우도 non-virtual 멤버함수로 작동하겠군요. 비록 위의 코드에서는 쓸모없는 가상함수이기는 합니다만.