C++虚函数陷阱

以下程序输出结果是什么（）
A : A->0 B : B->1 C : A->1 D : B->0 E : 编译出错 F : 以上都不正确

#include <iostream> class A { public: virtual void func(int val = 1) { std::cout << "A->" << val << std::endl; } virtual void test() { func(); } }; class B : public A { public: void func(int val = 0) { std::cout << "B->" << val << std::endl; } }; int main(int argc, char* argv[]) { B* p = new B; p->test(); return 0; }

结论：正确答案是 B : B->1
1.分析：在主函数中，创建了指向派生类 B 对象的指针 p，并通过 p 调用 test ()。
由于 B 类中未定义 test () 函数，编译器会根据继承的作用域查找规则，向上查找并调用基类 A 的 test () 函数。
2.虽然 test() 是虚函数，但此处由 B 类指针直接调用，不满足基类指针 / 引用调用的条件，因此 test () 本身不构成多态。
3.那么在 test() 函数内部调用的 this->func () 是否构成多态？
结论：构成多态。
原因：C++ 运行时多态必须通过基类指针或引用调用虚函数，而 A::test() 内部调用 func() 时，本质是通过基类 A 类型的 this 指针完成调用。
4.关于 this 指针的指向，存在两种常见理解分歧：
(1) 认为调用发生在基类 A 的作用域内，因此 this 指向 A 类对象；
(2) 认为由派生类 B 的指针调用 test ()，因此 this 指向 B 类对象。
要明确这一点，需要理解 C++ 的继承机制：
派生类对象会完整包含基类子对象，基类成员是派生类对象的组成部分，并非简单拷贝如果只是单纯的拷贝，那么就不会有函数隐藏的概念。
函数隐藏::本质是作用域名字遮蔽：当派生类定义与基类同名函数时，会优先屏蔽基类同名函数，通过派生类对象调用时优先使用派生类版本。
派生类对象由两部分组成：基类成员部分和派生类新增成员部分。调用成员函数时，编译器先在当前派生类中查找，找不到再向基类逐层查找。
5.本程序中，p 调用 test() 时，B 类无 test()，因此查找到基类 A 的 test () 并执行。
虽然执行的是 A::test ()，但调用者仍然是 p 指向的 B 类对象，即 this 等价于 B 对象。
在 A::test() 中，this 指针的静态类型为 A*，动态类型为 B*。使用静态类型为 A* 的 this 指针调用虚函数 func ()，满足多态三条件：继承关系、派生类重写虚函数、基类指针调用，因此触发动态绑定。
6.由于调用者是 B 对象，进入 A::test() 后，静态类型为 A*、动态类型为 B* 的 this 指针调用 func ()，触发多态，函数体最终绑定到派生类 B 的重写版本。
C++ 运行时多态的三要素：存在继承关系、派生类重写基类虚函数、通过基类指针或引用调用虚函数。
在多态调用中，虚函数的默认参数由指针的静态类型决定，函数体实现由对象的动态类型决定。
因此最终调用效果等价于使用 A 类默认参数 val=1，执行 B 类的函数体，

即virtual void func(int val = 1) { std::cout << "B->" << val << std::endl; }

输出 B->1。