C陷阱和缺陷中的幾個知識點

1.詞法分析中的「貪心法」

c語言中的某些符號，例如/、*、和=，只有乙個字元長，稱為單字元符號。而c語言中的其他一些符號，例如/*和==，包括了多個字元，稱為多字元符號。當c編譯器讀入乙個字元'/'後又跟了乙個字元'*'，那麼編譯器就必須做出判斷：是將其作為兩個分別的符號對待，還是合起來作為乙個符號對待。c語言解決這個問題的方法可以歸納為乙個很簡單的規則：每乙個符號應該包含盡可能多的字元。也就是說，編譯器將程式分解成符號的方法是：從左到右乙個字元乙個字元地讀入，如果該字元可能組成乙個符號，那麼再讀入下乙個字元，判斷已經讀入的兩個字元組成的字串是否可能是乙個符號的組成部分；如果可能，繼續讀入下乙個字元，重複上述判斷，直到讀入的字元組成的字串已不再可能組成乙個有意義的符號。例如：a---b與表示式a -- - b的含義相同，而與a - -- b 的含義不同。 y = x/*p中的."/*"表示注釋的開始，而不是除以*p。

2.理解函式宣告

例子：解釋 (*(void(*)())0)(); 這個語句的含義。

雖然上面的這個語句比較複雜，但是其實構造這類表示式其實只有一條簡單的規則：按照使用的方式來宣告。任何c變數的宣告都由兩部分組成：型別以及一組類似表示式的宣告符。例如，宣告乙個int型變數a，int a;一旦我們知道了如何宣告乙個給定型別的變數，那麼該型別的型別轉換符就很容易得到：只需要把宣告中的變數名和宣告末尾的分號去掉，再將剩餘的部分用乙個括號整個「封裝」起來即可。例如：float (*h)();表示h是乙個指向返回值為浮點型別的指標，因此(float (*)())表示乙個「指向返回值為浮點型別的函式的指標的」型別轉換符。此時，(*(void(*)())0)(); 也就不難理解了，(void(*)())0表示將0強制轉化為(void(*)())型別，然後是'*'的解引用，然後是函式呼叫。可以使用typedef使得上面的例子更簡潔，typedef void (*funcptr)(); 那麼 (*(void(*)())0)();可表示為(*(funcptr)0)();

3.變數的定義與宣告要保證型別一致

如果在乙個原始檔中定義了char filename = "/etc/passwd";而在另外乙個檔案中宣告了extern char* filename;儘管在乙個語句中引用filename的值將得到指向該陣列起始元素的指標，但是filename的型別是「字元陣列」，而不是「字元指標」。在第二個宣告中，filename被確定為乙個指標。這兩個隊filename宣告使用儲存空間的方式是不同的，它們無法以一種合乎情理的方式共存。字元陣列filename的記憶體布局如圖1所示，字元指標filename的記憶體布局如圖2所示。

圖1 字元陣列filename的記憶體布局示意圖

圖2 字元指標filename的記憶體布局示意圖

4.返回整數的getchar函式

考慮下面的函式：

C陷阱和缺陷中的幾個知識點

C陷阱和缺陷中的幾個知識點

C 的幾個知識點

c 中的知識點

C陷阱和缺陷 中的幾個知識點

C陷阱和缺陷 中的幾個知識點

C 的幾個知識點

c 中的知識點

相關推薦

C陷阱和缺陷中的幾個知識點

C陷阱和缺陷中的幾個知識點