我們先來(lái)看個(gè)例子

char * strcpy(char * strDest,const char * strSrc) {
　　if ((NULL==strDest) || (NULL==strSrc)) 
　　　　throw "Invalid argument(s)";
　　char * strDestCopy = strDest;
　　while ((*strDestCopy++ = *strSrc++) != '\0');
　　return strDest;
}

突然想到之前做過(guò)的一個(gè)試題

題目：
    已知strcpy函數(shù)的原型是：
        char * strcpy(char * strDest,const char * strSrc);
    1.不調(diào)用庫(kù)函數(shù)，實(shí)現(xiàn)strcpy函數(shù)。
    2.解釋為什么要返回char *。

    解說(shuō)：
    1.strcpy的實(shí)現(xiàn)代碼

    char * strcpy(char * strDest,const char * strSrc)

    {

        if ((strDest==NULL)||(strSrc==NULL)) //[1]

            throw "Invalid argument(s)"; //[2]

        char * strDestCopy=strDest; //[3]

        while ((*strDest++=*strSrc++)!='/0'); //[4]

        return strDestCopy;

    }

    錯(cuò)誤的做法： 

    [1]
    (A)不檢查指針的有效性，說(shuō)明答題者不注重代碼的健壯性。
    (B)檢查指針的有效性時(shí)使用((!strDest)||(!strSrc))或(!(strDest&&strSrc))，說(shuō)明答題者對(duì)C語(yǔ)言中類型的隱式轉(zhuǎn)換沒(méi)有深刻認(rèn)識(shí)。在本例中char *轉(zhuǎn)換為bool即是類型隱式轉(zhuǎn)換，這種功能雖然靈活，但更多的是導(dǎo)致出錯(cuò)概率增大和維護(hù)成本升高。所以C++專門(mén)增加了bool、true、false三個(gè)關(guān)鍵字以提供更安全的條件表達(dá)式。
    (C)檢查指針的有效性時(shí)使用((strDest==0)||(strSrc==0))，說(shuō)明答題者不知道使用常量的好處。直接使用字面常量（如本例中的0）會(huì)減少程序的可維護(hù)性。0雖然簡(jiǎn)單，但程序中可能出現(xiàn)很多處對(duì)指針的檢查，萬(wàn)一出現(xiàn)筆誤，編譯器不能發(fā)現(xiàn)，生成的程序內(nèi)含邏輯錯(cuò)誤，很難排除。而使用NULL代替0，如果出現(xiàn)拼寫(xiě)錯(cuò)誤，編譯器就會(huì)檢查出來(lái)。 

    [2]
    (A)return new string("Invalid argument(s)");，說(shuō)明答題者根本不知道返回值的用途，并且他對(duì)內(nèi)存泄漏也沒(méi)有警惕心。從函數(shù)中返回函數(shù)體內(nèi)分配的內(nèi)存是十分危險(xiǎn)的做法，他把釋放內(nèi)存的義務(wù)拋給不知情的調(diào)用者，絕大多數(shù)情況下，調(diào)用者不會(huì)釋放內(nèi)存，這導(dǎo)致內(nèi)存泄漏。
    (B)return 0;，說(shuō)明答題者沒(méi)有掌握異常機(jī)制。調(diào)用者有可能忘記檢查返回值，調(diào)用者還可能無(wú)法檢查返回值（見(jiàn)后面的鏈?zhǔn)奖磉_(dá)式）。妄想讓返回值肩負(fù)返回正確值和異常值的雙重功能，其結(jié)果往往是兩種功能都失效。應(yīng)該以拋出異常來(lái)代替返回值，這樣可以減輕調(diào)用者的負(fù)擔(dān)、使錯(cuò)誤不會(huì)被忽略、增強(qiáng)程序的可維護(hù)性。 

   [3]
    (A)忘記保存原始的strDest值，說(shuō)明答題者邏輯思維不嚴(yán)密。
    [4]
    (A)循環(huán)寫(xiě)成while (*strDest++=*strSrc++);，同[1](B)。
    (B)循環(huán)寫(xiě)成while (*strSrc!='/0') *strDest++=*strSrc++;，說(shuō)明答題者對(duì)邊界條件的檢查不力。循環(huán)體結(jié)束后，strDest字符串的末尾沒(méi)有正確地加上'/0'。

    2.返回strDest的原始值使函數(shù)能夠支持鏈?zhǔn)奖磉_(dá)式，增加了函數(shù)的“附加值”。同樣功能的函數(shù)，如果能合理地提高的可用性，自然就更加理想。
    鏈?zhǔn)奖磉_(dá)式的形式如：
        int iLength=strlen(strcpy(strA,strB));
    又如：
        char * strA=strcpy(new char[10],strB);
    返回strSrc的原始值是錯(cuò)誤的。其一，源字符串肯定是已知的，返回它沒(méi)有意義。其二，不能支持形如第二例的表達(dá)式。其三，為了保護(hù)源字符串，形參用const限定strSrc所指的內(nèi)容，把const char *作為char *返回，類型不符，編譯報(bào)錯(cuò)。