我有一个类似于这样的菱形多重继承场景：
A
/ \
B C
\ /
D
共同的父类A定义了一个虚函数fn()。
B和C是否都可以定义fn()？
如果是这样，那么下一个问题是——D能否在不加区分地访问B和C的fn()？我假设有一些语法可以实现这个功能..
而且，D是否可以在不知道具体是谁B和C的情况下这样做？B和C可以被其他类替换，并且我希望D中的代码是通用的。
我的目标是让D以某种方式枚举它在继承链上所有实例的fn()。除了使用虚函数之外，还有其他方法可以实现吗？
除非您在 D 中再次覆盖 fn，否则不可能。因为一个 D 对象中没有最终的覆盖者： C 和 B 都覆盖了 A::fn。您有以下几个选项：
C::fn 或 B::fn 中的一个。然后仍然覆盖 A::fn 的那个将成为最终的覆盖者。D 中放置最终的覆盖者。然后，这个覆盖者将覆盖 A::fn 以及 C 和 B 中的 fn。例如，以下内容会导致编译时错误：
#include <iostream>
class A {
public:
virtual void fn() { }
};
class B : public virtual A {
public:
virtual void fn() { }
};
class C : public virtual A {
public:
virtual void fn() { }
};
// does not override fn!!
class D : public B, public C {
public:
virtual void doit() {
B::fn();
C::fn();
}
};
int main(int argc, char **argv) {
D d;
d.doit();
return 0;
}
首先，是的，B和C可以将fn()定义为虚函数。
其次，D当然可以通过使用作用域运算符::访问B::fn()和C::fn()。
第三个问题：D至少必须知道B和C，因为您必须在继承列表中定义它们。您可以使用模板使B和C的类型开放：
class A
{
public:
virtual ~A() {}
virtual void fn() = 0;
};
class B: public A
{
public:
virtual ~B() {}
virtual void fn(){ std::cout << "B::fn()" << std::endl; }
};
class C: public A
{
public:
virtual ~C() {}
virtual void fn(){ std::cout << "C::fn()" << std::endl; }
};
template <typename TypeB, typename TypeC>
class D: public TypeB, public TypeC
{
public:
void Do()
{
static_cast<TypeB*>(this)->fn();
static_cast<TypeC*>(this)->fn();
}
};
typedef D<B, C> DInst;
DInst d;
d.Do();
virtual关键字了吗？;) - curiousguyD 中只有一个基类 A（尝试 A& = d;），因此只有一个成员函数 A::fn()（尝试 d.A::fn();）。实际上，D 有两个基类 A（通过检测它们的地址来检测 c|dtors），所以 d 中有两个成员函数 A::fn()：d.B::A::fn() 和 d.C::A::fn()。它们中的每一个确实都有一个最终覆盖函数。 - curiousguyB :: fn()的语义而不是C :: fn()，而不明确地在编写D时做出决策。您可能会根据各个方法的实际操作选择其中之一（甚至两者都选择）。一旦您做出了决定，要求是继承的更改不会改变期望或语义接口。E替换为B，其中E不是从B派生但提供相同的接口，则应该使用模板方法，尽管我不确定为什么会有一个static_cast<>...struct A {
virtual ~A() {}
virtual void f() = 0;
};
struct B: A {
virtual void f() { std::cout << "B::f()" << std::endl; }
};
struct C: A {
virtual void f() { std::cout << "C::f()" << std::endl; }
};
template <typename Base1, typename Base2>
struct D: Base1, Base2 {
void g() { Base1::f(); Base2::f(); }
};
int main() {
D<B,C> d1;
D<C,B> d2;
d1.g();
d2.g();
return 0;
}
// Outputs:
// B::f()
// C::f()
// C::f()
// B::f()
您无法在继承中枚举fn（）的定义。 C ++缺乏反射。 我能想象的唯一方法是使用巨大的循环测试所有可能祖先的typeid。 而且，想象起来会很痛苦。
Vividos已经回答了帖子的主要部分。 即使我使用作用域运算符而不是更繁琐的static_cast<> +解引用运算符。
根据手头的任务，也许您可以将继承关系从D更改为B和C，以获得较少的耦合组合（可能还包括从A继承）。 这是假设您不需要将D多态地用作B或C，并且您确实不需要B和C共享相同的基本实例。
如果您选择组合，则可以将B和C作为类型A的引用/指针作为参数传递给构造函数，使D完全不知道类型B和C。 在那一点上，您可以使用容器来保存尽可能多的A派生对象。 您自己的fn（）实现（如果您决定这样做）或任何其他方法。
关于这个问题已经有几个相关的提问了，看来我们已经没有更多的问题可以问了。也许搜索框应该比提问按钮更大。
参考：