C++指针漂移问题的解决方法

这篇文章给大家介绍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++指针漂移问题的解决方法就分享到这里了，希望以上内容可以对大家有一定的帮助，可以学到更多知识。如果觉得文章不错，可以把它分享出去让更多的人看到。