c語言標準
1978年，丹尼斯·里奇（Dennis Ritchie）和Brian Kernighan合作出版了《C程序設(shè)計語言》的第一版。書中介紹的C語言標準也被C語言程序設(shè)計師稱作“K&R C”，第二版的書中也包含了一些ANSI C的標準。K&R C主要介紹了以下特色：
結(jié)構(gòu)（struct）類型
長整數(shù)（long int）類型
無符號整數(shù)（unsigned int）類型
把運算符=+和=-改為+=和-=。因為=+和=-會使得編譯器不知道用戶要處理i = +10還是i =- 10，使得處理上產(chǎn)生混淆。

即使在后來ANSI C標準被提出的許多年后，K&R C仍然是許多編譯器的最低標準要求，許多老舊的編譯仍然運行K&R C的標準。

C89

1989年，C語言被 ANSI 標準化（ANSI X3.159-1989）。標準化的一個目的是擴展K&R C。這個標準包括了一些新特性。在K&R出版后，一些新特性被非官方地加到C語言中。
void 函數(shù)
函數(shù)返回 struct 或 union 類型
void * 數(shù)據(jù)類型

在 ANSI標準化自己的過程中，一些新的特性被加了進去。ANSI也規(guī)定一套了標準函數(shù)庫。ANSI ISO（國際標準化組織）成立 ISO/IEC JTC1/SC22/WG14 工作組，來規(guī)定國際標準的C語言。通過對ANSI標準的少量修改，最終通過了 ISO 9899:1990。隨后，ISO標準被 ANSI 采納。

傳統(tǒng)C語言到ANSI/ISO標準C語言的改進包括：
增加了真正的標準庫
新的預(yù)處理命令與特性
函數(shù)原型允許在函數(shù)申明中指定參數(shù)類型
一些新的關(guān)鍵字，包括 const、volatile 與 signed
寬字符、寬字符串與字節(jié)多字符
對約定規(guī)則、聲明和類型檢查的許多小改動與澄清

WG14工作小組之后又于1995年，對1985年頒布的標準做了兩處技術(shù)修訂（缺陷修復(fù)）和一個補充（擴展）。下面是 1995 年做出的所有修改：
3 個新的標準庫頭文件 iso646.h、wctype.h 和 wchar.h
幾個新的記號與預(yù)定義宏，用于對國際化提供更好的支持
printf/sprintf 函數(shù)一系列新的格式代碼
大量的函數(shù)和一些類型與常量，用于多字節(jié)字符和寬字節(jié)字符

C99

在 ANSI的標準確立后，C語言的規(guī)范在一段時間內(nèi)沒有大的變動，然而C++在自己的標準化建立過程中繼續(xù)發(fā)展壯大?！稑藴市拚敢弧吩?995年為C語言 建立了一個新標準，但是只修正了一些C89標準中的細節(jié)和增加更多更廣得國際字符集支持。不過，這個標準引出了1999年ISO 9899:1999的發(fā)表。它通常被成為C99。C99被ANSI于2000年3月采用。

在C99中包括的特性有：
對編譯器限制增加了，比如源程序每行要求至少支持到 4095 字節(jié)，變量名函數(shù)名的要求支持到 63 字節(jié)（extern 要求支持到 31）
預(yù)處理增強了。例如： 
宏支持取可變參數(shù) #define Macro(...) __VA_ARGS__
使用宏的時候，參數(shù)如果不寫，宏里用 #,## 這樣的東西會擴展成空串。（以前會出錯的）
支持 // 行注釋（這個特性實際上在C89的很多編譯器上已經(jīng)被支持了）
增加了新關(guān)鍵字 restrict, inline, _Complex, _Imaginary, _Bool 
支持 long long, long double _Complex, float _Complex 這樣的類型
支持 <: :> <% %> %: %:%: ，等等奇怪的符號替代，D&E 里提過這個
支持了不定長的數(shù)組。數(shù)組的長度就可以用變量了。聲明類型的時候呢，就用 int a[*] 這樣的寫法。不過考慮到效率和實現(xiàn)，這玩意并不是一個新類型。所以就不能用在全局里，或者 struct union 里面，如果你用了這樣的東西，goto 語句就受限制了。
變量聲明不必放在語句塊的開頭，for 語句提倡這么寫 for(int i=0;i<100;++i) 就是說，int i 的聲明放在里面，i 只在 for 里面有效。
當(dāng)一個類似結(jié)構(gòu)的東西需要臨時構(gòu)造的時候，可以用（type_name）{xx,xx,xx} 這有點像 C++ 的構(gòu)造函數(shù)
初始化結(jié)構(gòu)的時候現(xiàn)在可以這樣寫： 
struct {int a[3]，b;} hehe[] = { [0].a = {1}, [1].a = 2 };
struct {int a, b, c, d;} hehe = { .a = 1, .c = 3, 4, .b = 5} // 3,4 是對 .c,.d 賦值的
字符串里面，/u 支持 unicode 的字符
支持 16 進制的浮點數(shù)的描述
所以 printf scanf 的格式化串多支持了 ll / LL（VC6 里用的 I64）對應(yīng)新的 long long 類型。
浮點數(shù)的內(nèi)部數(shù)據(jù)描述支持了新標準，這個可以用 #pragma 編譯器指定
除了已經(jīng)有的 __line__ __file__ 以外，又支持了一個 __func__ 可以得到當(dāng)前的函數(shù)名
對于非常數(shù)的表達式，也允許編譯器做化簡
修改了對于／% 處理負數(shù)上的定義，比如老的標準里 -22 / 7 = -3, -22 % 7 = -1 而現(xiàn)在 -22 / 7 = -4, -22 % 7 = 6
取消了不寫函數(shù)返回類型默認就是 int 的規(guī)定
允許 struct 定義的最后一個數(shù)組寫做 [] 不指定其長度描述
const const int i；將被當(dāng)作 const int i；處理
增 加和修改了一些標準頭文件，比如定義 bool 的 <stdbool.h> 定義一些標準長度的 int 的 <inttypes.h> 定義復(fù)數(shù)的 <complex.h> 定義寬字符的 <wctype.h> 有點泛型味道的數(shù)學(xué)函數(shù) <tgmath.h> 跟浮點數(shù)有關(guān)的 <fenv.h>。<stdarg.h> 里多了一個 va_copy 可以復(fù)制 ... 的參數(shù)。<time.h> 里多了個 struct tmx 對 struct tm 做了擴展
輸入輸出對寬字符還有長整數(shù)等做了相應(yīng)的支持

相對于c89的變化還有

　　1、增加restrict指針

　　C99中增加了公適用于指針的restrict類型修飾符，它是初始訪問指針所指對象的惟一途徑，因此只有借助restrict指針表達式才能 訪問對象。restrict指針指針主要用做函數(shù)變元，或者指向由malloc()函數(shù)所分配的內(nèi)存變量。restrict數(shù)據(jù)類型不改變程序的語義。

　　如果某個函數(shù)定義了兩個restrict指針變元，編譯程序就假定它們指向兩個不同的對象，memcpy()函數(shù)就是restrict指針的一個典型應(yīng)用示例。C89中memcpy()函數(shù)原型如下：

　　代碼: void *memcpy (void *s1, const void *s2, size_t size);

　　如果s1和s2所指向的對象重疊，其操作就是未定義的。memcpy()函數(shù)只能用于不重疊的對象。C99中memcpy()函數(shù)原型如下：代 碼: void *memcpy(void *restrict s1, const void *restrict s2,size_t size);

　　通過使用restrict修飾s1和s2 變元，可確保它們在該原型中指向不同的對象。

　　2、inline（內(nèi)聯(lián)）關(guān)鍵字

　　內(nèi)聯(lián)函數(shù)除了保持結(jié)構(gòu)化和函數(shù)式的定義方式外，還能使程序員寫出高效率的代碼。函數(shù)的每次調(diào)用與返回都會消耗相當(dāng)大的系統(tǒng)資源，尤其是當(dāng)函數(shù)調(diào) 用發(fā)生在重復(fù)次數(shù)很多的循環(huán)語句中時。一般情況下，當(dāng)發(fā)生一次函數(shù)調(diào)用時，變元需要進棧，各種寄存器內(nèi)存需要保存。當(dāng)函數(shù)返回時，寄存器的內(nèi)容需要恢復(fù)。 如果該函數(shù)在代碼內(nèi)進行聯(lián)機擴展，當(dāng)代碼執(zhí)行時，這些保存和恢復(fù)操作旅游活動會再發(fā)生，而且函數(shù)調(diào)用的執(zhí)行速度也會大大加快。函數(shù)的聯(lián)機擴展會產(chǎn)生較長的 代碼，所以只應(yīng)該內(nèi)聯(lián)對應(yīng)用程序性能有顯著影響的函數(shù)以及長度較短的函數(shù)。

　　3、新增數(shù)據(jù)類型

　　_Bool

　　值是0或1。C99中增加了用來定義bool、true以及false宏的頭文件夾<stdbool.h>，以便程序員能夠編寫同時兼容于C與C++的應(yīng)用程序。在編寫新的應(yīng)用程序時，應(yīng)該使用

　　<stdbool.h>頭文件中的bool宏。

　　_Complex and _Imaginary

　　C99標準中定義的復(fù)數(shù)類型如下：float_Complex；float_Imaginary；double_Complex；double_Imaginary；long double_Complex；long double_Imaginary。

　　<complex.h>頭文件中定義了complex和imaginary宏，并將它們擴展為_Complex和 _Imaginary，因此在編寫新的應(yīng)用程序時，應(yīng)該使用<stdbool.h>頭文件中的complex和imaginary宏。

　　long long int

　　C99標準中引進了long long int（-(2e63 - 1)至2e63 - 1）和unsigned long long int（0 - 2e64 - 1）。long long int能夠支持的整數(shù)長度為64位。

　　4、對數(shù)組的增強

　　可變長數(shù)組

　　C99中，程序員聲明數(shù)組時，數(shù)組的維數(shù)可以由任一有效的整型表達式確定，包括只在運行時才能確定其值的表達式，這類數(shù)組就叫做可變長數(shù)組，但是只有局部數(shù)組才可以是變長的。

　　可變長數(shù)組的維數(shù)在數(shù)組生存期內(nèi)是不變的，也就是說，可變長數(shù)組不是動態(tài)的。可以變化的只是數(shù)組的大小。可以使用*來定義不確定長的可變長數(shù)組。

　　數(shù)組聲明中的類型修飾符

　　在C99中，如果需要使用數(shù)組作為函數(shù)變元，可以在數(shù)組聲明的方括號內(nèi)使用static關(guān)鍵字，這相當(dāng)于告訴編譯程序，變元所指向的數(shù)組將至少 包含指定的元素個數(shù)。也可以在數(shù)組聲明的方括號內(nèi)使用restrict，volatile，const關(guān)鍵字，但只用于函數(shù)變元。如果使用 restrict，指針是初始訪問該對象的惟一途徑。如果使用const，指針始終指向同一個數(shù)組。使用volatile沒有任何意義。

　　5、單行注釋

　　引入了單行注釋標記 "http://" , 可以像C++一樣使用這種注釋了。

　　6、分散代碼與聲明

　　7、預(yù)處理程序的修改

　　a、變元列表

　　宏可以帶變元，在宏定義中用省略號（...）表示。內(nèi)部預(yù)處理標識符__VA_ARGS__決定變元將在何處得到替換。例：#define MySum(...) sum(__VA_ARGS__) 語句MySum(k,m,n);

　　將被轉(zhuǎn)換成：sum(k, m, n); 變元還可以包含變元。例： #define compare(compf, ...) compf(__VA_ARGS__) 其中的compare(strcmp,"small", "large"); 將替換成：strcmp("small","large");

　　b、_Pragma運算符

　　C99引入了在程序中定義編譯指令的另外一種方法：_Pragma運算符。格式如下：

　　_Pragma("directive")

　　其中directive是要滿打滿算的編譯指令。_Pragma運算符允許編譯指令參與宏替換。

　　c、內(nèi)部編譯指令

　　STDCFP_CONTRACT ON/OFF/DEFAULT 若為ON，浮點表達式被當(dāng)做基于硬件方式處理的獨立單元。默認值是定義的工具。

　　STDCFEVN_ACCESS ON/OFF/DEFAULT 告訴編譯程序可以訪問浮點環(huán)境。默認值是定義的工具。

　　STDC CX_LIMITED_RANGE ON/OFF/DEFAULT 若值為ON，相當(dāng)于告訴編譯程序某程序某些含有復(fù)數(shù)的公式是可靠的。默認是OFF。

　　d、新增的內(nèi)部宏

　　__STDC_HOSTED__ 若操作系統(tǒng)存在，則為1

　　__STDC_VERSION__ 199991L或更高。代表C的版本

　　__STDC_IEC_599__ 若支持IEC 60559浮點運算，則為1

　　__STDC_IEC_599_COMPLEX__ 若支持IEC 60599復(fù)數(shù)運算，則為1

　　__STDC_ISO_10646__ 由編譯程序支持，用于說明ISO/IEC 10646標準的年和月格式：yyymmmL

　　9、復(fù)合賦值

　　C99中，復(fù)合賦值中，可以指定對象類型的數(shù)組、結(jié)構(gòu)或聯(lián)合表達式。當(dāng)使用復(fù)合賦值時，應(yīng)在括弧內(nèi)指定類型，后跟由花括號圍起來的初始化列表；若類型為數(shù)組，則不能指定數(shù)組的大小。建成的對象是未命名的。

　　例： double *fp = (double[]) {1.1, 2.2, 3.3};

　　該語句用于建立一個指向double的指針fp，且該指針指向這個3元素數(shù)組的第一個元素。 在文件域內(nèi)建立的復(fù)合賦值只在程序的整個生存期內(nèi)有效。在模塊內(nèi)建立的復(fù)合賦值是局部對象，在退出模塊后不再存在。

　　10、柔性數(shù)組結(jié)構(gòu)成員

　　C99中，結(jié)構(gòu)中的最后一個元素允許是未知大小的數(shù)組，這就叫做柔性數(shù)組成員，但結(jié)構(gòu)中的柔性數(shù)組成員前面必須至少一個其他成員。柔性數(shù)組成員 允許結(jié)構(gòu)中包含一個大小可變的數(shù)組。sizeof返回的這種結(jié)構(gòu)大小不包括柔性數(shù)組的內(nèi)存。包含柔性數(shù)組成員的結(jié)構(gòu)用malloc()函數(shù)進行內(nèi)存的動態(tài) 分配，并且分配的內(nèi)存應(yīng)該大于結(jié)構(gòu)的大小，以適應(yīng)柔性數(shù)組的預(yù)期大小。

　　11、指定的初始化符

　　C99中，該特性對經(jīng)常使用稀疏數(shù)組的程序員十分有用。指定的初始化符通常有兩種用法：用于數(shù)組，以及用于結(jié)構(gòu)和聯(lián)合。用于數(shù)組的格式： = vol; 其中，index表示數(shù)組的下標，vol表示本數(shù)組元素的初始化值。

　　例如： int x[10] = {[0] = 10, [5] = 30}; 其中只有x[0]和x[5]得到了初始化。用于結(jié)構(gòu)或聯(lián)合的格式如下：

　　member-name（成員名稱）

　　對結(jié)構(gòu)進行指定的初始化時，允許采用簡單的方法對結(jié)構(gòu)中的指定成員進行初始化。

　　例如： struct example{ int k, m, n; } object = {m = 10,n = 200};

　　其中，沒有初始化k。對結(jié)構(gòu)成員進行初始化的順序沒有限制。

　　12、printf()和scanf()函數(shù)系列的增強

　　C99中printf()和scanf()函數(shù)系列引進了處理long long int和unsigned long long int數(shù)據(jù)類型的特性。long long int 類型的格式修飾符是ll。在printf()和scanf()函數(shù)中，ll適用于d，i，o，u和x格式說明符。另外，C99還引進了hh修飾符。當(dāng)使用 d，i，o，u和x格式說明符時，hh用于指定char型變元。ll和hh修飾符均可以用于n說明符。

　　格式修飾符a和A用在printf()函數(shù)中時，結(jié)果將會輸出十六進制的浮點數(shù)。格式如下：[-]0xh, hhhhp + d 使用A格式修飾符時，x和p必須是大寫。A和a格式修飾符也可以用在scanf()函數(shù)中，用于讀取浮點數(shù)。調(diào)用printf()函數(shù)時，允許在%f說明 符前加上l修飾符，即%lf，但不起作用。

　　13、C99新增的庫

　　C89中標準的頭文件

　　<assert.h> 定義宏assert()

　　<ctype.h> 字符處理

　　<errno.h> 錯誤報告

　　<float.h> 定義與實現(xiàn)相關(guān)的浮點值

　　<limits.h> 定義與實現(xiàn)相關(guān)的各種極限值

　　<locale.h> 支持函數(shù)setlocale()

　　<math.h> 數(shù)學(xué)函數(shù)庫使用的各種定義

　　<setjmp.h> 支持非局部跳轉(zhuǎn)

　　<signal.h> 定義信號值

　　<stdarg.h> 支持可變長度的變元列表

　　<stddef.h> 定義常用常數(shù)

　　<stdio.h> 支持文件輸入和輸出

　　<stdlib.h> 其他各種聲明

　　<string.h> 支持串函數(shù)

　　<time.h> 支持系統(tǒng)時間函數(shù)

　　C99新增的頭文件和庫

　　<complex.h> 支持復(fù)數(shù)算法

　　<fenv.h> 給出對浮點狀態(tài)標記和浮點環(huán)境的其他方面的訪問

　　<inttypes.h> 定義標準的、可移植的整型類型集合。也支持處理最大寬度整數(shù)的函數(shù)

　　<iso646.h> 首先在此1995年第一次修訂時引進，用于定義對應(yīng)各種運算符的宏

　　<stdbool.h> 支持布爾數(shù)據(jù)類型類型。定義宏bool，以便兼容于C++

　　<stdint.h> 定義標準的、可移植的整型類型集合。該文件包含在<inttypes.h>中

　　<tgmath.h> 定義一般類型的浮點宏

　　<wchar.h> 首先在1995年第一次修訂時引進，用于支持多字節(jié)和寬字節(jié)函數(shù)

　　<wctype.h> 首先在1995年第一次修訂時引進，用于支持多字節(jié)和寬字節(jié)分類函數(shù)

　　14、__func__預(yù)定義標識符

　　用于指出__func__所存放的函數(shù)名，類似于字符串賦值。

　　15、其它特性的改動

　　放寬的轉(zhuǎn)換限制

不再支持隱含式的int規(guī)則

　　刪除了隱含式函數(shù)聲明

　　對返回值的約束

　　C99中，非空類型函數(shù)必須使用帶返回值的return語句。

　　擴展的整數(shù)類型

對整數(shù)類型提升規(guī)則的改進

　　C89中，表達式中類型為char，short int或int的值可以提升為int或unsigned int類型。

　　C99中，每種整數(shù)類型都有一個級別。例如：long long int 的級別高于int，int的級別高于char等。在表達式中，其級別低于int或unsigned int的任何整數(shù)類型均可被替換成int或unsigned int類型。

但是各個公司對C99的支持所表現(xiàn)出來的興趣不同。當(dāng)GCC和其它一些商業(yè)編譯器支持C99的大部分特性的時候，微軟和Borland卻似乎對此不感興趣。

GCC 支持C99，通過 --std = c99命令行參數(shù)開啟。 例如：gcc --std = c99 test.c。默認情況下GCC是用的GNU89標準

C語言聲明
優(yōu)先級規(guī)則分析
A.聲明從他的第一個標識符（名字）開始讀取，然后按照優(yōu)先級順序依次讀取：
B 優(yōu)先級從高到低依次是：
    B.1聲明中被括號括起來的那部分
    B.2后綴操作符：
          括號（）表示這是一個函數(shù)，而方括號[]表示這是一個數(shù)組。
    B.3前綴操作符：星號*表示“指向...的指針”
C 如果const和（或）volatile關(guān)鍵字的后面緊跟類型說明符(如int,long等)，那么它用做子類型說明符。在其他情況下，    const和（或）volatile關(guān)鍵字作用于它左邊的臨近的指針星號。
例：

  char * const *(*next)();

A             首先，看變量名（標識符）“next”,并注意到它直接被括號所括住
B.1          所以先把括號里的東西作為一個整體，得出“next是一個指向...的指針”
B             然后考慮括號外面的東西，在星號前綴和括號后綴之間作出選擇
B.2          B.2規(guī)則告訴我們優(yōu)先級較高的是右邊的函數(shù)括號，所以得出“next是一個函數(shù)指針，指向一個返回...的函數(shù)”
B.3          然后，處理前綴“*”，得出指針所指的內(nèi)容
C             最后，把“char * const”解釋為指向字符的常量指針

更直觀一點可以看下圖

所以這個聲明表示“next”是一個指針，它指向一個函數(shù)，該函數(shù)返回另一個指針，該指針指向一個類型為char的常量指針。

例子2  char *(* c[10]) (int **p)

那么合起來就是c是一個函數(shù)指針數(shù)組，他的返回類型是char *，參數(shù)是int **p

以下是來自c專家編程的一個分析聲明的程序

#include <stdio.h>
#include <string.h>
#include <ctype.h>
#include <stdlib.h>
#define MAXTOKENS 100
#define MAXTOKENLEN 64

enum type_tag { IDENTIFIER, QUALIFIER, TYPE};

struct token{
 char type;
 char string[MAXTOKENLEN];
};

int top = -1;
struct token stack[MAXTOKENS];
struct token this;

#define pop stack[top--]
#define push(s) stack[++top] = s

enum type_tag classify_string(void)
{
    char *s = this.string;
    if ( !strcmp(s,"const"))
    {
        strcpy(s,"read-only");
        return QUALIFIER;
    }
    if (!strcmp(s,"volatile"))
        return QUALIFIER;
    if (!strcmp(s,"void"))
        return TYPE;
    if (!strcmp(s,"char"))
        return TYPE;
    if (!strcmp(s,"signed"))
        return TYPE;
    if (!strcmp(s,"unsigned"))
        return TYPE;
    if (!strcmp(s,"short"))
        return TYPE;
    if (!strcmp(s,"int"))
        return TYPE;
    if (!strcmp(s,"void"))
        return TYPE;
    if (!strcmp(s,"long"))
        return TYPE;
    if (!strcmp(s,"float"))
        return TYPE;
    if (!strcmp(s,"double"))
        return TYPE;
    if (!strcmp(s,"struct"))
        return TYPE;
    if (!strcmp(s,"union"))
        return TYPE;
    if (!strcmp(s,"enum"))
        return TYPE;
    return IDENTIFIER;
}

void gettoken(void)
{
    char *p = this.string;

    while((*p = getchar() ) == ' ');

    if ( isalnum(*p) )
    {
        while( isalnum( *++p = getchar() ));
        ungetc(*p , stdin);
        *p = '/0';
        this.type = classify_string();
        return;
    }

    if (*p == '*' )
    {
        strcpy(this.string, "pointer to");
        this.type = '*';
        return;
    }

    this.string[1] = '/0';
    this.type = *p;
    return;
}

read_to_first_identifer()
{
    gettoken();
    while(this.type != IDENTIFIER )
    {
        push( this );
        gettoken();
    }
    printf("%s is ",this.string);
    gettoken();
}

deal_with_arrays()
{
    while(this.type = '[' )
    {
        printf("array");
        gettoken();
        if ( isdigit(this.string[0]) )
        {
            printf("0..%d ",atoi(this.string)-1);
            gettoken();
        }
        gettoken();
        printf("of ");
    }
}

deal_with_function_args()
{
    while( this.type != ')' )
    {
        gettoken();
    }
    gettoken();
    printf("function returning ");
}

deal_with_pointers()
{
    while(stack[top].type == '*' )
    {
        printf("%s ", pop.string);
    }
}

deal_with_declarator()
{
    switch(this.type)
    {
    case '[' :deal_with_arrays();break;
    case '(' :deal_with_function_args();
    }

    deal_with_pointers();

    while( top >= 0 )
    {
        if ( stack[top].type == '(' )
        {
            pop;
            gettoken();
            deal_with_declarator();
        }
        else
            printf("%s ",pop.string);
    }
}

main()
{
    read_to_first_identifer();
    deal_with_declarator();
    printf("/n");
    return 0;
}

最新評論