C++ | 继承 | 问题10

继承是C++面向对象编程中一个重要的特性，用于实现代码的重用性和层次化设计。在使用继承时，我们需要注意一些问题，本文将介绍C++中继承中的一个问题：二义性（Ambiguity）。

什么是二义性？

当一个类继承自多个基类，而这些基类又有公共的成员函数或变量时，就可能会出现二义性。也就是说，编译器不知道使用哪个基类的成员函数或变量。

例如，我们有两个基类A和B，它们都有一个名为print()的函数：

class A {
public:
    void print() {
        cout << "A\n";
    }
};

class B {
public:
    void print() {
        cout << "B\n";
    }
};

然后我们定义一个类C，继承自A和B：

class C: public A, public B {
};

现在我们在C类中调用print()函数：

C c;
c.print();

这时编译器就会报错，因为不知道print()函数应该使用A类中的函数还是B类中的函数。

如何解决二义性？

为避免二义性，我们需要在C类中重新定义print()函数，并明确指明是使用哪个基类的函数：

class C: public A, public B {
public:
    void print() {
        A::print();   // 使用A类中的print()函数
    }
};

或者，我们可以使用虚继承（Virtual Inheritance），即通过在基类之间使用关键字virtual来避免二义性。虚继承是指从公共基类继承时只保留一份基类的共享成员，从而避免了二义性。

例如，我们将A和B改为虚继承：

class A {
public:
    virtual void print() {
        cout << "A\n";
    }
};

class B {
public:
    virtual void print() {
        cout << "B\n";
    }
};

class C: public virtual A, public virtual B {
};

现在再在C类中调用print()函数：

C c;
c.print();

这时就不会出现二义性了。

总结

继承是C++中一个重要的特性，但在使用继承时，需要注意二义性问题。我们可以通过重新定义函数或使用虚继承来解决二义性问题。