C++C編程指南 -- 第6章 函數(shù)設計

1、第6章 函數(shù)設計函數(shù)是c+/c程序的基本功能單元，其重要性不言而喻。函數(shù)設計的細微缺點很容易導致該函數(shù)被錯用，所以光使函數(shù)的功能正確是不夠的。本章重點論述函數(shù)的接口設計和內(nèi)部實現(xiàn)的一些規(guī)則。 函數(shù)接口的兩個要素是參數(shù)和返回值。c語言中，函數(shù)的參數(shù)和返回值的傳遞方式有兩種：值傳遞（pass by value）和指針傳遞（pass by pointer）。c+ 語言中多了引用傳遞（pass by reference）。由于引用傳遞的性質(zhì)象指針傳遞，而使用方式卻象值傳遞，初學者常常迷惑不解，容易引起混亂，請先閱讀6.6節(jié)“引用與指針的比較”。6.1 參數(shù)的規(guī)則l 【規(guī)則6-1-1】參數(shù)的書寫要完整，

2、不要貪圖省事只寫參數(shù)的類型而省略參數(shù)名字。如果函數(shù)沒有參數(shù)，則用void填充。例如：void setvalue(int width, int height); / 良好的風格void setvalue(int, int); / 不良的風格float getvalue(void); / 良好的風格float getvalue(); / 不良的風格l 【規(guī)則6-1-2】參數(shù)命名要恰當，順序要合理。例如編寫字符串拷貝函數(shù)stringcopy，它有兩個參數(shù)。如果把參數(shù)名字起為str1和str2，例如void stringcopy(char *str1, char *str2);那么我們很難搞清楚究竟是

3、把str1拷貝到str2中，還是剛好倒過來。可以把參數(shù)名字起得更有意義，如叫strsource和strdestination。這樣從名字上就可以看出應該把strsource拷貝到strdestination。還有一個問題，這兩個參數(shù)那一個該在前那一個該在后？參數(shù)的順序要遵循程序員的習慣。一般地，應將目的參數(shù)放在前面，源參數(shù)放在后面。如果將函數(shù)聲明為：void stringcopy(char *strsource, char *strdestination);別人在使用時可能會不假思索地寫成如下形式：char str20;stringcopy(str, “hello world”); / 參數(shù)順

4、序顛倒l 【規(guī)則6-1-3】如果參數(shù)是指針，且僅作輸入用，則應在類型前加const，以防止該指針在函數(shù)體內(nèi)被意外修改。例如：void stringcopy(char *strdestination，const char *strsource);l 【規(guī)則6-1-4】如果輸入?yún)?shù)以值傳遞的方式傳遞對象，則宜改用“const &”方式來傳遞，這樣可以省去臨時對象的構(gòu)造和析構(gòu)過程，從而提高效率。2 【建議6-1-1】避免函數(shù)有太多的參數(shù)，參數(shù)個數(shù)盡量控制在5個以內(nèi)。如果參數(shù)太多，在使用時容易將參數(shù)類型或順序搞錯。2 【建議6-1-2】盡量不要使用類型和數(shù)目不確定的參數(shù)。c標準庫函數(shù)printf是采用

5、不確定參數(shù)的典型代表，其原型為：int printf(const chat *format, argument);這種風格的函數(shù)在編譯時喪失了嚴格的類型安全檢查。6.2 返回值的規(guī)則l 【規(guī)則6-2-1】不要省略返回值的類型。c語言中，凡不加類型說明的函數(shù)，一律自動按整型處理。這樣做不會有什么好處，卻容易被誤解為void類型。c+語言有很嚴格的類型安全檢查，不允許上述情況發(fā)生。由于c+程序可以調(diào)用c函數(shù)，為了避免混亂，規(guī)定任何c+/ c函數(shù)都必須有類型。如果函數(shù)沒有返回值，那么應聲明為void類型。l 【規(guī)則6-2-2】函數(shù)名字與返回值類型在語義上不可沖突。違反這條規(guī)則的典型代表是c標準庫函數(shù)

6、getchar。例如：char c;c = getchar();if (c = eof)按照getchar名字的意思，將變量c聲明為char類型是很自然的事情。但不幸的是getchar的確不是char類型，而是int類型，其原型如下：int getchar(void);由于c是char類型，取值范圍是-128，127，如果宏eof的值在char的取值范圍之外，那么if語句將總是失敗，這種“危險”人們一般哪里料得到！導致本例錯誤的責任并不在用戶，是函數(shù)getchar誤導了使用者。l 【規(guī)則6-2-3】不要將正常值和錯誤標志混在一起返回。正常值用輸出參數(shù)獲得，而錯誤標志用return語句返回?；仡?/p>

7、上例，c標準庫函數(shù)的設計者為什么要將getchar聲明為令人迷糊的int類型呢？他會那么傻嗎？在正常情況下，getchar的確返回單個字符。但如果getchar碰到文件結(jié)束標志或發(fā)生讀錯誤，它必須返回一個標志eof。為了區(qū)別于正常的字符，只好將eof定義為負數(shù)（通常為負1）。因此函數(shù)getchar就成了int類型。我們在實際工作中，經(jīng)常會碰到上述令人為難的問題。為了避免出現(xiàn)誤解，我們應該將正常值和錯誤標志分開。即：正常值用輸出參數(shù)獲得，而錯誤標志用return語句返回。函數(shù)getchar可以改寫成 bool getchar(char *c);雖然gechar比getchar靈活，例如 putc

8、har(getchar(); 但是如果getchar用錯了，它的靈活性又有什么用呢？2 【建議6-2-1】有時候函數(shù)原本不需要返回值，但為了增加靈活性如支持鏈式表達，可以附加返回值。例如字符串拷貝函數(shù)strcpy的原型：char *strcpy(char *strdest，const char *strsrc);strcpy函數(shù)將strsrc拷貝至輸出參數(shù)strdest中，同時函數(shù)的返回值又是strdest。這樣做并非多此一舉，可以獲得如下靈活性：char str20;int length = strlen( strcpy(str, “hello world”) ); 2 【建議6-2-2】如

9、果函數(shù)的返回值是一個對象，有些場合用“引用傳遞”替換“值傳遞”可以提高效率。而有些場合只能用“值傳遞”而不能用“引用傳遞”，否則會出錯。例如：class string/ 賦值函數(shù)string & operate=(const string &other); / 相加函數(shù)，如果沒有friend修飾則只許有一個右側(cè)參數(shù)friend string operate+( const string &s1, const string &s2); private:char *m_data; string的賦值函數(shù)operate = 的實現(xiàn)如下：string & string:operate=(const s

10、tring &other)if (this = &other)return *this;delete m_data;m_data = new charstrlen(other.data)+1;strcpy(m_data, other.data);return *this; / 返回的是 *this的引用，無需拷貝過程對于賦值函數(shù)，應當用“引用傳遞”的方式返回string對象。如果用“值傳遞”的方式，雖然功能仍然正確，但由于return語句要把 *this拷貝到保存返回值的外部存儲單元之中，增加了不必要的開銷，降低了賦值函數(shù)的效率。例如：string a,b,c;a = b; / 如果用“值傳遞

11、”，將產(chǎn)生一次 *this 拷貝a = b = c; / 如果用“值傳遞”，將產(chǎn)生兩次 *this 拷貝string的相加函數(shù)operate + 的實現(xiàn)如下：string operate+(const string &s1, const string &s2) string temp;delete temp.data; / temp.data是僅含0的字符串temp.data = new charstrlen(s1.data) + strlen(s2.data) +1;strcpy(temp.data, s1.data);strcat(temp.data, s2.data);return te

12、mp;對于相加函數(shù)，應當用“值傳遞”的方式返回string對象。如果改用“引用傳遞”，那么函數(shù)返回值是一個指向局部對象temp的“引用”。由于temp在函數(shù)結(jié)束時被自動銷毀，將導致返回的“引用”無效。例如：c = a + b; 此時 a + b 并不返回期望值，c什么也得不到，流下了隱患。6.3 函數(shù)內(nèi)部實現(xiàn)的規(guī)則不同功能的函數(shù)其內(nèi)部實現(xiàn)各不相同，看起來似乎無法就“內(nèi)部實現(xiàn)”達成一致的觀點。但根據(jù)經(jīng)驗，我們可以在函數(shù)體的“入口處”和“出口處”從嚴把關，從而提高函數(shù)的質(zhì)量。l 【規(guī)則6-3-1】在函數(shù)體的“入口處”，對參數(shù)的有效性進行檢查。很多程序錯誤是由非法參數(shù)引起的，我們應該充分理解并正確使

13、用“斷言”（assert）來防止此類錯誤。詳見6.5節(jié)“使用斷言”。l 【規(guī)則6-3-2】在函數(shù)體的“出口處”，對return語句的正確性和效率進行檢查。如果函數(shù)有返回值，那么函數(shù)的“出口處”是return語句。我們不要輕視return語句。如果return語句寫得不好，函數(shù)要么出錯，要么效率低下。注意事項如下：（1）return語句不可返回指向“棧內(nèi)存”的“指針”或者“引用”，因為該內(nèi)存在函數(shù)體結(jié)束時被自動銷毀。例如char * func(void)char str = “hello world”; / str的內(nèi)存位于棧上return str; / 將導致錯誤（2）要搞清楚返回的究竟是“值

14、”、“指針”還是“引用”。（3）如果函數(shù)返回值是一個對象，要考慮return語句的效率。例如 return string(s1 + s2);這是臨時對象的語法，表示“創(chuàng)建一個臨時對象并返回它”。不要以為它與“先創(chuàng)建一個局部對象temp并返回它的結(jié)果”是等價的，如string temp(s1 + s2);return temp;實質(zhì)不然，上述代碼將發(fā)生三件事。首先，temp對象被創(chuàng)建，同時完成初始化；然后拷貝構(gòu)造函數(shù)把temp拷貝到保存返回值的外部存儲單元中；最后，temp在函數(shù)結(jié)束時被銷毀（調(diào)用析構(gòu)函數(shù)）。然而“創(chuàng)建一個臨時對象并返回它”的過程是不同的，編譯器直接把臨時對象創(chuàng)建并初始化在外部存

15、儲單元中，省去了拷貝和析構(gòu)的化費，提高了效率。類似地，我們不要將 return int(x + y); / 創(chuàng)建一個臨時變量并返回它寫成int temp = x + y;return temp;由于內(nèi)部數(shù)據(jù)類型如int,float,double的變量不存在構(gòu)造函數(shù)與析構(gòu)函數(shù)，雖然該“臨時變量的語法”不會提高多少效率，但是程序更加簡潔易讀。6.4 其它建議2 【建議6-4-1】函數(shù)的功能要單一，不要設計多用途的函數(shù)。2 【建議6-4-2】函數(shù)體的規(guī)模要小，盡量控制在50行代碼之內(nèi)。2 【建議6-4-3】盡量避免函數(shù)帶有“記憶”功能。相同的輸入應當產(chǎn)生相同的輸出。帶有“記憶”功能的函數(shù)，其行為可能

16、是不可預測的，因為它的行為可能取決于某種“記憶狀態(tài)”。這樣的函數(shù)既不易理解又不利于測試和維護。在c/c+語言中，函數(shù)的static局部變量是函數(shù)的“記憶”存儲器。建議盡量少用static局部變量，除非必需。2 【建議6-4-4】不僅要檢查輸入?yún)?shù)的有效性，還要檢查通過其它途徑進入函數(shù)體內(nèi)的變量的有效性，例如全局變量、文件句柄等。2 【建議6-4-5】用于出錯處理的返回值一定要清楚，讓使用者不容易忽視或誤解錯誤情況。6.5 使用斷言程序一般分為debug版本和release版本，debug版本用于內(nèi)部調(diào)試，release版本發(fā)行給用戶使用。斷言assert是僅在debug版本起作用的宏，它用于檢

17、查“不應該”發(fā)生的情況。示例6-5是一個內(nèi)存復制函數(shù)。在運行過程中，如果assert的參數(shù)為假，那么程序就會中止（一般地還會出現(xiàn)提示對話，說明在什么地方引發(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 復制不重疊的內(nèi)存塊assert不是一個倉促拼湊起來的宏。為了不在程序的debug版本和release版本引起差別，assert不應該產(chǎn)生任何副作用。所以assert不是函