如何在 c++ 多重继承中调用父非虚函数?

How to call parent non virtual function in c++ multi inheritance?

本文关键字：函数 调用 c++ 多重继承      更新时间：2023-10-16
class VA {
public:
virtual void print() = 0;
};
class VB : public VA {
public:
virtual void bprint() = 0;
};
class SA : public VA {
public:
void print() override { std::cout << "SA" << std::endl; };
};
class SB : public SA, public VB {
public:
virtual void bprint() { std::cout << "SB" << std::endl; };
};
int main() {
SB sb;
sb.bprint();
sb.print();
}

调用 sb.print(( 的正确方法是什么？

class SB : public SA, public VB {
public:
virtual void bprint() { std::cout << "SB" << std::endl; };
void print() override { SA::print(); };
};

我知道这种覆盖会起作用，但我正在考虑有没有办法在class SB中没有额外的代码？

看起来你正在尝试使VA成为Java意义上的接口：没有数据，只有一些只需要在层次结构中实现一次的方法。

简短版本：使用虚拟继承进行VA：: public virtual VA。

长版本如下。

默认情况下，C++中的多重继承会创建指向所有基对象的独立路径。在您的情况下，SB实际上有两个VA碱基：一个来自SA，一个来自VB。前者有print的实现，后者没有，因此第一个编译错误：

a.cpp: In function 'int main()':
a.cpp:20:6: error: cannot declare variable 'sb' to be of abstract type 'SB'
20 |   SB sb;
|      ^~
a.cpp:15:7: note:   because the following virtual functions are pure within 'SB':
15 | class SB : public SA, public VB {
|       ^~
a.cpp:5:16: note:     'virtual void VA::print()'
5 |   virtual void print() = 0;
|                ^~~~~
a.cpp:22:6: error: request for member 'print' is ambiguous
22 |   sb.print();
|      ^~~~~
a.cpp:5:16: note: candidates are: 'virtual void VA::print()'
5 |   virtual void print() = 0;
|                ^~~~~
a.cpp:13:8: note:                 'virtual void SA::print()'
13 |   void print() override { std::cout << "SA" << std::endl; };
|        ^~~~~

但是，还有第二个错误。如果您在SA和VB中都实现print，它会变得更加明显：实际上有两种print：

a.cpp: In function 'int main()':
a.cpp:23:6: error: request for member 'print' is ambiguous
23 |   sb.print();
|      ^~~~~
a.cpp:5:16: note: candidates are: 'virtual void VA::print()'
5 |   virtual void print() = 0;
|                ^~~~~
a.cpp:10:8: note:                 'virtual void VB::print()'
10 |   void print() override { std::cout << "VB" << std::endl; };  // Tried to add another implementation
|        ^~~~~
a.cpp:14:8: note:                 'virtual void SA::print()'
14 |   void print() override { std::cout << "SA" << std::endl; };
|        ^~~~~

在C++中，相应的机制由虚拟继承提供：每个应该删除重复数据的基本应该标记为virtual：

#include <iostream>
class VA {
public:
virtual void print() = 0;
};
class VB : public virtual VA {  // 'virtual' ~ 'please ensure there is only one VA base'
public:
virtual void bprint() = 0;
};
class SA : public virtual VA {  // 'virtual' ~ 'please ensure there is only one VA base'
public:
void print() override { std::cout << "SA" << std::endl; };
};
class SB : public SA, public VB {
public:
virtual void bprint() { std::cout << "SB" << std::endl; };
};
int main() {
SB sb;
sb.bprint();
sb.print();
}

现在编译器知道只有一个VA库，并成功地在SA中明确地找到了它的print实现。但是，重要的是SA派生自VA，否则SA::print不会与VA::print有任何联系。

相关文章：