2024年5月25日发(作者：)
C语言中32个关键字详解
由ANSI标准定义的C语言关键字共32个:
auto double int struct break else long switch
case enum register typedef char extern return union
const float short unsigned continue for signed void
default goto sizeof volatile do if while static
根据关键字的作用，可以将关键字分为数据类型关键字和流程控制关键字两大类。
1数据类型关键字
A基本数据类型（5个）
void：声明函数无返回值或无参数，声明无类型指针，显式丢弃运算结果
char：字符型类型数据，属于整型数据的一种
int：整型数据，通常为编译器指定的机器字长
float：单精度浮点型数据，属于浮点数据的一种
double：双精度浮点型数据，属于浮点数据的一种
B类型修饰关键字（4个）
short：修饰int，短整型数据，可省略被修饰的int。
long：修饰int，长整形数据，可省略被修饰的int。
signed：修饰整型数据，有符号数据类型
unsigned：修饰整型数据，无符号数据类型
C复杂类型关键字（5个）
struct：结构体声明
union：共用体声明
enum：枚举声明
typedef：声明类型别名
sizeof：得到特定类型或特定类型变量的大小
D存储级别关键字（6个）
auto：指定为自动变量，由编译器自动分配及释放。通常在栈上分配
static：指定为静态变量，分配在静态变量区，修饰函数时，指定函数作用域为文件内
部
register：指定为寄存器变量，建议编译器将变量存储到寄存器中使用，也可以修饰函
数形参，建议编译器通过寄存器而不是堆栈传递参数
extern：指定对应变量为外部变量，即在另外的目标文件中定义，可以认为是约定由
另外文件声明的韵蟮囊桓觥耙 谩?
const：与volatile合称“cv特性”，指定变量不可被当前线程/进程改变（但有可能
被系统或其他线程/进程改变）
volatile：与const合称“cv特性”，指定变量的值有可能会被系统或其他进程/线程
改变，强制编译器每次从内存中取得该变量的值
2流程控制关键字
A跳转结构（4个）
return：用在函数体中，返回特定值（或者是void值，即不返回值）
continue：结束当前循环，开始下一轮循环
break：跳出当前循环或switch结构
goto：无条件跳转语句
B分支结构（5个）
if：条件语句
else：条件语句否定分支（与if连用）
switch：开关语句（多重分支语句）
case：开关语句中的分支标记
default：开关语句中的“其他”分治，可选。
C循环结构（3个）
for：for循环结构，for(1;2;3)4;的执行顺序为1->2->4->循环，其中2为循
环条件
do：do循环结构，do 1 while(2);的执行顺序是1->循环，2为循环条件
while：while循环结构，while(1) 2;的执行顺序是1->循环，1为循环条件
以上循环语句，当循环条件表达式为真则继续循环，为假则跳出循环。
C99和C89标准对比多了些什么
1、restrict：指针类型修饰符
C99中增加了公适用于指针的restrict类型修饰符，它是初始访问指针所指对象的惟
一途径，因此只有借助restrict指针表达式才能访问对象。restrict指针指针主要用做函数
变元，或者指向由malloc()函数所分配的内存变量。restrict数据类型不改变程序的语义。
如果某个函数定义了两个restrict指针变元，编译程序就假定它们指向两个不同的对
象，memcpy()函数就是restrict指针的一个典型应用示例。C89中memcpy()函数原型
如下：
代码:
--------------------------------------------------------------------------------
void *memcpy (void *s1, const void *s2, size_t size);
--------------------------------------------------------------------------------
如果s1和s2所指向的对象重叠，其操作就是未定义的。memcpy()函数只能用于不
重叠的对象。C99中memcpy()函数原型如下：
代码:
--------------------------------------------------------------------------------
void *memcpy(void *restrict s1, const void *restrict s2,size_t size);
--------------------------------------------------------------------------------
通过使用restrict修饰s1和s2 变元，可确保它们在该原型中指向不同的对象。
2、inline（内联）关键字
内联函数除了保持结构化和函数式的定义方式外,还能使程序员写出高效率的代码.函
数的每次调用与返回都会消耗相当大的系统资源,尤其是当函数调用发生在重复次数很多
的循环语句中时.一般情况下,当发生一次函数调用时,变元需要进栈,各种寄存器内存需要保
存.当函数返回时,寄存器的内容需要恢复。如果该函数在代码内进行联机扩展，当代码执行
时，这些保存和恢复操作旅游活动会再发生，而且函数调用的执行速度也会大大加快。函
数的联机扩展会产生较长的代码，所以只应该内联对应用程序性能有显著影响的函数以及
长度较短的函数。
3、新增数据类型
_Bool
值是0或1。C99中增加了用来定义bool、true以及false宏的头文件夹
以便程序员能够编写同时兼容于C与C++的应用程序。在编写新的应用程序时，应该使用
_Complex and _Imaginary
C99标准中定义的复数类型如下：float_Complex; float_Imaginary;
double_Complex;
double_Imaginary.
double_Imaginary; long double_Complex; long
和_Imaginary,因此在编写新的应用程序时,应该使用
imaginary宏。
long long int
C99标准中引进了long long int（-(2e63 - 1)至2e63 - 1）和unsigned long long
int（0 - 2e64 - 1）。long long int能够支持的整数长度为64位。
4、对数组的增强
可变长数组
C99中,程序员声明数组时,数组的维数可以由任一有效的整型表达式确定,包括只在运
行时才能确定其值的表达式,这类数组就叫做可变长数组,但是只有局部数组才可以是变长
的.
可变长数组的维数在数组生存期内是不变的,也就是说,可变长数组不是动态的.可以变
化的只是数组的大小.可以使用*来定义不确定长的可变长数组。
数组声明中的类型修饰符
在C99中，如果需要使用数组作为函数变元，可以在数组声明的方括号内使用static
关键字，这相当于告诉编译程序，变元所指向的数组将至少包含指定的元素个数。也可以
在数组声明的方括号内使用restrict,volatile,const关键字，但只用于函数变元。如果使用
restrict，指针是初始访问该对象的惟一途径。如果使用const，指针始终指向同一个数组。
使用volatile没有任何意义。
5、单行注释
引入了单行注释标记 "//" , 可以象C++一样使用这种注释了。
6、分散代码与声明
7、预处理程序的修改
ａ、变元列表
宏可以带变元，在宏定义中用省略号（...）表示。内部预处理标识符__VA_ARGS__决
定变元将在何处得到替换。例：#define MySum(...) sum(__VA_ARGS__) 语句
MySum(k,m,n);
将被转换成：sum(k, m, n); 变元还可以包含变元。例： #define compare(compf, ...)
compf(__VA_ARGS__) 其中的compare(strcmp,"small", "large"); 将替换成：
strcmp("small","large");
ｂ、_Pragma运算符
C99引入了在程序中定义编译指令的另外一种方法：_Pragma运算符。格式如下：
_Pragma("directive")
其中directive是要满打满算的编译指令。_Pragma运算符允许编译指令参与宏替换。
ｃ、内部编译指令
STDCFP_CONTRACT ON/OFF/DEFAULT 若为ON，浮点表达式被当做基于硬件方
式处理的独立单元。默认值是定义的工具。
STDCFEVN_ACCESS ON/OFF/DEFAULT 告诉编译程序可以访问浮点环境。默认值
是定义的工具。
STDC CX_LIMITED_RANGE ON/OFF/DEFAULT 若值为ON，相当于告诉编译程序
某程序某些含有复数的公式是可靠的。默认是OFF。
ｄ、新增的内部宏
__STDC_HOSTED__ 若操作系统存在，则为1
__STDC_VERSION__ 199991L或更高。代表C的版本
__STDC_IEC_599__ 若支持IEC 60559浮点运算，则为1
__STDC_IEC_599_COMPLEX__ 若支持IEC 60599复数运算，则为1
__STDC_ISO_10646__ 由编译程序支持，用于说明ISO/IEC 10646标准的年和月格
式：yyymmmL
8、for语句内的变量声明
C99中，程序员可以在for语句的初始化部分定义一个或多个变量，这些变量的作用
域仅于本for语句所控制的循环体内。比如：
代码:
--------------------------------------------------------------------------------
for(int i=0; i<10; i++){
// do someting ...
}
--------------------------------------------------------------------------------
9、复合赋值
C99中，复合赋值中，可以指定对象类型的数组、结构或联合表达式。当使用复合赋
值时，应在括弧内指定类型，后跟由花括号围起来的初始化列表；若类型为数组，则不能
指定数组的大小。建成的对象是未命名的。
例： double *fp = (double[]) {1.1, 2.2, 3.3};
该语句用于建立一个指向double的指针fp，且该指针指向这个3元素数组的第一个
元素。 在文件域内建立的复合赋值只在程序的整个生存期内有效。在模块内建立的复合赋
值是局部对象，在退出模块后不再存在。
10、柔性数组结构成员
C99中，结构中的最后一个元素允许是未知大小的数组，这就叫做柔性数组成员，但
结构中的柔性数组成员前面必须至少一个其他成员。柔性数组成员允许结构中包含一个大
小可变的数组。sizeof返回的这种结构大小不包括柔性数组的内存。包含柔性数组成员的
结构用malloc()函数进行内存的动态分配，并且分配的内存应该大于结构的大小，以适应
柔性数组的预期大小。
11、指定的初始化符
C99中，该特性对经常使用稀疏数组的程序员十分有用。指定的初始化符通常有两种
用法：用于数组，以及用于结构和联合。用于数组的格式：[index] = vol; 其中，index
表示数组的下标，vol表示本数组元素的初始化值。
例如： int x[10] = {[0] = 10, [5] = 30}; 其中只有x[0]和x[5]得到了初始化．用于结
构或联合的格式如下：
member-name(成员名称)
对结构进行指定的初始化时，允许采用简单的方法对结构中的指定成员进行初始化。
例如： struct example{ int k, m, n; } object = {m = 10,n = 200};
其中，没有初始化k。对结构成员进行初始化的顺序没有限制。
12、printf()和scanf()函数系列的增强
C99中printf()和scanf()函数系列引进了处理long long int和unsigned long long
int数据类型的特性。long long int 类型的格式修饰符是ll。在printf()和scanf()函数中，
ll适用于d, i, o, u 和x格式说明符。另外，C99还引进了hh修饰符。当使用d, i, o, u和
x格式说明符时，hh用于指定char型变元。ll和hh修饰符均可以用于n说明符。
格式修饰符a和A用在printf()函数中时，结果将会输出十六进制的浮点数。格式如
下：[-]0xh, hhhhp + d 使用A格式修饰符时，x和p必须是大写。A和a格式修饰符也
可以用在scanf()函数中，用于读取浮点数。调用printf()函数时，允许在%f说明符前加上
l修饰符，即%lf，但不起作用。
13、C99新增的库
C89中标准的头文件
C99新增的头文件和库
14、__func__预定义标识符
用于指出__func__所存放的函数名，类似于字符串赋值。
15、其它特性的改动
放宽的转换限制
限制 C89标准 C99标准
数据块的嵌套层数 15 127
条件语句的嵌套层数 8 63
内部标识符中的有效字符个数 31 63
外部标识符中的有效字符个数 6 31
结构或联合中的成员个数 127 1023
函数调用中的参数个数 31 127
不再支持隐含式的int规则
删除了隐含式函数声明
对返回值的约束
C99中,非空类型函数必须使用带返回值的return语句.
扩展的整数类型
扩展类型 含义
int16_t 整数长度为精确16位
int_least16_t 整数长度为至少16位
int_fast32_t 最稳固的整数类型,其长度为至少32位
intmax_t 最大整数类型
uintmax_t 最大无符号整数类型
对整数类型提升规则的改进
C89中,表达式中类型为char,short int或int的值可以提升为int或unsigned int类
型.
C99中,每种整数类型都有一个级别.例如:long long int 的级别高于int, int的级别高
于char等.在表达式中,其级别低于int或unsigned int的任何整数类型均可被替换成int
或unsigned int类型.
此篇文章摘取与即将登载于《's 软件研发》》第二期（2003年9月）的《新
的C语言，C99标准介绍》，文章主要是介绍了C99的新特性，在得到作者Randy Meyers
以及《's 软件研发》》负责人刘江先生的应允下，把全文的前面的一部分作为文档
发表，希望能对大家有所帮助。
译注2：C语言的产生源于失败的项目---Multics。从70年代初期的早期C语言到后
来的K&R C， ANSI C，C89，在将近20年中C语言多次发展演化，一直到1999年C
语言又重新定案，成为新的C语言标准。这篇文章发表在 CUJ Octorber 2000 V18 N10，
当时C99标准刚刚公布一年，C社区正急需正统的声音。本文作者Randy Meyers作为标
准委员会委员，在CUJ杂志开了一个专题系列The New C用来讨论新标准的新特性，本
文就是其中的第一篇。本文从全局上介绍了新标准C，尤其是一些增加的特性，期望本文
能给关心C语言和使用C语言的用户带来帮助。在翻译上，所有译者在翻译过程中有疑惑
的术语或者其他一切都以括号形式把原文直接给出，诚心不想给读者半点误导，但是否如
愿还需读者的评判，关于本文的一切可以用amstrongest@与译者联系和讨
论。
C99很像C89，很多地方是一致的，但更多的却是不同。
简介
你可能没有注意到，针对ANSI/ISO C的主要的修订版[1] 在去年12月已经被核准
通过，那是就C99。同样的，你可能也没注意到，其实你已经在使用这个新的C语言了，
或者至少用到它的一部分。这需要归功于标准委员会在接受新特性到C语言的过程中采取
了恰当而保守的方式。差不多所有的新特性早已经被实现并且在现存的一些C编译器
（impletmentations）中证明了其存在的价值。虽然没有编译器能保证全部的C99特性，
但其中许多在很多年前就实现了C99中不同的部分。这对于C程序员来说将是个好消息。
或许你曾经为了保证程序的可移植性而在你喜爱的编译器里避免使用一些独立的特性，但
现在如果这些特性是C99中的一部分的话，你可以放心的使用这些特性，因为他们将在大
部分遵守C99标准的编译器中被保证。毫无疑问，新标准是向上兼容旧的，当然也会有些
不兼容地方，但这些都是非常少而次要的。标准委员会非常努力地工作就是为了将和老版
本的兼容性问题所带来的影响减少到最小。从后面讨论到的关键字你可以看到这方面的例
证。
命名和历史
程序设计语言随着时间在不断演进，语言的命名方式不仅仅依赖于语言本身的名字，
还结合了它们被定义的年代。（回到五年前，ALGOL 68, C89, Fortran 77还有Fortran 4，
我对这些名字真的感到好笑，如今这些令人讨厌的命名方式还带来了千年虫问题，04将无
法区别眼前的2004或者久远的1904）。新的C语言和定义它的新标准被称为C99，而原
来的C语言标准[2]被称为C89或者C90（ANSI在1989年公布了标准文档而ISO在1990
年重新编排了标准文档章节后才公布）。如果你在自己的程序中处理过日语，韩语，或者中
文的文字问题你也许会知道对于C89来说曾经有一次小的升级[3]被称为C95，这次升级
主要是加入了更多的用来处理多字节和宽字节字符（wide and multibyte characters）的
库函数（Java的倡导者曾经错误的宣布Java是第一个支持大字符集合的语言，其实这样
的支持在C89中就已经存在了）。
对于C99施加影响最大的或许就是数值C语言扩展小组（Numerical C Extensions
Group, or NCEG.）。NCEG是ANSI C标准委员会J11的一个子委员会，他们主要在C89
完成后从事技术报告工作[4]。NCEG的技术报告不是标准，它只是号召编译器实现者来体
会并且得到那些一系列描叙清楚的语言特性的经验。这些扩展中大的部分是用来处理C语
言数值编程的(IEEE arithmetic, complex numbers)，但是还有一些是为了其他一般目标
或者性能的提升和优化（变长数组，并行处理，restrict关键字）。
NCEG的扩展一些是由子标准委员会首次定义的，而其他一些则是根据编译器厂商对
于已经实现的特性的反馈而重新定义的。所以技术报告不是标准，编译器厂商可以自由的
选取并且实现这些扩展，甚至可以根据用户的经验更改这些扩展。
真实世界的需求是非常有价值的。语言的不同特性在内部会以一种令人吃惊的方式相
互作用，而有的特性将会给程序的运行效率带来不良影响，即使这些特性永远都不会被用
到（举例来说，在一些C++的实现中，使用少量多继承的程序将会比只使用单继承的程序
慢一些）。NCEG的扩展实验不仅仅是为了改进扩展本身，同时是为了改进它们的规格，并
且让标准委员会对于那些已知的语言特性的内部作用和价值保持信心。
哪些不属于C99
并不是所有的NCEG扩展都被C99所接受，其中最大的例子也许就是NCEG对并行
处理的支持并没有被C99所接受。这些并行处理是基于 Thinking Machines上的C*语言
（读作C-Star）的。并行计算机制造商为了能让程序员写出清晰的并行程序代码而做出许
多不同的扩展特性，而NCEG技术报告对此却没有做出改进，所以仍然没有一致的并且是
最好的方式在并行计算机上编程。因此，这样的特性是不适合被标准C语言接受的。另外
一些NCEG扩展在被加入到C99之前做了一些更改。NCEG支持的复数包含分开的虚数数
据类型（separate imaginary datatypes）。比如，double_ imaginary数据类型。但是
在C99中虚数数据类型却是可选择的。
然而，被考虑得最多到最后却没有被C99采纳的特性不是来自NCEG，而是C++。
在将近一年的时间里，标准委员会一直在从事C ++中的子集--面向对象特性的研究工作。
这个子集有点像80年代末的C++特性的混合，包括单继承（非多继承），虚函数，成员访
问控制（公有，私有，保护），构造函数，析构函数。如果新的C语言与早期的C++相似
可以说是既有进步也有退步。积极的一面是，这些特性对于初期C++的流行起到了巨大作
用，到现在这些特性的价值和它们之间的内在作用已经被大家很好的理解，而且已经证明
它们是可以共存的。然而，消极的一面是“90年代的C++是否可以看作是80 年代的C++
的自然演化？如果是， C采用80年代的C++的特性价值何在？要知道我们已经拥有90
年代的C++了。”最终，多方面的原因，包括一些逻辑上的，让标准委员会拒绝把面向对
象特性加入到C语言中去。
Randy Meyers is consultant providing training and mentoring in C, C++, and
Java. He is the current chair of J11, the ANSI C committee, and previously was a
member of J16 (ANSI C++) and the ISO Java Study Group. He worked on compilers
for Digital Equipment Corporation for 16 years and was Project Architect for DEC C
and C++. He can be reached at rmeyers@.
新的C语言： C99标准介绍
Randy Meyers
此篇文章摘取与即将登载于《's 软件研发》》第二期（2003年9月）的《新
的C语言，C99标准介绍》，文章主要是介绍了C99的新特性，在得到作者Randy Meyers
以及《's 软件研发》》负责人刘江先生的应允下，把全文的前面的一部分作为文档
发表，希望能对大家有所帮助。
译注2：C语言的产生源于失败的项目---Multics。从70年代初期的早期C语言到后
来的K&R C， ANSI C，C89，在将近20年中C语言多次发展演化，一直到1999年C
语言又重新定案，成为新的C语言标准。这篇文章发表在 CUJ Octorber 2000 V18 N10，
当时C99标准刚刚公布一年，C社区正急需正统的声音。本文作者Randy Meyers作为标
准委员会委员，在CUJ杂志开了一个专题系列The New C用来讨论新标准的新特性，本
文就是其中的第一篇。本文从全局上介绍了新标准C，尤其是一些增加的特性，期望本文
能给关心C语言和使用C语言的用户带来帮助。在翻译上，所有译者在翻译过程中有疑惑
的术语或者其他一切都以括号形式把原文直接给出，诚心不想给读者半点误导，但是否如
愿还需读者的评判，关于本文的一切可以用amstrongest@与译者联系和讨
论。
C99很像C89，很多地方是一致的，但更多的却是不同。
简介
你可能没有注意到，针对ANSI/ISO C的主要的修订版[1] 在去年12月已经被核准
通过，那是就C99。同样的，你可能也没注意到，其实你已经在使用这个新的C语言了，
或者至少用到它的一部分。这需要归功于标准委员会在接受新特性到C语言的过程中采取
了恰当而保守的方式。差不多所有的新特性早已经被实现并且在现存的一些C编译器
（impletmentations）中证明了其存在的价值。虽然没有编译器能保证全部的C99特性，
但其中许多在很多年前就实现了C99中不同的部分。这对于C程序员来说将是个好消息。
或许你曾经为了保证程序的可移植性而在你喜爱的编译器里避免使用一些独立的特性，但
现在如果这些特性是C99中的一部分的话，你可以放心的使用这些特性，因为他们将在大
部分遵守C99标准的编译器中被保证。毫无疑问，新标准是向上兼容旧的，当然也会有些
不兼容地方，但这些都是非常少而次要的。标准委员会非常努力地工作就是为了将和老版
本的兼容性问题所带来的影响减少到最小。从后面讨论到的关键字你可以看到这方面的例
证。
命名和历史
程序设计语言随着时间在不断演进，语言的命名方式不仅仅依赖于语言本身的名字，
还结合了它们被定义的年代。（回到五年前，ALGOL 68, C89, Fortran 77还有Fortran 4，
我对这些名字真的感到好笑，如今这些令人讨厌的命名方式还带来了千年虫问题，04将无
法区别眼前的2004或者久远的1904）。新的C语言和定义它的新标准被称为C99，而原
来的C语言标准[2]被称为C89或者C90（ANSI在1989年公布了标准文档而ISO在1990
年重新编排了标准文档章节后才公布）。如果你在自己的程序中处理过日语，韩语，或者中
文的文字问题你也许会知道对于C89来说曾经有一次小的升级[3]被称为C95，这次升级
主要是加入了更多的用来处理多字节和宽字节字符（wide and multibyte characters）的
库函数（Java的倡导者曾经错误的宣布Java是第一个支持大字符集合的语言，其实这样
的支持在C89中就已经存在了）。
对于C99施加影响最大的或许就是数值C语言扩展小组（Numerical C Extensions
Group, or NCEG.）。NCEG是ANSI C标准委员会J11的一个子委员会，他们主要在C89
完成后从事技术报告工作[4]。NCEG的技术报告不是标准，它只是号召编译器实现者来体
会并且得到那些一系列描叙清楚的语言特性的经验。这些扩展中大的部分是用来处理C语
言数值编程的(IEEE arithmetic, complex numbers)，但是还有一些是为了其他一般目标
或者性能的提升和优化（变长数组，并行处理，restrict关键字）。
NCEG的扩展一些是由子标准委员会首次定义的，而其他一些则是根据编译器厂商对
于已经实现的特性的反馈而重新定义的。所以技术报告不是标准，编译器厂商可以自由的
选取并且实现这些扩展，甚至可以根据用户的经验更改这些扩展。
真实世界的需求是非常有价值的。语言的不同特性在内部会以一种令人吃惊的方式相
互作用，而有的特性将会给程序的运行效率带来不良影响，即使这些特性永远都不会被用
到（举例来说，在一些C++的实现中，使用少量多继承的程序将会比只使用单继承的程序
慢一些）。NCEG的扩展实验不仅仅是为了改进扩展本身，同时是为了改进它们的规格，并
且让标准委员会对于那些已知的语言特性的内部作用和价值保持信心。
哪些不属于C99
并不是所有的NCEG扩展都被C99所接受，其中最大的例子也许就是NCEG对并行
处理的支持并没有被C99所接受。这些并行处理是基于 Thinking Machines上的C*语言
（读作C-Star）的。并行计算机制造商为了能让程序员写出清晰的并行程序代码而做出许
多不同的扩展特性，而NCEG技术报告对此却没有做出改进，所以仍然没有一致的并且是
最好的方式在并行计算机上编程。因此，这样的特性是不适合被标准C语言接受的。另外
一些NCEG扩展在被加入到C99之前做了一些更改。NCEG支持的复数包含分开的虚数数
据类型（separate imaginary datatypes）。比如，double_ imaginary数据类型。但是
在C99中虚数数据类型却是可选择的。
然而，被考虑得最多到最后却没有被C99采纳的特性不是来自NCEG，而是C++。
在将近一年的时间里，标准委员会一直在从事C ++中的子集--面向对象特性的研究工作。
这个子集有点像80年代末的C++特性的混合，包括单继承（非多继承），虚函数，成员访
问控制（公有，私有，保护），构造函数，析构函数。如果新的C语言与早期的C++相似
可以说是既有进步也有退步。积极的一面是，这些特性对于初期C++的流行起到了巨大作
用，到现在这些特性的价值和它们之间的内在作用已经被大家很好的理解，而且已经证明
它们是可以共存的。然而，消极的一面是“90年代的C++是否可以看作是80 年代的C++
的自然演化？如果是， C采用80年代的C++的特性价值何在？要知道我们已经拥有90
年代的C++了。”最终，多方面的原因，包括一些逻辑上的，让标准委员会拒绝把面向对
象特性加入到C语言中去。
本文来自CSDN博客，转载请标明出处：
/ruyue_ma/archive/2006/06/14/
c99是在c89的基础上发展起来的，增加了基本数据类型，关键字和一些系统函数等。
其实在初学阶段C89（ANSI C）和C99的区别是不易察觉的，所以不必太在意这个。
C99有一部分是对于大字符集的优化（很多资料上写的是ANSI标准化），还加入了一
些数据库函数，是C89之后的标准，我们用的C是C89标准的，C++是C89编写的，目
前的C99标准其实在以前的编译器中就或多或少的支持了，目前完全支持的有这些：
MinGW、Borland C++、dev-C++。
C99标准的新特性
在ANSI标准化后，C语言的标准在一段相当的时间内都保持不变，尽管C++继续在
改进。（实际上，Normative Amendment1在1995年已经开发了一个新的C语言版本。
但是这个版本很少为人所知。）标准在90年代才经历了改进，这就是ISO9899:1999（1999
年出版）。这个版本就是通常提及的C99。它被ANSI于2000年3月采用。
在C99中包括的特性有：
对编译器限制增加了，比如源程序每行要求至少支持到 4095 字节，变量名函数名的
要求支持到 63 字节 (extern 要求支持到 31)。
预处理增强了。例如：
宏支持取参数 #define Macro(...) __VA_ARGS__
使用宏的时候，参数如果不写，宏里用 #，## 这样的东西会扩展成空串。(以前会出
错的)
支持 // 行注释（这个特性实际上在C89的很多编译器上已经被支持了）
增加了新关键字 restrict，inline，_Complex，_Imaginary，_Bool
支持 long long，long double _Complex，float _Complex 这样的类型
支持 <: :> <% %> %: %:%: ，等等奇怪的符号替代，D&E 里提过这个
支持了不定长的数组。数组的长度就可以用变量了。声明类型的时候呢,就用 int a
这样的写法。不过考虑到效率和实现，这玩意并不是一个新类型。所以就不能用
在全局里，或者 struct union 里面，如果你用了这样的东西，goto 语句就受限制了。
变量声明不必放在语句块的开头，for 语句提倡这么写 for(int i=0;i<100;++i) 就是
说，int i 的声明放在里面，i 只在 for 里面有效。(VC没有遵守这条标准，i 在 for 外也
有效；但vc2005里已经默认是i在外面不可见了，但有编译选项可以设置。）
当一个类似结构的东西需要临时构造的时候，可以用 (type_name){xx,xx,xx} 这有点
像 C++ 的构造函数
初始化结构的时候现在可以这样写：
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 进制的浮点数的描述
所以 printf和scanf 的格式化串多了支持 ll / LL (VC6 里用的 I64) 对应新的 long
long 类型。
浮点数的内部数据描述支持了新标准，这个可以用 #pragma 编译器指定
除了已经有的 __line__ __file__ 以外，又支持了一个 __func__ 可以得到当前的函数
名
对于非常数的表达式，也允许编译器做化简
修改了对于 / % 处理负数上的定义，比如老的标准里 -22 / 7 = -3，-22 % 7 = -1 而
现在 -22 / 7 = -4，-22 % 7 = 6
取消了不写函数返回类型默认就是 int 的规定
允许 struct 定义的最后一个数组写做 [] 不指定其长度描述
const const int i; 将被当作 const int i; 处理
增加和修改了一些标准头文件。比如定义 bool 的
的 int 的
泛型味道的数学函数
va_copy 可以复制 ... 的参数。
输入输出对宽字符还有长整数等做了相应的支持
相对于c89的变化还有
1、增加restrict指针
C99中增加了公适用于指针的restrict类型修饰符，它是初始访问指针所指对象的惟
一途径，因此只有借助restrict指针表达式才能访问对象。restrict指针指针主要用做函数
变元，或者指向由malloc()函数所分配的内存变量。restrict数据类型不改变程序的语义。
如果某个函数定义了两个restrict指针变元，编译程序就假定它们指向两个不同的对
象，memcpy()函数就是restrict指针的一个典型应用示例。C89中memcpy()函数原型
如下：
代码: void *memcpy (void *s1, const void *s2, size_t size);
如果s1和s2所指向的对象重叠，其操作就是未定义的。memcpy()函数只能用于不
重叠的对象。C99中memcpy()函数原型如下：代码: void *memcpy(void *restrict s1,
const void *restrict s2,size_t size);
通过使用restrict修饰s1和s2 变元，可确保它们在该原型中指向不同的对象。
2、inline（内联）关键字
内联函数除了保持结构化和函数式的定义方式外，还能使程序员写出高效率的代码。
函数的每次调用与返回都会消耗相当大的系统资源，尤其是当函数调用发生在重复次数很
多的循环语句中时。一般情况下，当发生一次函数调用时，变元需要进栈，各种寄存器内
存需要保存。当函数返回时，寄存器的内容需要恢复。如果该函数在代码内进行联机扩展，
当代码执行时，这些保存和恢复操作旅游活动会再发生，而且函数调用的执行速度也会大
大加快。函数的联机扩展会产生较长的代码，所以只应该内联对应用程序性能有显著影响
的函数以及长度较短的函数。
3、新增数据类型
_Bool
值是0或1。C99中增加了用来定义bool、true以及false宏的头文件夹
以便程序员能够编写同时兼容于C与C++的应用程序。在编写新的应用程序时，应该使用
_Complex and _Imaginary
C99标准中定义的复数类型如下：float_Complex；float_Imaginary；
double_Complex；double_Imaginary；long
double_Imaginary。
double_Complex；long
和_Imaginary，因此在编写新的应用程序时，应该使用
和imaginary宏。
long long int
C99标准中引进了long long int（-(2e63 - 1)至2e63 - 1）和unsigned long long
int（0 - 2e64 - 1）。long long int能够支持的整数长度为64位。
4、对数组的增强
可变长数组
C99中，程序员声明数组时，数组的维数可以由任一有效的整型表达式确定，包括只
在运行时才能确定其值的表达式，这类数组就叫做可变长数组，但是只有局部数组才可以
是变长的。
可变长数组的维数在数组生存期内是不变的，也就是说，可变长数组不是动态的。可
以变化的只是数组的大小。可以使用*来定义不确定长的可变长数组。
数组声明中的类型修饰符
在C99中，如果需要使用数组作为函数变元，可以在数组声明的方括号内使用static
关键字，这相当于告诉编译程序，变元所指向的数组将至少包含指定的元素个数。也可以
在数组声明的方括号内使用restrict，volatile，const关键字，但只用于函数变元。如果
使用restrict，指针是初始访问该对象的惟一途径。如果使用const，指针始终指向同一个
数组。使用volatile没有任何意义。
5、单行注释
引入了单行注释标记 "//" , 可以像C++一样使用这种注释了。
6、分散代码与声明
7、预处理程序的修改
a、变元列表
宏可以带变元，在宏定义中用省略号（...）表示。内部预处理标识符__VA_ARGS__决
定变元将在何处得到替换。例：#define MySum(...) sum(__VA_ARGS__) 语句
MySum(k,m,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、内部编译指令
STDCFP_CONTRACT ON/OFF/DEFAULT 若为ON，浮点表达式被当做基于硬件方
式处理的独立单元。默认值是定义的工具。
STDCFEVN_ACCESS ON/OFF/DEFAULT 告诉编译程序可以访问浮点环境。默认值
是定义的工具。
STDC CX_LIMITED_RANGE ON/OFF/DEFAULT 若值为ON，相当于告诉编译程序
某程序某些含有复数的公式是可靠的。默认是OFF。
d、新增的内部宏
__STDC_HOSTED__ 若操作系统存在，则为1
__STDC_VERSION__ 199991L或更高。代表C的版本
__STDC_IEC_599__ 若支持IEC 60559浮点运算，则为1
__STDC_IEC_599_COMPLEX__ 若支持IEC 60599复数运算，则为1
__STDC_ISO_10646__ 由编译程序支持，用于说明ISO/IEC 10646标准的年和月格
式：yyymmmL
9、复合赋值
C99中，复合赋值中，可以指定对象类型的数组、结构或联合表达式。当使用复合赋
值时，应在括弧内指定类型，后跟由花括号围起来的初始化列表；若类型为数组，则不能
指定数组的大小。建成的对象是未命名的。
例： double *fp = (double[]) {1.1, 2.2, 3.3};
该语句用于建立一个指向double的指针fp，且该指针指向这个3元素数组的第一个
元素。 在文件域内建立的复合赋值只在程序的整个生存期内有效。在模块内建立的复合赋
值是局部对象，在退出模块后不再存在。
10、柔性数组结构成员
C99中，结构中的最后一个元素允许是未知大小的数组，这就叫做柔性数组成员，但
结构中的柔性数组成员前面必须至少一个其他成员。柔性数组成员允许结构中包含一个大
小可变的数组。sizeof返回的这种结构大小不包括柔性数组的内存。包含柔性数组成员的
结构用malloc()函数进行内存的动态分配，并且分配的内存应该大于结构的大小，以适应
柔性数组的预期大小。
11、指定的初始化符
C99中，该特性对经常使用稀疏数组的程序员十分有用。指定的初始化符通常有两种
用法：用于数组，以及用于结构和联合。用于数组的格式： = vol; 其中，index表示数组
的下标，vol表示本数组元素的初始化值。
例如： int x[10] = {[0] = 10, [5] = 30}; 其中只有x[0]和x[5]得到了初始化。用于结
构或联合的格式如下：
member-name（成员名称）
对结构进行指定的初始化时，允许采用简单的方法对结构中的指定成员进行初始化。
例如： struct example{ int k, m, n; } object = {m = 10,n = 200};
其中，没有初始化k。对结构成员进行初始化的顺序没有限制。
12、printf()和scanf()函数系列的增强
C99中printf()和scanf()函数系列引进了处理long long int和unsigned long long
int数据类型的特性。long long int 类型的格式修饰符是ll。在printf()和scanf()函数中，
ll适用于d，i，o，u和x格式说明符。另外，C99还引进了hh修饰符。当使用d，i，o，
u和x格式说明符时，hh用于指定char型变元。ll和hh修饰符均可以用于n说明符。
格式修饰符a和A用在printf()函数中时，结果将会输出十六进制的浮点数。格式如
下：[-]0xh, hhhhp + d 使用A格式修饰符时，x和p必须是大写。A和a格式修饰符也
可以用在scanf()函数中，用于读取浮点数。调用printf()函数时，允许在%f说明符前加上
l修饰符，即%lf，但不起作用。
13、C99新增的库
C89中标准的头文件
C99新增的头文件和库
14、__func__预定义标识符
用于指出__func__所存放的函数名，类似于字符串赋值。
15、其它特性的改动
放宽的转换限制
限制 C89标准 C99标准
数据块的嵌套层数 15 127
条件语句的嵌套层数 8 63
内部标识符中的有效字符个数 31 63
外部标识符中的有效字符个数 6 31
结构或联合中的成员个数 127 1023
函数调用中的参数个数 31 127
不再支持隐含式的int规则
删除了隐含式函数声明
对返回值的约束
C99中，非空类型函数必须使用带返回值的return语句。
扩展的整数类型
扩展类型 含义
int16_t 整数长度为精确16位
int_least16_t 整数长度为至少16位
int_fast32_t 最稳固的整数类型，其长度为至少32位
intmax_t 最大整数类型
uintmax_t 最大无符号整数类型
对整数类型提升规则的改进
C89中，表达式中类型为char，short int或int的值可以提升为int或unsigned int
类型。
C99中，每种整数类型都有一个级别。例如：long long int 的级别高于int，int的
级别高于char等。在表达式中，其级别低于int或unsigned int的任何整数类型均可被
替换成int或unsigned int类型。
但是各个公司对C99的支持所表现出来的兴趣不同。当GCC和其它一些商业编译器
支持C99的大部分特性的时候，微软和Borland却似乎对此不感兴趣。
发布者：admin，转转请注明出处：http://www.yc00.com/web/1716615315a2729103.html
评论列表（0条）