最近看老师上课讲的一个关于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函数。