这篇文章给大家介绍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++指针漂移问题的解决方法就分享到这里了,希望以上内容可以对大家有一定的帮助,可以学到更多知识。如果觉得文章不错,可以把它分享出去让更多的人看到。
亿速云「云服务器」,即开即用、新一代英特尔至强铂金CPU、三副本存储NVMe SSD云盘,价格低至29元/月。点击查看>>
免责声明:本站发布的内容(图片、视频和文字)以原创、转载和分享为主,文章观点不代表本网站立场,如果涉及侵权请联系站长邮箱:is@yisu.com进行举报,并提供相关证据,一经查实,将立刻删除涉嫌侵权内容。