C++指標漂移問題解決方案

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 v; //implicit type conversion v.insert(v.begin(), pab); void *pv = v[0]; pa = (A*)pv; 以下程式使用Cygwin/g++b編譯通過：

　　#include #include 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: %pn" " A: %pn" " B: %pn", pab, pa, pb); std::vector v; //implicit type conversion v.insert(v.begin(), pab); void *pv = v[0]; pa = (A*)pv; printf("pv is %pnpa is %pnpab %s pvn", pv, pa, (pab == pv) ? "==" : "!="); printf("A.a is %dn", pa->a); //forced type conversion pv = (void*)pab; pa = (A*)pv; printf("Now A.a is %dn", 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