C语言32个关键字详解.docx
《C语言32个关键字详解.docx》由会员分享,可在线阅读,更多相关《C语言32个关键字详解.docx(19页珍藏版)》请在冰豆网上搜索。
C语言32个关键字详解
C语言中32个关键字详解
由ANSI标准定义的C语言关键字共32个:
autodoubleintstructbreakelselongswitch
caseenumregistertypedefcharexternreturnunion
constfloatshortunsignedcontinueforsignedvoid
defaultgotosizeofvolatiledoifwhilestatic
根据关键字的作用,可以将关键字分为数据类型关键字和流程控制关键字两大类。
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->3->2...循环,其中2为循环条件
do:
do循环结构,do1while
(2);的执行顺序是1->2->1...循环,2为循环条件
while:
while循环结构,while
(1)2;的执行顺序是1->2->1...循环,1为循环条件
以上循环语句,当循环条件表达式为真则继续循环,为假则跳出循环。
C99和C89标准对比多了些什么
1、restrict:
指针类型修饰符
C99中增加了公适用于指针的restrict类型修饰符,它是初始访问指针所指对象的惟一途径,因此只有借助restrict指针表达式才能访问对象。
restrict指针指针主要用做函数变元,或者指向由malloc()函数所分配的内存变量。
restrict数据类型不改变程序的语义。
如果某个函数定义了两个restrict指针变元,编译程序就假定它们指向两个不同的对象,memcpy()函数就是restrict指针的一个典型应用示例。
C89中memcpy()函数原型如下:
代码:
--------------------------------------------------------------------------------
void*memcpy(void*s1,constvoid*s2,size_tsize);
--------------------------------------------------------------------------------
如果s1和s2所指向的对象重叠,其操作就是未定义的。
memcpy()函数只能用于不重叠的对象。
C99中memcpy()函数原型如下:
代码:
--------------------------------------------------------------------------------
void*memcpy(void*restricts1,constvoid*restricts2,size_tsize);
--------------------------------------------------------------------------------
通过使用restrict修饰s1和s2变元,可确保它们在该原型中指向不同的对象。
2、inline(内联)关键字
内联函数除了保持结构化和函数式的定义方式外,还能使程序员写出高效率的代码.函数的每次调用与返回都会消耗相当大的系统资源,尤其是当函数调用发生在重复次数很多的循环语句中时.一般情况下,当发生一次函数调用时,变元需要进栈,各种寄存器内存需要保存.当函数返回时,寄存器的内容需要恢复。
如果该函数在代码内进行联机扩展,当代码执行时,这些保存和恢复操作旅游活动会再发生,而且函数调用的执行速度也会大大加快。
函数的联机扩展会产生较长的代码,所以只应该内联对应用程序性能有显着影响的函数以及长度较短的函数。
3、新增数据类型
_Bool
值是0或1。
C99中增加了用来定义bool、true以及false宏的头文件夹,以便程序员能够编写同时兼容于C与C++的应用程序。
在编写新的应用程序时,应该使用
头文件中的bool宏。
_Complexand_Imaginary
C99标准中定义的复数类型如下:
float_Complex;float_Imaginary;double_Complex;double_Imaginary;longdouble_Complex;longdouble_Imaginary.
头文件中定义了complex和imaginary宏,并将它们扩展为_Complex和_Imaginary,因此在编写新的应用程序时,应该使用头文件中的complex和imaginary宏。
longlongint
C99标准中引进了longlongint(-(2e63-1)至2e63-1)和unsignedlonglongint(0-2e64-1)。
longlongint能够支持的整数长度为64位。
4、对数组的增强
可变长数组
C99中,程序员声明数组时,数组的维数可以由任一有效的整型表达式确定,包括只在运行时才能确定其值的表达式,这类数组就叫做可变长数组,但是只有局部数组才可以是变长的.
可变长数组的维数在数组生存期内是不变的,也就是说,可变长数组不是动态的.可以变化的只是数组的大小.可以使用*来定义不确定长的可变长数组。
数组声明中的类型修饰符
在C99中,如果需要使用数组作为函数变元,可以在数组声明的方括号内使用static关键字,这相当于告诉编译程序,变元所指向的数组将至少包含指定的元素个数。
也可以在数组声明的方括号内使用restrict,volatile,const关键字,但只用于函数变元。
如果使用restrict,指针是初始访问该对象的惟一途径。
如果使用const,指针始终指向同一个数组。
使用volatile没有任何意义。
5、单行注释
引入了单行注释标记"//",可以象C++一样使用这种注释了。
6、分散代码与声明
7、预处理程序的修改
a、变元列表
宏可以带变元,在宏定义中用省略号(...)表示。
内部预处理标识符__VA_ARGS__决定变元将在何处得到替换。
例:
#defineMySum(...)sum(__VA_ARGS__)语句MySum(k,m,n);
将被转换成:
sum(k,m,n); 变元还可以包含变元。
例:
#definecompare(compf,...)compf(__VA_ARGS__)其中的compare(strcmp,"small","large");将替换成:
strcmp("small","large");
b、_Pragma运算符
C99引入了在程序中定义编译指令的另外一种方法:
_Pragma运算符。
格式如下:
_Pragma("directive")
其中directive是要满打满算的编译指令。
_Pragma运算符允许编译指令参与宏替换。
c、内部编译指令
STDCFP_CONTRACTON/OFF/DEFAULT若为ON,浮点表达式被当做基于硬件方式处理的独立单元。
默认值是定义的工具。
STDCFEVN_ACCESSON/OFF/DEFAULT告诉编译程序可以访问浮点环境。
默认值是定义的工具。
STDCCX_LIMITED_RANGEON/OFF/DEFAULT若值为ON,相当于告诉编译程序某程序某些含有复数的公式是可靠的。
默认是OFF。
d、新增的内部宏
__STDC_HOSTED__若操作系统存在,则为1
__STDC_VERSION__199991L或更高。
代表C的版本
__STDC_IEC_599__若支持IEC60559浮点运算,则为1
__STDC_IEC_599_COMPLEX__若支持IEC60599复数运算,则为1
__STDC_ISO_10646__由编译程序支持,用于说明ISO/IEC10646标准的年和月格式:
yyymmmL
8、for语句内的变量声明
C99中,程序员可以在for语句的初始化部分定义一个或多个变量,这些变量的作用域仅于本for语句所控制的循环体内。
比如:
代码:
--------------------------------------------------------------------------------
for(inti=0;i<10;i++){
//dosometing...
}
--------------------------------------------------------------------------------
9、复合赋值
C99中,复合赋值中,可以指定对象类型的数组、结构或联合表达式。
当使用复合赋值时,应在括弧内指定类型,后跟由花括号围起来的初始化列表;若类型为数组,则不能指定数组的大小。
建成的对象是未命名的。
例:
double*fp=(double[]){1.1,2.2,3.3};
该语句用于建立一个指向double的指针fp,且该指针指向这个3元素数组的第一个元素。
在文件域内建立的复合赋值只在程序的整个生存期内有效。
在模块内建立的复合赋值是局部对象,在退出模块后不再存在。
10、柔性数组结构成员
C99中,结构中的最后一个元素允许是未知大小的数组,这就叫做柔性数组成员,但结构中的柔性数组成员前面必须至少一个其他成员。
柔性数组成员允许结构中包含一个大小可变的数组。
sizeof返回的这种结构大小不包括柔性数组的内存。
包含柔性数组成员的结构用malloc()函数进行内存的动态分配,并且分配的内存应该大于结构的大小,以适应柔性数组的预期大小。
11、指定的初始化符
C99中,该特性对经常使用稀疏数组的程序员十分有用。
指定的初始化符通常有两种用法:
用于数组,以及用于结构和联合。
用于数组的格式:
[index]=vol;其中,index表示数组的下标,vol表示本数组元素的初始化值。
例如:
intx[10]={[0]=10,[5]=30};其中只有x[0]和x[5]得到了初始化.用于结构或联合的格式如下:
member-name(成员名称)
对结构进行指定的初始化时,允许采用简单的方法对结构中的指定成员进行初始化。
例如:
structexample{intk,m,n;}object={m=10,n=200};
其中,没有初始化k。
对结构成员进行初始化的顺序没有限制。
12、printf()和scanf()函数系列的增强
C99中printf()和scanf()函数系列引进了处理longlongint和unsignedlonglongint数据类型的特性。
longlongint类型的格式修饰符是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中标准的头文件
定义宏assert()
字符处理
错误报告
定义与实现相关的浮点值勤
定义与实现相关的各种极限值
支持函数setlocale()
数学函数库使用的各种定义
支持非局部跳转
定义信号值
支持可变长度的变元列表
定义常用常数
支持文件输入和输出
其他各种声明
支持串函数
支持系统时间函数
C99新增的头文件和库
支持复数算法
给出对浮点状态标记和浮点环境的其他方面的访问
定义标准的、可移植的整型类型集合。
也支持处理最大宽度整数的函数
首先在此1995年第一次修订时引进,用于定义对应各种运算符的宏
支持布尔数据类型类型。
定义宏bool,以便兼容于C++
定义标准的、可移植的整型类型集合。
该文件包含在中
定义一般类型的浮点宏
首先在1995年第一次修订时引进,用于支持多字节和宽字节函数
首先在1995年第一次修订时引进,用于支持多字节和宽字节分类函数 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,shortint或int的值可以提升为int或unsignedint类型.
C99中,每种整数类型都有一个级别.例如:
longlongint的级别高于int,int的级别高于char等.在表达式中,其级别低于int或unsignedint的任何整数类型均可被替换成int或unsignedint类型.
此篇文章摘取与即将登载于《Dr.Dobb's软件研发》》第二期(2003年9月)的《新的C语言,C99标准介绍》,文章主要是介绍了C99的新特性,在得到作者RandyMeyers以及《Dr.Dobb's软件研发》》负责人刘江先生的应允下,把全文的前面的一部分作为文档发表,希望能对大家有所帮助。
C99很像C89,很多地方是一致的,但更多的却是不同。
简介
你可能没有注意到,针对ANSI/ISO?
?
C的主要的修订版[1]在去年12月已经被核准通过,那是就C99。
同样的,你可能也没注意到,其实你已经在使用这个新的C语言了,或者至少用到它的一部分。
这需要归功于标准委员会在接受新特性到C语言的过程中采取了恰当而保守的方式。
差不多所有的新特性早已经被实现并且在现存的一些C编译器(impletmentations)中证明了其存在的价值。
虽然没有编译器能保证全部的C99特性,但其中许多在很多年前就实现了C99中不同的部分。
这对于C程序员来说将是个好消息。
或许你曾经为了保证程序的可移植性而在你喜爱的编译器里避免使用一些独立的特性,但现在如果这些特性是C99中的一部分的话,你可以放心的使用这些特性,因为他们将在大部分遵守C99标准的编译器中被保证。
毫无疑问,新标准是向上兼容旧的,当然也会有些不兼容地方,但这些都是非常少而次要的。
标准委员会非常努力地工作就是为了将和老版本的兼容性问题所带来的影响减少到最小。
从后面讨论到的关键字你可以看到这方面的例证。
命名和历史
程序设计语言随着时间在不断演进,语言的命名方式不仅仅依赖于语言本身的名字,还结合了它们被定义的年代。
(回到五年前,ALGOL68,C89,Fortran77还有Fortran4,我对这些名字真的感到好笑,如今这些令人讨厌的命名方式还带来了千年虫问题,04将无法区别眼前的2004或者久远的1904)。
新的C语言和定义它的新标准被称为C99,而原来的C语言标准[2]被称为C89或者C90(ANSI在1989年公布了标准文档而ISO在1990年重新编排了标准文档章节后才公布)。
如果你在自己的程序中处理过日语,韩语,或者中文的文字问题你也许会知道对于C89来说曾经有一次小的升级[3]被称为C95,这次升级主要是加入了更多的用来处理多字节和宽字节字符(wideandmultibytecharacters)的库函数(Java的倡导者曾经错误的宣布Java是第一个支持大字符集合的语言,其实这样的支持在C89中就已经存在了)。
对于C99施加影响最大的或许就是数值C语言扩展小组(NumericalCExtensionsGroup,orNCEG.)。
NCEG是ANSIC标准委员会J11的一个子委员会,他们主要在C89完成后从事技术报告工作[4]。
NCEG的技术报告不是标准,它只是号召编译器实现者来体会并且得到那些一系列描叙清楚的语言特性的经验。
这些扩展中大的部分是用来处理C语言数值编程的(IEEEarithmetic,complexnumbers),但是还有一些是为了其他一般目标或者性能的提升和优化(变长数组,并行处理,restrict关键字)。
NCEG的扩展一些是由子标准委员会首次定义的,而其他一些则是根据编译器厂商对于已经实现的特性的反馈而重新定义的。
所以技术报告不是标准,编译器厂商可以自由的选取并且实现这些扩展,甚至可以根据用户的经验更改这些扩展。
真实世界的需求是非常有价值的。
语言的不同特性在内部会以一种令人吃惊的方式相互作用,而有的特性将会给程序的运行效率带来不良影响,即使这些特性永远都不会被用到(举例来说,在一些C++的实现中,使用少量多继承的程序将会比只使用单继承的程序慢一些)。
NCEG的扩展实验不仅仅是为了改进扩展本身,同时是为了改进它们的规格,并且让标准委员会对于那些已知的语言特性的内部作用和价值保持信心。
哪些不属于C99
并不是所有的NCEG扩展都被C99所接受,其中最大的例子也许就是NCEG对并行处理的支持并没有被C99所接受。
这些并行处理是基于ThinkingMachines上的C*语言(读作C-Star)的。
并行计算机制造商为了能让程序员写出清晰的并行程序代码而做出许多不同的扩展特性,而NCEG技术报告对此却没有做出改进,所以仍然没有一致的并且是最好的方式在并行计算机上编程。
因此,这样的特性是不适合被标准C语言接受的。
另外一些NCEG扩展在被加入到C99之前做了一些更改。
NCEG支持的复数包含分开的虚数数据类型(separateimaginarydatatypes)。
比如,double_imaginary数据类型。
但是在C99中虚数数据类型却是可选择的。
然而,被考虑得最多到最后却没有被C99采纳的特性不是来自NCEG,而是C++。
在将近一年的时间里,标准委员会一直在从事C++中的子集--面向对象特性的研究工作。
这个子集有点像80年代末的C++特性的混合,包括单继承(非多继承),虚函数,成员访问控制(公有,私有,保护),构造函数,析构函数。
如果新的C语言与早期的C++相似可以说是既有进步也有退步。
积极的一面是,这些特性对于初期C++的流行起到了巨大作用,到现在这些特性的价值和它们之间的内在作用已经被大家很好的理解,而且已经证明它们是可以共存的。
然而,消极的一面是“90年代的C++是否可以看作是80年代的C++的自然演化?
如果是,C采用80年代的C++的特性价值何在?
要知道我们已经拥有90年代的C++了。
”最终,多方面的原因,包括一些逻辑上的,让标准委员会拒绝把面向对象特性加入到C语言中去。
新的C语言:
C99标准介绍
RandyMeyers
此篇文章摘取与即将登载于《Dr.Dobb's软件研发》》第二期(2003年9月)的《新的C语言,C99标准介绍》,文章主要是介绍了C99的新特性,在得到作者RandyMeyers以及《Dr.Dobb's软件研发》》负责人刘江先生的应允下,把全文的前面的一部分作为文档发表,希