C 指標使用方法解惑

在下列函式宣告中，為什麼要同時使用*和&符號？以及什麼場合使用這種宣告方式?

void func1( myclass *&pbuildingelement );      
論壇中經常有人問到這樣的問題。本文試圖通過一些實際的指標使用經驗來解釋這個問題。
仔細看一下這種宣告方式，確實有點讓人迷惑。在某種意義上，"*"和"&"是意思相對的兩個東西，把它們放在一起有什麼意義呢？。為了理解指標的這種做法，我們先複習一下c/c++程式設計中無所不在的指標概念。我們都知道myclass*的意思：指向某個物件的指標，此物件的型別為myclass。

void func1(myclass *pmyclass);       
// 例如： 
myclass* p = new myclass;
func1(p);

上面這段**的這種處理方法想必誰都用過，建立乙個myclass物件，然後將它傳入func1函式。現在假設此函式要修改pmyclass：

void func1(myclass *pmyclass)

第二條語句在函式過程中只修改了pmyclass的值。並沒有修改呼叫者的變數p的值。如果p指向某個位於位址0x008a00的物件，當func1返回時，它仍然指向這個特定的物件。（除非func1有bug將堆弄亂了，完全有這種可能。）

現在假設你想要在func1中修改p的值。這是你的權利。呼叫者傳入乙個指標，然後函式給這個指標賦值。以往一般都是傳雙指標，即指標的指標，例如，cmyclass**。

myclass* p = null;
func1(&p);
void func1(myclass** pmyclass);

呼叫func1之後，p指向新的物件。在com程式設計中，你到處都會碰到這樣的用法--例如在查詢物件介面的queryinte***ce函式中：

inte***ce isomeinte***ce ;  
lpsomeinte***ce p=null;   
pob->queryinte***ce(iid_someinte***ce, &p);

此處，p是someinte***ce型別的指標，所以&p便是指標的指標，在queryinte***ce返回的時候，如果呼叫成功，則變數p包含乙個指向新的介面的指標。

如果你理解指標的指標，那麼你肯定就理解指標引用，因為它們完全是一回事。如果你象下面這樣宣告函式：

void func1(myclass *&pmyclass);
myclass* p = null;
func1(p);

在呼叫之後，p指向乙個新的物件。一般來講，引用的原理或多或少就象乙個指標，從語法上看它就是乙個普通變數。所以只要你碰到*&，就應該想到**。也就是說這個函式修改或可能修改呼叫者的指標，而呼叫者象普通變數一樣傳遞這個指標，不使用位址操作符&。

至於說什麼場合要使用這種方法，我會說，極少。mfc在其集合類中用到了它--例如，coblist，它是乙個cobjects指標列表。

class coblist : public cobject ;

這裡有兩個getat函式，功能都是獲取給定位置的元素。區別何在呢？

區別在於乙個讓你修改列表中的物件，另乙個則不行。所以如果你寫成下面這樣：

cobject* pobj = mylist.getat(pos);

則pobj是列表中某個物件的指標，如果接著改變pobj的值：

cobject*& rpobj = mylist.getat(pos);

現在，rpobj是引用乙個列表中的物件的指標，所以當改變rpobj時，也會改變列表中位置pos處的物件位址--換句話說，替代了這個物件。這就是為什麼coblist會有兩個getat函式的緣故。乙個可以修改指標的值，另乙個則不能。注意我在此說的是指標，不是物件本身。這兩個函式都可以修改物件，但只有*&版本可以替代物件。

在c/c++中引用是很重要的，同時也是高效的處理手段。所以要想成為c/c++高手，對引用的概念沒有透徹的理解和熟練的應用是不行的。

C 指標使用方法解惑

C 指標使用方法解惑

C 指標使用方法解惑

C 指標使用方法解惑

相關推薦