《C陷阱與缺陷》 Andrew Koenig 讀書筆記 附錄來自網(wǎng)絡(luò)
2.1 理解函數(shù)的聲明
2.1.1 如何聲明一個給定類型的變量
任何c變量的聲明都由兩部分組成：
類型以及一組類似表達(dá)式的聲明符
float f,g; //f和g的類型為float
float ((f));//((f))的類型為浮點(diǎn)型
float ff(); //表達(dá)式ff()求值結(jié)果為float
float *pf; //*pf是一個浮點(diǎn)數(shù)，也就是pf指向一個浮點(diǎn)數(shù)的指針
float *g(),(*h)();
表示*g( )與(*h)( )是浮點(diǎn)表達(dá)式。
因?yàn)? )結(jié)合優(yōu)于*，*g( )也就是*(g( ));
g是一個函數(shù)，返回值為float的指針
h是一個函數(shù)指針，h指向的函數(shù)的返回值為浮點(diǎn)類型
2.1.2 如何得到一個類型的轉(zhuǎn)換符
一旦知道了如何聲明一個給定類型的變量，那么該類型的類型轉(zhuǎn)換符就是：
把聲明中的變量名和聲明末尾的分號去掉，再將剩下的部分用一個括號整個“封裝”起來即可
float (*h)();
表示h是一個返回值為float的函數(shù)指針，因此，
(float (*)())
表示一個“指向返回值為浮點(diǎn)類型的函數(shù)的指針”的類型轉(zhuǎn)換符
2.1.3 分析(*(void(*)())0)();
上面的程序是調(diào)用首地址為0位置的例程。
- 第一步 前導(dǎo)知識
假定fp是一個函數(shù)的指針，如何調(diào)用fp所指的函數(shù)？(*fp)()
fp指向一個函數(shù)，*fp就是該指針指向的函數(shù)，(*fp)( )就是函數(shù)的調(diào)用了
注意：在ANSI C 標(biāo)準(zhǔn)中可以簡寫為fp( )，但這只是一種簡寫形式注意
*fp兩側(cè)的括號，非常重要，因?yàn)?code>()的優(yōu)先級高于*，所以在沒有括號的情況下就變成了*(fp( )),由于fp()是(*fp)()的簡寫，故也變?yōu)榱?code>*((*fp)())
- 第二步 分析
(*0)();
上面的式子是錯誤的，因?yàn)?操作的對象必須是一個指針，而0是一個常量
那么就需要將常數(shù)0類型轉(zhuǎn)換為函數(shù)的指針
指針實(shí)際上是一個4個字節(jié)用來保存地址的數(shù)，如果將0轉(zhuǎn)化為函數(shù)的指針，由于指針的值為0，故轉(zhuǎn)換后會變成指向0地址的函數(shù)的指針
由2.1.1可以知道，轉(zhuǎn)化為返回值為void類型的函數(shù)的指針加上
(void(*)( ))即可
(* (void(*)()) 0 )()
- 進(jìn)一步擴(kuò)展
利用typede可以更加簡化函數(shù)的聲明
例如：void (*signal(int,void(*)(int)))(int)
可以簡化為：
typedef void (*HANDLER)(int);
HANDLER signal (int,HANDLER);
關(guān)于上面typedef的解讀，見下面的附錄
2.2 運(yùn)算符的優(yōu)先級問題
記住優(yōu)先級很好，因?yàn)樘嗟睦ㄌ枙绊戦喿x，如果記不住，還是加括號吧。
記住三點(diǎn)：
- 任何一個邏輯運(yùn)算符的優(yōu)先級低于任何一個關(guān)系運(yùn)算符（加減乘除...）
- 位移運(yùn)算符的優(yōu)先級比算數(shù)運(yùn)算符要低，但比關(guān)系運(yùn)算符（與或非...）要高。
- 三目運(yùn)算符優(yōu)先級最低
2.3 注意語句結(jié)束的;
據(jù)說90%的錯誤都是因?yàn)?code>;
2.4 switch 語句
注意其中的break;語句。
漏掉后會造成不可預(yù)計的錯誤，當(dāng)然有意的漏寫，可以實(shí)現(xiàn)特別的控制結(jié)構(gòu)。
2.5 函數(shù)調(diào)用
不帶參數(shù)也需要加參數(shù)列表；
f();
而不是
f;
2.6 "懸掛"else引發(fā)的問題
這段代碼中的else實(shí)際作用是在第二個if之后。
建議：使用{ }哪怕只有一句執(zhí)行語句。
附錄
關(guān)于typedef
在signal函數(shù)中有這樣的定義：
typedef void (*sighandler_t)(int);
sighandler_t signal(int signum, sighandler_t handler);
此處由于加了typedef自定義了一個新類型sighandler_t，所以第二行的函數(shù)原型看起來順眼多了，形式跟int func(char c, int i)無異，但是如果看不懂typedef語句，這兩句話仍然是噩夢。
要理解typedef，只要記住一句話就差不多了，那就是：
typedef在語句中所起的作用只不過是把語句原先定義變量的功能變成了定義類型的功能而已。我們只消看幾個例子立即明白。
例如語句 typedef int *apple; 理解它的正確步驟是這樣的：先別看typedef，就剩下int *apple; 這個語句再簡單不過，就是聲明了一個指向整型變量的指針apple (注意：定義只是一種特殊的聲明)，加上typedef之后就解釋成聲明了一種指向整型變量指針的類型apple 。
現(xiàn)在，回過來看上面的這個函數(shù)原型 typedef void (*sighandler_t)(int)，蓋住 typedef不看 ，再簡單不過，sighandler_t就是一個函數(shù)指針，指向的函數(shù)接受一個整型參數(shù)并返回一個無類型指針 。加上typedef之后sighandler_t就是一種新的類型，就可以像int一樣地去用它，不同的是它聲明是一種函數(shù)指針，這種指針指向的函數(shù)接受一個整型參數(shù)并返回一個無類型指針 。怎么樣？簡單吧。
例子：
再來做一個更酷的練習(xí)，請看：typedef char *(* c[10])(int **p);
去 掉typedef就變成char *(* c[10])(int **p)，先不管這個語句有多難看，它一定是聲明了一個擁有10個元素的數(shù)組c對不對？okay沒什么了不起的，只不過這個數(shù)組c的元素有點(diǎn)特別，它們都 是函數(shù)指針，并且它們所指向的這些函數(shù)統(tǒng)統(tǒng)都接受一個二級指針然后返回一直指向字符型的指針。加上typedef之后，c就不是一個數(shù)組了，而是一種類型 了，什么類型現(xiàn)在你能說出來了吧。 _
說到typedef就不能不把它跟宏替換比較，typedef相對于宏替換是一種徹底的“替換”，#define之所以被稱為宏替換，是因?yàn)樗褪呛唵蔚卣瞻崽鎿Q字符串。來看個例子：
例1 typedef int x[10];
例2 #define x int[10]
例1定義了類型x，此時我們就可以用它來定義別的變量了，比如x y; 此時y是一個擁有10個整型變量的數(shù)組，效果與語句int y[10]無異。typedef帶給我們的是一種徹底的封裝。
例2用了宏定義的方式，將來在該宏的作用域范圍內(nèi)的任何地方遇到的x都將被簡單地替換成int [10]。
（注意到，宏替換結(jié)尾是不帶分號的，不同于typedef語句）
對于typedef和宏可以有以下總結(jié)：
1、宏定義可以擴(kuò)展，徹底封裝的typedef不可以。
//以下代碼完全沒問題：
#define apple int;
unsigned apple i;
//以下代碼則完全行不通：
typedef int apple;
unsigned apple i;
2、在連續(xù)聲明幾個變量的時候typedef可以完全保證變量是同一種類型，而宏替換無法保證。
#define apple int *;
apple a, b; //a和b類型完全不同，a是指向整型變量的指針，b是整型變量。
typedef int *apple;
apple a, b; //a和b的類型完全相同，都是指向整型變量的指針。
永遠(yuǎn)要記住的是，typedef定義的是一種類型而不是變量，不能指望用它來定義一個變量
