C++编程语言虽然功能强大,应用方式灵活,但是在实际编程中同样会出现各种各样的错误。在这里我们将会为大家详细介绍一下有关C++指针漂移的解决方法,希望本文介绍的内容可以帮助大家解决问题。
最近我们在工作中碰到一个奇怪的问题,***确定是多继承引起的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
以上就是C++指针漂移的相关解决方法。
【编辑推荐】