MoreEffectiveC++:指針與引用的區(qū)別

字號:

指針與引用看上去完全不同(指針用操作符’*’和’->’,引用使用操作符’.’),但是它們似乎有相同的功能。指針與引用都是讓你間接引用其他對象。你如何決定在什么時候使用指針,在什么時候使用引用呢?
    首先,要認(rèn)識到在任何情況下都不能用指向空值的引用。一個引用必須總是指向某些對象。因此如果你使用一個變量并讓它指向一個對象,但是該變量在某些時候也可能不指向任何對象,這時你應(yīng)該把變量聲明為指針,因為這樣你可以賦空值給該變量。相反,如果變量肯定指向一個對象,例如你的設(shè)計不允許變量為空,這時你就可以把變量聲明為引用。
    “但是,請等一下”,你懷疑地問,“這樣的代碼會產(chǎn)生什么樣的后果?”
    char *pc = 0; // 設(shè)置指針為空值
    char& rc = *pc; // 讓引用指向空值
    這是非常有害的,毫無疑問。結(jié)果將是不確定的(編譯器能產(chǎn)生一些輸出,導(dǎo)致任何事情都有可能發(fā)生),應(yīng)該躲開寫出這樣代碼的人除非他們同意改正錯誤。如果你擔(dān)心這樣的代碼會出現(xiàn)在你的軟件里,那么你完全避免使用引用,要不然就去讓更優(yōu)秀的程序員去做。我們以后將忽略一個引用指向空值的可能性。
    因為引用肯定會指向一個對象,在C里,引用應(yīng)被初始化。
    string& rs; // 錯誤,引用必須被初始化
    string s("xyzzy");
    string& rs = s; // 正確,rs指向s
    指針沒有這樣的限制。
    string *ps; // 未初始化的指針
    // 合法但危險
    不存在指向空值的引用這個事實意味著使用引用的代碼效率比使用指針的要高。因為在使用引用之前不需要測試它的合法性。
    void printDouble(const double& rd)
    {
    cout << rd; // 不需要測試rd,它
    } // 肯定指向一個double值