使用虚拟继承的 C++ 重载方法绑定

Question

好的，我有一个关于以下代码输出的问题（即 111222223）

#include <iostream>
struct C {
 virtual int eq(const C& other) const { return 1; }
};
struct SC : C {
 virtual int eq(const C& other) const { return 2; } 
 virtual int eq(const SC& other) const { return 3; }
};
void go(const C& c, const C& c1, const SC& sc) {
 using namespace std;

 cout << c.eq(c) << endl;
 cout << c.eq(c1) << endl;
 cout << c.eq(sc) << endl;

 cout << c1.eq(c) << endl;
 cout << c1.eq(c1) << endl;
 cout << c1.eq(sc) << endl;

 cout << sc.eq(c) << endl;
 cout << sc.eq(c1) << endl;
 cout << sc.eq(sc) << endl;
}
int main(int argc, const char* argv[]) { 
 go(C(), SC(), SC());
 return 0;
}

所以我知道我正在使用带有引用的点运算符，该引用将根据调用者的运行时类型动态绑定正确的虚拟方法（需要 -> 带有指针，但在这里动态思维可以）。我不明白为什么倒数第二行打印'2'而不是'3'。这是因为方法签名是静态的，所以方法是根据正确派生类型 SC 中的静态签名选择的？提前感谢您的帮助！

Answer 1

在 C++ 中不支持多次分派，仅支持调用函数的对象（动态分派仅适用于this 指针）。在表达式中：

sc.eq(c1);

编译器会分派到动态类型sc，但会使用静态类型c1

Answer 2

这是由于函数解析规则造成的。

在本次通话中：

sc.eq(c1);

只有一个函数可以被调用，一旦 c1 的类型为 struct C 且 eq 动态重载。

但在通话中

sc.eq(sc);

您有两个可能的eq 函数要调用。第一个在struct C 中声明，动态重载eq，第二个在struct SC 中声明。一旦sc 是struct SC 类型，最后一种方法比前者更可行。

这就是你得到3 的原因。