为什么在虚拟继承中调用默认构造函数？

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) { ... }

另见This FAQ entry。