如何继承从一个基类继承的不同类的特定变量？

Question

我有一个基类 A、2 个子类 B 和 C，它们都继承自 A，我有一个继承自 B 和 C 的类 D，我想从 B 中获取 _a，从 C 中获取 _b，而不必如果可能的话，为 print_a 和 print_b 做一个虚拟方法

# include <iostream>

class A
{
    public:

    A(void) : { }
    ~A(void) { }

    inline void print_a(void) { std::cout << _a << std::endl; }
    inline void print_b(void) { std::cout << _b << std::endl; }


    protected:

    int _a;
    int _b;
};

class B : virtual A
{
    public:

    B(int a) : A() { _a = a, _b = 0; }
    ~B(void) { }

    protected:

    using A::_a;
    using A::_b;
};

class C : virtual A
{
    public:

    C(int b) : A() { _a = 0, _b = b; }
    ~C(void) { }

    protected:

    using A::_a;
    using A::_b;
};

class D : virtual public A, private B, private C
{
    public:

    D(void) : A(), B(5), C(5) { }
    ~D(void) { }


    private:

    using B::_a;
    using C::_b;
};

int main(void)
{
    D foo;

    foo.print_a();
    foo.print_b();
    return (0);
}

我的 D 类从 A 继承方法 print_a 和 print_b，我希望它从 B 继承 _a = 5 和从 C 继承 _b = 5，但它不起作用，它输出：

0
5

代替：

5
5

Answer 1

当您将virtual 用于所有基类时，您最终会得到D 只有一个A（而不是一个作为D 的基类，一个作为B 的基类，一个作为基类C)。

问题在于你的构造函数。

派生类的构造函数按照基类列表中给出的顺序调用所有基类的构造函数，因此在您的情况下D::D 调用：

A::A() -> _a and _b uninitialized
B::B(5)
  _a = 5
  _b = 0
C::C(5)
  _a = 0
  _b = 5

目前尚不清楚您为什么要在不同的构造函数中多次设置 _a 和 _b。最好在构造函数的成员初始化器列表中初始化成员，而不是在构造函数主体中分配它。例如你可以写

A(int a, int b) : _a(a), _b(b) {}
B(int a) : A(a, 0) {}
C(int b) : A(0, b) {}
D() : A(5, 5), B(5), C(5) {}

这里D::D()会导致

A(5, 5) -> _a initialized to 5, _b initialized to 5
B(5) -> no effect (on A/_a/_b)
C(5) -> no effect (on A/_a/_b)

如果您想坚持您的设计并初始化构造函数主体中的变量，您只需将代码添加到D::D 以覆盖基类构造函数设置的任何内容：

D() : A(), B(5), C(5) { _a=5; _b=5; }