現(xiàn)代C編譯器支持一些或全部的ANSI提議的標(biāo)準(zhǔn)C。無論何時可能的話,盡量用標(biāo)準(zhǔn)C編寫和運行程序,并且使用諸如函數(shù)原型,常量存儲以及volatile(易失性)存儲等特性。標(biāo)準(zhǔn)C通過給優(yōu)化器提供有有效的信息以提升程序的性能。標(biāo)準(zhǔn)C通過保證所有編譯器接受同樣的輸入語言以及提供相關(guān)機制隱藏機器相關(guān)內(nèi)容或?qū)τ谀切C器相關(guān)代碼提供警告的方式提升代碼的可移植性。
17.1 兼容性
編寫很容易移植到老編譯器上的代碼。例如,有條件地在global.h中定義一些新(標(biāo)準(zhǔn)中的)關(guān)鍵字,比如const和volatile。標(biāo)準(zhǔn)編譯器預(yù)定義了預(yù)處理器符號STDC(見腳注8)。void類型很難簡單地處理正確,因為很多老編譯器只理解void,但不認識void。最簡單的方法就是定義一個新類型VOIDP(與機器和編譯器相關(guān)),通常在老編譯器下該類型被定義為char*。
#if __STDC__
typedef void *voidp;
# define COMPILER_SELECTED
#endif
#ifdef A_TARGET
# define const
# define volatile
# define void int
typedef char *voidp;
# define COMPILER_SELECTED
#endif
#ifdef ...
...
#endif
#ifdef COMPILER_SELECTED
# undef COMPILER_SELECTED
#else
{ NO TARGET SELECTED! }
#endif
注意在ANSI C中,#必須是同一行中預(yù)處理器指示符的第一個非空白字符。在一些老編譯器中,它必須是同一行中的第一個字符。
當(dāng)一個靜態(tài)函數(shù)具有前置聲明時,前置聲明必須包含存儲修飾符。在一些老編譯器中,這個修飾符必須是"extern"。對于ANSI編譯器,這個存儲修飾符必須為static,但全局函數(shù)依然必須聲明為extern。因此,靜態(tài)函數(shù)的前置聲明應(yīng)該使用一個#define,例如FWD_STATIC,并通過#ifdef適當(dāng)定義。
一個"#ifdef NAME"應(yīng)該要么以"#endif"結(jié)尾,要么以"#endif /* NAME */結(jié)尾,不應(yīng)該用"#endif NAME"結(jié)尾。對于短小的#ifdef不應(yīng)該使用注釋,因為通過代碼我們可以明確其含義。
ANSI的三字符組可能導(dǎo)致內(nèi)容包含??的字符串的程序神秘的中斷。
17.2 格式化
ANSI C的代碼風(fēng)格與常規(guī)C一樣,但有兩點意外:存儲修飾符(storage qualifiers)和參數(shù)列表。
由于const和volatile的綁定規(guī)則很奇怪,因此每個const或volatile對象都應(yīng)該單獨聲明。
int const *s; /* YES */
int const *s, *t; /* NO */
具備原型的函數(shù)將參數(shù)聲明和定義歸并在一個參數(shù)列表中了。應(yīng)該在函數(shù)的注釋中提供各個參數(shù)的注釋。
/*
* `bp': boat trying to get in.
* `stall': a list of stalls, never NULL.
* returns stall number, 0 => no room.
*/
int
enter_pier (boat_t const *bp, stall_t *stall)
{
...
17.3 原型
Function prototypes should be used to make code more robust and to make it run faster. Unfortunately, the prototyped declaration
應(yīng)該使用函數(shù)原型使得代碼更加健壯并且運行時性能更好。不幸地是原型的聲明
extern void bork (char c);
與定義不兼容。
void
bork (c)
char c;
...
原型中c應(yīng)該以機器上最自然的類型傳入,很可能是一個字節(jié)。而非原型化(向后兼容)的定義暗示c總是以一個整型傳入。如果一個函數(shù)具有可類型提升的參數(shù),那么調(diào)用者和被調(diào)用者必須以相等地方式編譯。要么都必須使用函數(shù)原型,要么都不使用原型。如果在程序設(shè)計時參數(shù)就是可以提升類型的,那么問題就可以被避免,例如bork可以定義成接受一個整型參數(shù)。
如果定義也是原型化的,上面的聲明將工作正常。
void
bork (char c)
{
...
不幸地是,原型化的語法將導(dǎo)致非ANSI編譯器拒絕這個程序。
但我們可以很容易地通過編寫外部聲明來同時適應(yīng)原型與老編譯器。
#if __STDC__
# define PROTO(x) x
#else
# define PROTO(x) ()
#endif
extern char **ncopies PROTO((char *s, short times));
注意PROTO必須使用雙層括號。
最后,最好只使用一種風(fēng)格編寫代碼(例如,使用原型)。當(dāng)需要非原型化的版本時,可使用一個自動轉(zhuǎn)換工具生成。
17.4 Pragmas
Pragmas用于以一種可控的方式引入機器相關(guān)的代碼。很顯然,pragma應(yīng)該被視為機器相關(guān)的。不幸地是,ANSI pragmas的語法使得我們無法將其隔離到機器相關(guān)的頭文件中了。
Pragmas分為兩類。優(yōu)化相關(guān)的可以被安全地忽略。而那些影響系統(tǒng)行為(需要pragmas)的Pragmas則不能忽略。需要的pragmas應(yīng)該結(jié)合#ifdef使用,這樣如果一個pragma都沒有選到,編譯過程將退出。
兩個編譯器可能通過兩個不同的方式使用同一個給定的pragma。例如,一個編譯器可能使用haggis發(fā)出一個優(yōu)化信號。而另一個可能使用它暗示一個特定語句,一旦執(zhí)行到此,程序應(yīng)該退出。不過,一旦使用了pragma,它們必須總是被機器相關(guān)的#ifdef包圍。對于非ANSI編譯器,Pragmas必須總是被#ifdef。確保對#pragma的#進行縮進,否則一些較老的預(yù)處理器處理它時會掛起。
#if defined(__STDC__) && defined(USE_HAGGIS_PRAGMA)
#pragma (HAGGIS)
#endif
"ANSI標(biāo)準(zhǔn)中描述的'#pragma'命令具有任意實現(xiàn)定義的影響。在GNU C預(yù)處理中,'#pragma'首先嘗試運行游戲'rogue';如果失敗,它將嘗試運行游戲'hack';如果失敗,它將嘗試運行GNU Emacs顯示漢諾塔;如果失敗,它將報告一個致命錯誤。無論如何,預(yù)處理將不再繼續(xù)。"
-- GNU CC 1.34 C預(yù)處理手冊。