c++ 下的多重继承虚函数调用问题

最新推荐文章于 2023-03-20 17:39:39 发布

原创最新推荐文章于 2023-03-20 17:39:39 发布 · 1.2k 阅读

1 ·

CC 4.0 BY-SA版权

c/c++ 专栏收录该内容

15 篇文章

订阅专栏

本文详细解析了一个在C++中使用虚函数时遇到的陷阱，即在多继承场景下，通过指针进行类型转换可能导致意外的行为。通过简化示例代码，解释了为什么在将基类指针转换为目标类指针时，实际执行的函数可能并非预期的。文章旨在帮助开发者理解C++中的虚函数机制及其在多继承场景下的行为，避免潜在的编程错误。

最近看老师上课讲的一个关于com组件的程序，当时虽然程序有些复杂，但是感觉自己已经明白原理了。回来自己对着程序一步步演练时，发现结果不对，后来通过断点调试、发现了一个让我惊呆了的问题。下面我把这个问题简化一下。

#include<iostream>

using namespace std;
class A
{
public:
virtual void put()
{
cout << "A" << endl;
}
};
class B
{
public:
virtual void out()
{
cout << "B" << endl;
}
};
class C :public A, public B
{
public:
void put()
{
cout << "C from A" << endl;
}
void out()
{
cout << "C from B" << endl;
}
};
int main()
{
C *c = new C();
B *b = c;
A *a =(A *)b;//将b强制赋值给a
cout << c << endl;
cout << b << endl;
cout << a << endl;
b->out();
a->put();
return 0;

}

发现执行的虽然是put函数，但是运行的却是out函数。

在将B指针强制赋值给A时，A指针的指针值为0017B36C，而且编译器在编译时检查到a的静态类型A有put()函数，所以通过了。但是在实际执行时，通过virtual table执行了put在A中的virtual table的地址，恰好和out在B的virtual table的下标一样，所以执行了out函数。