기본 생성자가 가상 ​​상속에서 호출되는 이유는 무엇입니까?

Question

다음 코드에서 daughter 유형의 객체를 인스턴스화 할 때 기본 grandmother() 생성자가 호출되는 이유를 모르겠습니까?

grandmother(int) 생성자 중 하나 (내 mother 클래스 생성자의 사양을 따르기 위해)를 호출해야하거나이 코드가 가상 상속으로 인해 컴파일되지 않아야한다고 생각했습니다.

여기서 컴파일러는 자동으로 grandmother 기본 생성자를 내 뒤에서 호출하지만, 결코 요구하지 않았습니다.

#include <iostream> 

class grandmother { 
public: 
    grandmother() { 
     std::cout << "grandmother (default)" << std::endl; 
    } 
    grandmother(int attr) { 
     std::cout << "grandmother: " << attr << std::endl; 
    } 
}; 

class mother: virtual public grandmother { 
public: 
    mother(int attr) : grandmother(attr) { 
     std::cout << "mother: " << attr << std::endl; 
    } 
}; 

class daughter: virtual public mother { 
public: 
    daughter(int attr) : mother(attr) { 
     std::cout << "daughter: " << attr << std::endl; 
    } 
}; 

int main() { 
    daughter x(0); 
} 

Answer 1

가상 상속을 사용할 때 가상 기본 클래스의 생성자는 가장 파생 클래스의 생성자가 직접 호출합니다. 이 경우 daughter 생성자는 grandmother 생성자를 직접 호출합니다.

초기화 목록에 grandmother 생성자를 명시 적으로 호출하지 않았으므로 기본 생성자가 호출됩니다. 올바른 생성자를 호출하려면 다음과 같이 변경하십시오. 참조 :

daugther(int attr) : grandmother(attr), mother(attr) { ... }