C++里面多继承带来的指针漂移问题(转)

最近我们在工作中碰到一个奇怪的问题,最后确定是多继承引起的指针漂移,跟C++对象模型有关。示意如下:

class A {...};
class B{...};
class AB : public B, public A {...}
...
AB *pab = new AB();
A* pa = (A*)pab;
B* pb = (B*)pab;

这时候你发现pa和pb的值是不一样的!它们中有一个跟pab是相等的,而另外一个产生了偏移。如果把AB的声明中A和B的顺序调换一下,则产生偏移的指针也会变为另外一个。

为了确定这是编译器做了转换的缘故,利用void指针愚弄编译器:
void *pv = (void*)pab;
pa = (A*)pv;

这时候pa的值倒是跟pab相等了,然而指向了错误的地方。从pab到pa的转换,依赖于路径的选择,让人不是很放心。还不知道把指针放入容器中再取出来,会不会出错。当然,上面使用了强制类型转换,在良好的程序中应该避免。如果只有隐式转换,可以得到正确的结果:

 std::vector<A*> v;
 //implicit type conversion
 v.insert(v.begin(), pab);
 void *pv = v[0];
 pa = (A*)pv;

以下程序使用Cygwin/g++b编译通过:

#include <stdio.h>
#include <vector>

class A
{
public:
 int a;
};
class B
{
public:
 int b;
};
class AB : public B, public A
{
public:
 int ab;
};

int main(int argc, char **argv)
{
 AB *pab = new AB();
 pab->ab = 1;
 pab->b = 2;
 pab->a = 3;

 A* pa = (A*)pab;
 B* pb = (B*)pab;

 printf( "AB: %p\n" \
  " A: %p\n" \
  " B: %p\n",
  pab, pa, pb);

 std::vector<A*> v;
 //implicit type conversion
 v.insert(v.begin(), pab);
 void *pv = v[0];
 pa = (A*)pv;
 printf("pv is %p\npa is %p\npab %s pv\n", pv, pa, (pab == pv) ? "==" : "!=");

 printf("A.a is %d\n", pa->a);
 //forced type conversion
 pv = (void*)pab;
 pa = (A*)pv;
 printf("Now A.a is %d\n", pa->a);
}

运行结果:
AB: 0x6b01f0
A: 0x6b01f4
B: 0x6b01f0
pv is 0x6b01f4
pa is 0x6b01f4
pab != pv
A.a is 3
Now A.a is 2

absurd 发表于2006-07-16 11:48:00  IP: 211.161.63.*
这是编译器的特性,COM里面运用这种特性来取得某个子类实例的偏移量(COM本质论:inttable.h):
#define BASE_OFFSET(ClassName, BaseName) \
(DWORD(static_cast<BaseName*>(reinterpret_cast<ClassName*>(0x10000000))) - 0x10000000)
 
转载自:http://www.yuanma.org/data/2006/0716/article_1143.htm
posted @ 2009-03-30 01:51  江湖飘  阅读(516)  评论(0编辑  收藏  举报