6

这是我在 learncpp.com 上阅读本节时遇到的一个问题。我使用了此处列出的代码，然后对测试进行了轻微改动。

背景

虚拟继承创建对基类的公共引用，这有两个作用。

首先，它消除了歧义，因为只有一次创建了基成员的副本（例如，将 print() 函数添加到 PoweredDevice 并在 main() 中调用它会导致编译器错误）。

其次，最派生类负责调用基构造函数。如果中间类之一试图调用初始化列表中的基本构造函数，则应忽略该调用。

问题

当我编译并运行代码时，它返回：

PoweredDevice: 3
PoweredDevice: 3
Scanner: 1
PoweredDevice: 3
Printer: 2

它应该返回：

PoweredDevice: 3
Scanner: 1
Printer: 2

当我使用 GDB (7.11.1) 跟踪执行时，它表明中间函数也在通过初始化列表调用 PoweredDevice——但这些应该被忽略。PoweredDevice 的这种多次初始化不会导致任何成员的歧义，但确实给我带来了麻烦，因为代码执行了多次，而它应该只发生一次。对于更复杂的问题，我不习惯使用虚拟继承。

为什么这些中间类仍在初始化基类？这是我的编译器（gcc 5.4.0）的怪癖还是我误解了虚拟继承的工作原理？

编辑：代码

#include <iostream>
using namespace std;

class PoweredDevice
{
public:
    int m_nPower;
public:
    PoweredDevice(int nPower)
        :m_nPower {nPower}
    {
        cout << "PoweredDevice: "<<nPower<<endl;
    }
    void print() { cout<<"Print m_nPower: "<<m_nPower<<endl; }
};

class Scanner : public virtual PoweredDevice
{
public:
    Scanner(int nScanner, int nPower)
        : PoweredDevice(nPower)
    {
        cout<<"Scanner: "<<nScanner<<endl;
    }
};

class Printer : public virtual PoweredDevice
{
public:
    Printer(int nPrinter, int nPower)
        : PoweredDevice(nPower)
    {
        cout<<"Printer: "<<nPrinter<<endl;
    }
};

class Copier : public Scanner, public Printer
{
public:
    Copier(int nScanner, int nPrinter, int nPower)
        :Scanner {nScanner, nPower}, Printer {nPrinter, nPower}, PoweredDevice {nPower}
    { }
};

int main()
{
    Copier cCopier {1,2,3};
    cCopier.print();
    cout<<cCopier.m_nPower<<'\n';
    return 0;
}
4

1 回答 1

11

这似乎是一个 GCC 错误，当统一初始化与虚拟继承一起使用时触发。

如果我们改变：

Copier(int nScanner, int nPrinter, int nPower)
    :Scanner {nScanner, nPower}, Printer {nPrinter, nPower}, PoweredDevice {nPower}
{ }

到：

Copier(int nScanner, int nPrinter, int nPower)
    :Scanner (nScanner, nPower), Printer (nPrinter, nPower), PoweredDevice (nPower)
{ }

错误消失了，它的行为符合预期：

PoweredDevice: 3
Scanner: 1
Printer: 2
Print m_nPower: 3
3

Clang 和 Visual Studio 都能够正确编译原始代码，并给出预期的输出。

于 2016-07-19T20:05:05.477 回答