高質(zhì)量C++/C編程指南 -- 第6章 函數(shù)設(shè)計(jì)

2019-11-17 05:18:20

字體：大中小

供稿：網(wǎng)友

　　第6章函數(shù)設(shè)計(jì)
函數(shù)是C++/C程序的基本功能單元，其重要性不言而喻。函數(shù)設(shè)計(jì)的細(xì)微缺點(diǎn)很輕易導(dǎo)致該函數(shù)被錯(cuò)用，所以光使函數(shù)的功能正確是不夠的。本章重點(diǎn)論述函數(shù)的接口設(shè)計(jì)和內(nèi)部實(shí)現(xiàn)的一些規(guī)則。函數(shù)接口的兩個(gè)要素是參數(shù)和返回值。C語(yǔ)言中，函數(shù)的參數(shù)和返回值的傳遞方式有兩種：值傳遞（pass by value）和指針傳遞（pass by pointer）。C++ 語(yǔ)言中多了引用傳遞（pass by reference）。由于引用傳遞的性質(zhì)象指針傳遞，而使用方式卻象值傳遞，初學(xué)者經(jīng)常迷惑不解，輕易引起混亂，請(qǐng)先閱讀6.6節(jié)“引用與指針的比較”。6.1 參數(shù)的規(guī)則
l 【規(guī)則6-1-1】參數(shù)的書寫要完整，不要貪圖省事只寫參數(shù)的類型而省略參數(shù)名字。假如函數(shù)沒有參數(shù)，則用void填充。例如：void SetValue(int width, int height); // 良好的風(fēng)格void SetValue(int, int); // 不良的風(fēng)格float GetValue(void); // 良好的風(fēng)格float GetValue(); // 不良的風(fēng)格l 【規(guī)則6-1-2】參數(shù)命名要恰當(dāng)，順序要合理。例如編寫字符串拷貝函數(shù)StringCopy，它有兩個(gè)參數(shù)。假如把參數(shù)名字起為str1和str2，例如void StringCopy(char *str1, char *str2);那么我們很難搞清楚究竟是把str1拷貝到str2中，還是剛好倒過(guò)來(lái)。可以把參數(shù)名字起得更有意義，如叫strSource和strDestination。這樣從名字上就可以看出應(yīng)該把strSource拷貝到strDestination。還有一個(gè)問(wèn)題，這兩個(gè)參數(shù)那一個(gè)該在前那一個(gè)該在后？參數(shù)的順序要遵循程序員的習(xí)慣。一般地，應(yīng)將目的參數(shù)放在前面，源參數(shù)放在后面。假如將函數(shù)聲明為：void StringCopy(char *strSource, char *strDestination);別人在使用時(shí)可能會(huì)不假思考地寫成如下形式：char str[20];StringCopy(str, “Hello World”); // 參數(shù)順序顛倒l 【規(guī)則6-1-3】假如參數(shù)是指針，且僅作輸入用，則應(yīng)在類型前加const，以防止該指針在函數(shù)體內(nèi)被意外修改。例如：void StringCopy(char *strDestination，const char *strSource);l 【規(guī)則6-1-4】假如輸入?yún)?shù)以值傳遞的方式傳遞對(duì)象，則宜改用“const &”方式來(lái)傳遞，這樣可以省去臨時(shí)對(duì)象的構(gòu)造和析構(gòu)過(guò)程，從而提高效率。2 【建議6-1-1】避免函數(shù)有太多的參數(shù)，參數(shù)個(gè)數(shù)盡量控制在5個(gè)以內(nèi)。假如參數(shù)太多，在使用時(shí)輕易將參數(shù)類型或順序搞錯(cuò)。2 【建議6-1-2】盡量不要使用類型和數(shù)目不確定的參數(shù)。C標(biāo)準(zhǔn)庫(kù)函數(shù)PRintf是采用不確定參數(shù)的典型代表，其原型為：int printf(const chat *format[, argument]…);這種風(fēng)格的函數(shù)在編譯時(shí)喪失了嚴(yán)格的類型安全檢查。6.2 返回值的規(guī)則
l 【規(guī)則6-2-1】不要省略返回值的類型。C語(yǔ)言中，凡不加類型說(shuō)明的函數(shù)，一律自動(dòng)按整型處理。這樣做不會(huì)有什么好處，卻輕易被誤解為void類型。C++語(yǔ)言有很嚴(yán)格的類型安全檢查，不答應(yīng)上述情況發(fā)生。由于C++程序可以調(diào)用C函數(shù)，為了避免混亂，規(guī)定任何C++/ C函數(shù)都必須有類型。假如函數(shù)沒有返回值，那么應(yīng)聲明為void類型。l 【規(guī)則6-2-2】函數(shù)名字與返回值類型在語(yǔ)義上不可沖突。違反這條規(guī)則的典型代表是C標(biāo)準(zhǔn)庫(kù)函數(shù)getchar。例如：char c;c = getchar();if (c == EOF)…按照getchar名字的意思，將變量c聲明為char類型是很自然的事情。但不幸的是getchar的確不是char類型，而是int類型，其原型如下：int getchar(void); 由于c是char類型，取值范圍是[-128，127]，假如宏EOF的值在char的取值范圍之外，那么if語(yǔ)句將總是失敗，這種“危險(xiǎn)”人們一般哪里料得到！導(dǎo)致本例錯(cuò)誤的責(zé)任并不在用戶，是函數(shù)getchar誤導(dǎo)了使用者。l 【規(guī)則6-2-3】不要將正常值和錯(cuò)誤標(biāo)志混在一起返回。正常值用輸出參數(shù)獲得，而錯(cuò)誤標(biāo)志用return語(yǔ)句返回。回顧上例，C標(biāo)準(zhǔn)庫(kù)函數(shù)的設(shè)計(jì)者為什么要將getchar聲明為令人迷糊的int類型呢？他會(huì)那么傻嗎？在正常情況下，getchar的確返回單個(gè)字符。但假如getchar碰到文件結(jié)束標(biāo)志或發(fā)生讀錯(cuò)誤，它必須返回一個(gè)標(biāo)志EOF。為了區(qū)別于正常的字符，只好將EOF定義為負(fù)數(shù)（通常為負(fù)1）。因此函數(shù)getchar就成了int類型。我們?cè)趯?shí)際工作中，經(jīng)常會(huì)碰到上述令人為難的問(wèn)題。為了避免出現(xiàn)誤解，我們應(yīng)該將正常值和錯(cuò)誤標(biāo)志分開。即：正常值用輸出參數(shù)獲得，而錯(cuò)誤標(biāo)志用return語(yǔ)句返回。函數(shù)getchar可以改寫成 BOOL GetChar(char *c);雖然gechar比GetChar靈活，例如 putchar(getchar()); 但是假如getchar用錯(cuò)了，它的靈活性又有什么用呢？2 【建議6-2-1】有時(shí)候函數(shù)原本不需要返回值，但為了增加靈活性如支持鏈?zhǔn)奖磉_(dá)，可以附加返回值。例如字符串拷貝函數(shù)strcpy的原型：char *strcpy(char *strDest，const char *strSrc);strcpy函數(shù)將strSrc拷貝至輸出參數(shù)strDest中，同時(shí)函數(shù)的返回值又是strDest。這樣做并非多此一舉，可以獲得如下靈活性：
char str[20];int length = strlen( strcpy(str, “Hello World”) ); 2 【建議6-2-2】假如函數(shù)的返回值是一個(gè)對(duì)象，有些場(chǎng)合用“引用傳遞”替換“值傳遞”可以提高效率。而有些場(chǎng)合只能用“值傳遞”而不能用“引用傳遞”，否則會(huì)出錯(cuò)。例如：class String{…// 賦值函數(shù)String & Operate=(const String &other); // 相加函數(shù)，假如沒有friend修飾則只許有一個(gè)右側(cè)參數(shù)friend String operate+( const String &s1, const String &s2); private:char *m_data; }String的賦值函數(shù)operate = 的實(shí)現(xiàn)如下：String & String::operate=(const String &other){if (this == &other)return *this;delete m_data;m_data = new char[strlen(other.data)+1];strcpy(m_data, other.data);return *this; // 返回的是 *this的引用，無(wú)需拷貝過(guò)程}對(duì)于賦值函數(shù)，應(yīng)當(dāng)用“引用傳遞”的方式返回String對(duì)象。假如用“值傳遞”的方式，雖然功能仍然正確，但由于return語(yǔ)句要把 *this拷貝到保存返回值的外部存儲(chǔ)單元之中，增加了不必要的開銷，降低了賦值函數(shù)的效率。例如：String a,b,c;…a = b; // 假如用“值傳遞”，將產(chǎn)生一次 *this 拷貝a = b = c; // 假如用“值傳遞”，將產(chǎn)生兩次 *this 拷貝String的相加函數(shù)operate + 的實(shí)現(xiàn)如下：String operate+(const String &s1, const String &s2) {String temp;delete temp.data; // temp.data是僅含‘/0’的字符串temp.data = new char[strlen(s1.data) + strlen(s2.data) +1];strcpy(temp.data, s1.data);strcat(temp.data, s2.data);return temp;} 對(duì)于相加函數(shù)，應(yīng)當(dāng)用“值傳遞”的方式返回String對(duì)象。假如改用“引用傳遞”，那么函數(shù)返回值是一個(gè)指向局部對(duì)象temp的“引用”。由于temp在函數(shù)結(jié)束時(shí)被自動(dòng)銷毀，將導(dǎo)致返回的“引用”無(wú)效。例如：c = a + b; 此時(shí) a + b 并不返回期望值，c什么也得不到，流下了隱患。6.3 函數(shù)內(nèi)部實(shí)現(xiàn)的規(guī)則
不同功能的函數(shù)其內(nèi)部實(shí)現(xiàn)各不相同，看起來(lái)似乎無(wú)法就“內(nèi)部實(shí)現(xiàn)”達(dá)成一致的觀點(diǎn)。但根據(jù)經(jīng)驗(yàn)，我們可以在函數(shù)體的“入口處”和“出口處”從嚴(yán)把關(guān)，從而提高函數(shù)的質(zhì)量。l 【規(guī)則6-3-1】在函數(shù)體的“入口處”，對(duì)參數(shù)的有效性進(jìn)行檢查。很多程序錯(cuò)誤是由非法參數(shù)引起的，我們應(yīng)該充分理解并正確使用“斷言”（assert）來(lái)防止此類錯(cuò)誤。詳見6.5節(jié)“使用斷言”。l 【規(guī)則6-3-2】在函數(shù)體的“出口處”，對(duì)return語(yǔ)句的正確性和效率進(jìn)行檢查。假如函數(shù)有返回值，那么函數(shù)的“出口處”是return語(yǔ)句。我們不要輕視r(shí)eturn語(yǔ)句。假如return語(yǔ)句寫得不好，函數(shù)要么出錯(cuò)，要么效率低下。注重事項(xiàng)如下：（1）return語(yǔ)句不可返回指向“棧內(nèi)存”的“指針”或者“引用”，因?yàn)樵搩?nèi)存在函數(shù)體結(jié)束時(shí)被自動(dòng)銷毀。例如char * Func(void){char str[] = “hello world”; // str的內(nèi)存位于棧上…return str; // 將導(dǎo)致錯(cuò)誤}（2）要搞清楚返回的究竟是“值”、“指針”還是“引用”。（3）假如函數(shù)返回值是一個(gè)對(duì)象，要考慮return語(yǔ)句的效率。例如 return String(s1 + s2);這是臨時(shí)對(duì)象的語(yǔ)法，表示“創(chuàng)建一個(gè)臨時(shí)對(duì)象并返回它”。不要以為它與“先創(chuàng)建一個(gè)局部對(duì)象temp并返回它的結(jié)果”是等價(jià)的，如String temp(s1 + s2);return temp;實(shí)質(zhì)不然，上述代碼將發(fā)生三件事。首先，temp對(duì)象被創(chuàng)建，同時(shí)完成初始化；然后拷貝構(gòu)造函數(shù)把temp拷貝到保存返回值的外部存儲(chǔ)單元中；最后，temp在函數(shù)結(jié)束時(shí)被銷毀（調(diào)用析構(gòu)函數(shù)）。然而“創(chuàng)建一個(gè)臨時(shí)對(duì)象并返回它”的過(guò)程是不同的，編譯器直接把臨時(shí)對(duì)象創(chuàng)建并初始化在外部存儲(chǔ)單元中，省去了拷貝和析構(gòu)的化費(fèi)，提高了效率。類似地，我們不要將 return int(x + y); // 創(chuàng)建一個(gè)臨時(shí)變量并返回它寫成int temp = x + y;return temp;由于內(nèi)部數(shù)據(jù)類型如int,float,double的變量不存在構(gòu)造函數(shù)與析構(gòu)函數(shù)，雖然該“臨時(shí)變量的語(yǔ)法”不會(huì)提高多少效率，但是程序更加簡(jiǎn)潔易讀。6.4 其它建議
2 【建議6-4-1】函數(shù)的功能要單一，不要設(shè)計(jì)多用途的函數(shù)。2 【建議6-4-2】函數(shù)體的規(guī)模要小，盡量控制在50行代碼之內(nèi)。2 【建議6-4-3】盡量避免函數(shù)帶有“記憶”功能。相同的輸入應(yīng)當(dāng)產(chǎn)生相同的輸出。帶有“記憶”功能的函數(shù)，其行為可能是不可猜測(cè)的，因?yàn)樗男袨榭赡苋Q于某種“記憶狀態(tài)”。這樣的函數(shù)既不易理解又不利于測(cè)試和維護(hù)。在C/C++語(yǔ)言中，函數(shù)的static局部變量是函數(shù)的“記憶”存儲(chǔ)器。建議盡量少用static局部變量，除非必需。
2 【建議6-4-4】不僅要檢查輸入?yún)?shù)的有效性，還要檢查通過(guò)其它途徑進(jìn)入函數(shù)體內(nèi)的變量的有效性，例如全局變量、文件句柄等。2 【建議6-4-5】用于出錯(cuò)處理的返回值一定要清楚，讓使用者不輕易忽視或誤解錯(cuò)誤情況。6.5 使用斷言
程序一般分為Debug版本和Release版本，Debug版本用于內(nèi)部調(diào)試，Release版本發(fā)行給用戶使用。斷言assert是僅在Debug版本起作用的宏，它用于檢查“不應(yīng)該”發(fā)生的情況。示例6-5是一個(gè)內(nèi)存復(fù)制函數(shù)。在運(yùn)行過(guò)程中，假如assert的參數(shù)為假，那么程序就會(huì)中止（一般地還會(huì)出現(xiàn)提示對(duì)話，說(shuō)明在什么地方引發(fā)了assert）。void *memcpy(void *pvTo, const void *pvFrom, size_t size){assert((pvTo != NULL) && (pvFrom != NULL)); // 使用斷言byte *pBTo = (byte *) pvTo; // 防止改變pvTo的地址byte *pbFrom = (byte *) pvFrom; // 防止改變pvFrom的地址while(size -- > 0 )*pbTo ++ = *pbFrom ++ ;return pvTo;}
示例6-5 復(fù)制不重疊的內(nèi)存塊assert不是一個(gè)倉(cāng)促拼湊起來(lái)的宏。為了不在程序的Debug版本和Release版本引起差別，assert不應(yīng)該產(chǎn)生任何副作用。所以assert不是函數(shù)，而是宏。程序員可以把a(bǔ)ssert看成一個(gè)在任何系統(tǒng)狀態(tài)下都可以安全使用的無(wú)害測(cè)試手段。假如程序在assert處終止了，并不是說(shuō)含有該assert的函數(shù)有錯(cuò)誤，而是調(diào)用者出了差錯(cuò)，assert可以幫助我們找到發(fā)生錯(cuò)誤的原因。很少有比跟蹤到程序的斷言，卻不知道該斷言的作用更讓人沮喪的事了。你化了很多時(shí)間，不是為了排除錯(cuò)誤，而只是為了弄清楚這個(gè)錯(cuò)誤到底是什么。有的時(shí)候，程序員偶然還會(huì)設(shè)計(jì)出有錯(cuò)誤的斷言。所以假如搞不清楚斷言檢查的是什么，就很難判定錯(cuò)誤是出現(xiàn)在程序中，還是出現(xiàn)在斷言中。幸運(yùn)的是這個(gè)問(wèn)題很好解決，只要加上清楚的注釋即可。這本是顯而易

上一篇：高質(zhì)量C++/C編程指南 -- 第1章 文件結(jié)構(gòu)

下一篇：高質(zhì)量C++/C編程指南 -- 第7章 內(nèi)存管理