GCC的51项扩充的说明

作者在 2010-08-06 18:14:54 发布以下内容
http://gcc.gnu.org/onlinedocs/gcc-4.1.2/gcc/C-Extensions.html#C-Extensions
是GCC的51项扩充的说明,若有时间,不妨一阅。
http://en.wikipedia.org/wiki/ISO_C
它给出了C语言的定义。
数据结构 | 阅读 2492 次
文章评论,共1条
vfdff(作者)
2010-09-07 01:05
1
5.C语言家族扩展<br />
&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp; C语言家族扩展43项<br />
<br />
翻译:<br />
5.1--5.6&nbsp; &nbsp; &nbsp; &nbsp; 林峰<br />
5.7--5.20&nbsp; &nbsp; &nbsp; &nbsp; 董溥<br />
5.21--5.26&nbsp; &nbsp; &nbsp; &nbsp; 王聪<br />
5.27--5.34&nbsp; &nbsp; &nbsp; &nbsp; 刘洋<br />
5.35--5.43&nbsp; &nbsp; &nbsp; &nbsp; 贾孟树<br />
<br />
<br />
致谢:感谢陈老师指出其中的一些错误,已修订。<br />
修订记录:&nbsp; &nbsp; &nbsp; &nbsp;&nbsp;&nbsp;<br />
修订一些用词和标点符号。(董溥)&nbsp; &nbsp; &nbsp; &nbsp; 2007年1月12号<br />
修订一些用词和错别字。(王聪)&nbsp; &nbsp; &nbsp; &nbsp; 2006年12月14号<br />
修正一些错误的标签。(王聪,董溥)&nbsp; &nbsp; &nbsp; &nbsp; 2006年12月13号<br />
<br />
<br />
________________________________________<br />
GNU C提供了多种在ISO标准C中没有的特性。(‘-pedantic’选项会使GCC打印一个警告信息,如果这些 特性被使用。)如果要在条件编译时测试这些特性是否可以使用,可以查预定义的宏__GNUC__,它总是在GCC中定义。<br />
这些扩展在C和Objective C中适用。大部分特性也适用于C++。参见Extensions to the C++ Language一部分,仅为C++提供的扩展。<br />
这些特性在ISO C99中,但不是在C89或C++中,它们作为扩展被GCC以C89和C++接受。<br />
5.1 表达式中的语句和声明 <br />
5.2 局部声明的标签<br />
5.3 可赋值标签<br />
5.4 嵌套函数 <br />
5.5 构建函数调用 <br />
5.6命名一个表达式 的类型 <br />
5.7 使用typeof指代类型 <br />
5.8 左值概括 <br />
5.9 省略操作数的条件 <br />
5.10 双字节整型 <br />
5.11 复数 <br />
5.12 16进制浮点数 <br />
5.13 零长度数组<br />
5.14 变长数组 <br />
5.15 可变参数的宏 <br />
5.16 为反向换行轻微放宽规则<br />
5.17 包含换行的字符串常量 <br />
5.18 非左值数组可以具有下标 <br />
5.19 void与函数指针的运算 <br />
5.20 非常量初始化 <br />
5.21 复合文字 <br />
5.22 特定的初始化<br />
5.23 case范围 <br />
5.24 向共同体类型转换<br />
5.25 混合声明和代码<br />
5.26 声明函数的属性<br />
5.27 属性语法 <br />
5.28 原型和老式风格的函数定义 <br />
5.29 C++风格注释 <br />
5.30 标识符名称中的美元符<br />
5.31 常量中的ESC字符 <br />
5.32 询问变量对齐方式 <br />
5.33说明变量属 性<br />
5.34 指定类型属性<br />
5.35 内联函数像宏一样快<br />
5.36 汇编指令和C表达式 操作数<br />
5.37汇编代码中 使用的控制名字<br />
5.38 指定寄存器中的变量<br />
5.39 备用关键字<br />
5.40 不完整的枚举类型<br />
5.41 用字符串命名函数<br />
5.42 获取函数返回值或结构地址 <br />
5.43 GCC提供的其它内置函数<br />
<br />
5.1 表达式中的语句和声明<br />
GNU C把包含在括号中的复合语句看作是一个表达式。这样就允许你在表达式中使用循环、switch语句以及局部变 量。<br />
让我们回忆一下,复合语句是用大括号括起来的一组表达式,在这种构造之下,大括号外面要有一对圆括号。例如:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; ({ int y = foo (); int z;<br />
&nbsp; &nbsp;if (y &gt; 0) z = y;<br />
&nbsp; &nbsp;else z = - y;<br />
&nbsp; &nbsp;z; })<br />
就是一个合法的求foo()的绝对值的表达式(虽然比必要的复杂一点)。<br />
复合语句的最后必须是一个以分号结尾的语句;而这个子语句的值将会被当成整个表达式的值。在这里,如果你使用了其它一些用大括号括起来的语句,由于这个语 句的返回值为空,所以实际上整个语句值为空。<br />
这个特点在使宏定义变得“安全”这方面特别有用,因为这样只会对每个参数严格地只计算一次。比如说:在标准C中,求最大值的函数的宏,通常定义如 下:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; #define foo(a)&nbsp;&nbsp;({int b = (a); b + 3; })<br />
但是,这个宏定义对a和b都计算了两次,当参数带有副作用时,将会产生错误结果。在GNU C中,假设我们知道参数的类型,这儿我们假设是int型,那么你就可以象这样子让宏定义更安全: <br />
 &nbsp; &nbsp; &nbsp; &nbsp; #define maxint(a,b) \<br />
&nbsp;&nbsp;({int _a = (a), _b = (b); _a &gt; _b ? _a : _b; })<br />
常量表达式中不允许使用语句,例如枚举类型的常量,位域的宽度或者是静态变量的初始值。<br />
如果你不知道参数的类型,你仍然可以实现上述功能,不过你必须使用typeof(参见5.7节 用typeof引用一个类型)或者类型命名(参见5.6节 命名一个表达式的类型)。<br />
C++对语句表达式并不是完全支持,他们的运行结果是不确定的。有可能在某些方面会他们完全支持语句表达式,或者他们会禁止,或者现在的漏洞会继续 不确定的存在着。目前,语句表达式还是没有默认参数理想。<br />
需要说明的是,在C++中,语句表达式仍存在语义上的争议。如果你想在C++中使用语句表达式来代替内联函数,那么你可能会对对象析构的处理方式感 到惊讶。例如:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; #define foo(a)&nbsp;&nbsp;({int b = (a); b + 3; })<br />
这个宏和下面这个内联函数运行起来是不一样的:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; inline int foo(int a) { int b = a; return b + 3; }<br />
特殊地,如果foo的表达式中牵涉到临时对象的创建的话,那么这些临时对象的析构在宏中就会比在内联函数中更早执行。<br />
这些因素都需要考虑,这就意味着在为C++的使用设计的头文件中使用这种形式的语句表达式并不是一个好方法。需要注意的是,有些版本的GNU C库中也包含了使用语句表达式的头文件,必然导致了也存在这个问题。<br />
5.2 局部声明的标签<br />
语句表达式在作用域内可以定义局部标签。简单的说,局部标签就是一个标识符。你可以用一个普通的goto语句跳到该标签处,不过只限于该语句表达式 所属的作用域。<br />
一个局部标签的定义就像这样:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; __label__ label;<br />
或者是:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; __label__ label1, label2, ...;<br />
局部标签的声明必须处在语句表达式的开头,就是在“({”之后,在其它常规声明之前。<br />
标签声明只是定义了标签的名字,并没有定义标签的内容。所以,在语句表达式的语句中,你必须用平常的方法给label1定义标签内容。<br />
局部标签的特性相当有用,因为在宏中经常使用语句表达式。如果宏中含有嵌套循环,那么用goto语句来跳出循环就相当有效。但是,普通标签的作用域 只是整个函数,故在这儿无法使用:如果宏在一个函数中被多次展开,那么这个标签在函数内就会被重定义。而局部标签就可以解决这个问题。例如:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; #define SEARCH(array, target)&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;\<br />
&nbsp; &nbsp; &nbsp; &nbsp; ({&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;\<br />
&nbsp; &nbsp; &nbsp; &nbsp;&nbsp; &nbsp;__label__ found;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp;&nbsp;\<br />
&nbsp; &nbsp; &nbsp; &nbsp;&nbsp; &nbsp;typeof (target) _SEARCH_target = (target);&nbsp; &nbsp;&nbsp; &nbsp;\<br />
&nbsp; &nbsp; &nbsp; &nbsp;&nbsp; &nbsp;typeof (*(array)) *_SEARCH_array = (array);&nbsp; &nbsp;&nbsp;&nbsp;\<br />
&nbsp; &nbsp; &nbsp; &nbsp;&nbsp; &nbsp;int i, j;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;\<br />
&nbsp; &nbsp; &nbsp; &nbsp;&nbsp; &nbsp;int value;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp;&nbsp;\<br />
&nbsp; &nbsp; &nbsp; &nbsp;&nbsp; &nbsp;for (i = 0; i &lt; max; i++)&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp;&nbsp;\<br />
&nbsp; &nbsp; &nbsp; &nbsp;&nbsp; &nbsp;&nbsp;&nbsp;for (j = 0; j &lt; max; j++)&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;\<br />
&nbsp; &nbsp; &nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp; if (_SEARCH_array<i>[j] == _SEARCH_target)&nbsp;&nbsp;\<br />
&nbsp; &nbsp; &nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;{ value = i; goto found; }&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp; \<br />
&nbsp; &nbsp; &nbsp; &nbsp;&nbsp; &nbsp;value = -1;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp; \<br />
&nbsp; &nbsp; &nbsp; &nbsp;&nbsp;&nbsp;found:&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp; \<br />
&nbsp; &nbsp; &nbsp; &nbsp;&nbsp; &nbsp;value;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;\<br />
&nbsp; &nbsp; &nbsp; &nbsp; })<br />
5.3 可赋值标签<br />
你可以用一元运算符 &quot;&amp;&amp;&quot; 来获取当前函数中或者是包含函数中定义的一个标签的地址。它的返回值是空指针类型,该值是个常量,而且可以在任何合法使用该类型常量的地方使用。例如:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; void *ptr;<br />
...<br />
ptr = &amp;&foo;<br />
要使用这些值,你必须设法跳到一个值处。这是通过计算过的goto语句goto *exp完 成的(2) 。例如:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; goto *ptr;<br />
允许使用任何关于空类型的表达式。<br />
另一个使用这些常量的地方就是初始化一个可以用来当跳跃标签的静态数组:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; static void *array[] = { &amp;&amp;foo, &amp;&amp;bar, &amp;&amp;hack };<br />
你就可以象这样选择一个带下标的标签:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; goto *array<i>;<br />
要注意到这样并未对下标是否越界进行检查,而C中的数组下标是从不会这样的。<br />
数组标签值的这种用途与switch语句的用途很相似。所以,除非用switch语句来解决问题不理想时才使用这种数组。<br />
标签值的另一种用法就是作为线程代码的解释器。解释器函数中的标签可以存储在线程代码中用来作更快的调度 。<br />
你也许不会使用这种方法来跳至另一个函数的代码处。如果你这么用了的话,那么就会发生完全不可预期的事情。防止这种事情发生的最好办法就是,只将标 签值存到自变量中,而且永远不要将它作为一个参数进行传递。<br />
上述例子的一个可替代的写法是:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; static const int array[] = { &amp;&amp;foo - &amp;&amp;foo, &amp;&amp;bar - &amp;&amp;foo,<br />
&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&amp;&amp;hack - &amp;&amp;foo };<br />
goto *(&amp;&amp;foo + array<i>);<br />
对代码来说,在共享库中更为友好。 因为它减少了必要的动态改变位置的次数,因此还实现了数据的只读。<br />
5.4 嵌套函数<br />
嵌套函数就是指在另一个函数中定义的函数(GNU C++中不支持嵌套函数)。嵌套函数名仅在它被定义的模块中有效。举个例子,我们这儿定义了一个名为square的嵌套函数,并且调用了它两次:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; foo (double a, double b)<br />
{<br />
&nbsp;&nbsp;double square (double z) { return z * z; }<br />
<br />
&nbsp;&nbsp;return square (a) + square (b);<br />
}<br />
这个嵌套函数可以处理在它定义的位置对它可见的包含函数的所有变量,这叫词法作用域。下面我们举个嵌套函数的例子,它使用了一个名为 offset的继承变量。<br />
 &nbsp; &nbsp; &nbsp; &nbsp; bar (int *array, int offset, int size)<br />
{<br />
&nbsp;&nbsp;int access (int *array, int index)<br />
&nbsp; &nbsp; { return array[index + offset]; }<br />
&nbsp;&nbsp;int i;<br />
&nbsp;&nbsp;...<br />
&nbsp;&nbsp;for (i = 0; i &lt; size; i++)<br />
&nbsp; &nbsp; ... access (array, i) ...<br />
}<br />
函数中可以定义变量的地方就可以定义嵌套函数,也就是说在任何模块的第一条语句之前。<br />
通过储存嵌套函数的地址或者是将它的地址传给另一个函数,就可以在函数的作用域外调用该嵌套函数:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; hack (int *array, int size)<br />
{<br />
&nbsp;&nbsp;void store (int index, int value)<br />
&nbsp; &nbsp; { array[index] = value; }<br />
<br />
&nbsp;&nbsp;intermediate (store, size);<br />
}<br />
这里,intermediate函数将store函数的地址作为一个参数进行接收。 如果,intermediate函数调用store,传递给store的 参数就会被存进array。这个方法仅在未退出包含函数(这个例子中是hack)时有效。<br />
当该包含函数已经退出,如果你通过嵌套函数的地址来调用它的话,后果将不可设想。如果当包含函数已经退出时你来调用它的话,而且它指向作用域中不再 存在的变量时,也许你会很幸运,但是,冒这个险是不可取的。但是,要是嵌套函数并没有指向任何作用域外的任何东西,那么你就是安全的。<br />
GCC增加了一种获取嵌套函数地址的方法--trampolines。要了解详细信息可以查阅:<a href="http://people.debian.org/~karlheg/Usenix88-lexic.pdf." target="_blank">http://people.debian.org/~karlheg/Usenix88-lexic.pdf.</a> <br />
嵌套函数可以跳至一个从包含函数中继承的标签,条件是这个标签在包含函数中有明确的定义(参见5.2节 局部声明标签)。 这样的一个跳跃就回到了包含函数,同时也退出了调用goto语句的嵌套函数或者是其它的中间函数。这里有个例子:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; bar (int *array, int offset, int size)<br />
{<br />
&nbsp;&nbsp;__label__ failure;<br />
&nbsp;&nbsp;int access (int *array, int index)<br />
&nbsp; &nbsp; {<br />
&nbsp; &nbsp;&nbsp; &nbsp;if (index &gt; size)<br />
&nbsp; &nbsp;&nbsp; &nbsp;&nbsp;&nbsp;goto failure;<br />
&nbsp; &nbsp;&nbsp; &nbsp;return array[index + offset];<br />
&nbsp; &nbsp; }<br />
&nbsp;&nbsp;int i;<br />
&nbsp;&nbsp;...<br />
&nbsp;&nbsp;for (i = 0; i &lt; size; i++)<br />
&nbsp; &nbsp; ... access (array, i) ...<br />
&nbsp;&nbsp;...<br />
&nbsp;&nbsp;return 0;<br />
<br />
 /* Control comes here from access<br />
&nbsp; &nbsp; if it detects an error.&nbsp;&nbsp;*/<br />
 failure:<br />
&nbsp;&nbsp;return -1;<br />
}<br />
一个嵌套函数一般都有它的内部连接。用extern来声明一个嵌套函数是错误的,如果你需要在嵌套函数的定义之 前声明它,使用auto,否则该函数声明是没有意义的。<br />
 &nbsp; &nbsp; &nbsp; &nbsp; bar (int *array, int offset, int size)<br />
{<br />
&nbsp;&nbsp;__label__ failure;<br />
&nbsp;&nbsp;auto int access (int *, int);<br />
&nbsp;&nbsp;...<br />
&nbsp;&nbsp;int access (int *array, int index)<br />
&nbsp; &nbsp; {<br />
&nbsp; &nbsp;&nbsp; &nbsp;if (index &gt; size)<br />
&nbsp; &nbsp;&nbsp; &nbsp;&nbsp;&nbsp;goto failure;<br />
&nbsp; &nbsp;&nbsp; &nbsp;return array[index + offset];<br />
&nbsp; &nbsp; }<br />
&nbsp;&nbsp;...<br />
}<br />
5.5 构造函数调用<br />
通过使用下面所描述的内置函数,你就可以把一个函数所接收的参数记录下来,然后用同样的参数调用另一个函数而不管参数的数目和类型。<br />
你同样也可以将函数调用的返回值记录下来,然后返回同样的值,而不管这个函数试图返回什么样的数据类型,只要你的调用函数需要这个值。<br />
内置函数:void * __builtin_apply_args ()<br />
这个内置函数返回一个指针,而这个指针指向的数据描述了如何用传给当前函数的参数来进行一个函数调用。<br />
这个函数返回一个由参数指针寄存器,结构体值地址以及所有可能用来传递参数的寄存器组成的堆栈段的地址。<br />
内置函数:void * __builtin_apply (void (*function)(), void *arguments, size_t size)<br />
这个内置函数通过一份由arguments和size指定的参数 的拷贝来调用函数。<br />
arguments的值必须是_builtin_apply_args函数的返回值,而 size参数指定了堆栈参数数据的字节数。<br />
这个内置函数返回一个指针,而这个指针指向的数据描述了如何返回function函数返回的不管任何类型的返回值。这 个数据保存在堆栈段中。<br />
有时候,计算确切的size的值并不容易。__builtin_apply函数使用这个值来计算需要入栈的数据大小,以 及需要从数据来源拷贝多少数据。<br />
内置函数:void __builtin_return (void *result) <br />
这个函数返回了一个由包含函数中result指定的值。你需要为result函 数指定一个由__builtin_apply函数返回的值。<br />
5.6命名一个表达式的类型<br />
在初始化语句中,你可以使用一个typedef声明来给表达式类型取名。这里演示了如何给exp类 型取个新类型名name:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; typedef name = exp;<br />
把这个和语句内嵌表达式特性结合起来将非常有用。下面就是如何将二者结合起来来定义一个可对任何算术类型求最大值的宏:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; #define max(a,b) \<br />
&nbsp;&nbsp;({typedef _ta = (a), _tb = (b);&nbsp;&nbsp;\<br />
&nbsp; &nbsp; _ta _a = (a); _tb _b = (b);&nbsp; &nbsp;&nbsp;&nbsp;\<br />
&nbsp; &nbsp; _a &gt; _b ? _a : _b; })<br />
给局部变量起以下划线开头的名字的原因是为了防止与表达式中用来替代a和b的变量的 变量名产生冲突。最后,我们希望可以设计出一种新的声明语法,这种语法允许你声明作用域仅在他们的初始化语句之后的变量;用这种方法来防止这种冲突更加可 靠。<br />
5.7 使用typeof指代类型<br />
另外一种提供表达式类型的方法是使用typeof。使用这个关键词的语法与sizeof相 似,但是建立的语义与typedef定义一个类型相似。<br />
有两种写typeof参数的方法:跟一个表达或者一个类型。下面是一个跟表达式的例子:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; typeof (x[0](1))<br />
这假定x是一个指向函数的指针数组;描述的类型是函数的值。<br />
下面的例子使用类型名做为参数:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; typeof (int *)<br />
这儿的类型描述的是指向int的指针。<br />
如果你正在写一个头文件必须在包含ISO C程序时工作,使用__typeof__代替typeof。 参考5.39节 备用关键字<br />
typeof可以在任何地方使用,typedef名字可能会被用到。例如,你可以在申明的时 候使用它,在一个转换中或者在sizeof,typeof中使用。<br />
&#8226;&nbsp; &nbsp; &nbsp; &nbsp; 这个声明y为x指向的数据类型: <br />
 &nbsp; &nbsp; &nbsp; &nbsp; typeof (*x) y;<br />
&#8226;&nbsp; &nbsp; &nbsp; &nbsp; 这个声明y为一个数组具有这样的值: <br />
 &nbsp; &nbsp; &nbsp; &nbsp; typeof (*x) y[4];<br />
&#8226;&nbsp; &nbsp; &nbsp; &nbsp; 这个声明y是一个指向字符的指针: <br />
 &nbsp; &nbsp; &nbsp; &nbsp; typeof (typeof (char *)[4]) y;<br />
&#8226;&nbsp; &nbsp; &nbsp; &nbsp; 它与下面的传统C声明相同: <br />
 &nbsp; &nbsp; &nbsp; &nbsp; char *y[4];<br />
&#8226;&nbsp; &nbsp; &nbsp; &nbsp; 为了看到使用typeof定义的意义,为什么它可能是一种有用的写法,我们用宏来重新写它们: <br />
 &nbsp; &nbsp; &nbsp; &nbsp; #define pointer(T)&nbsp;&nbsp;typeof(T *)<br />
#define array(T, N) typeof(T [N])<br />
&#8226;&nbsp; &nbsp; &nbsp; &nbsp; 现在声明可以被改写为: <br />
 &nbsp; &nbsp; &nbsp; &nbsp; array (pointer (char), 4) y;<br />
&#8226;&nbsp; &nbsp; &nbsp; &nbsp; 因此,array(pointer(char),4)是含有4个指向char指针的数组。 <br />
5.8 左值概括<br />
复合表达式,条件表达式以及强制类型转换允许作为左值,条件是它们的操作数是左值。这意味着你可以取得它们的地址或者给它们赋值。<br />
标准的C++允许复合表达式,条件表达式作为左值,允许强制类型转换引用类型,因此使用本扩展与C++的代码有冲突。<br />
例如,一个复合表达式可以被赋值,条件是最后一个表达式是左值。下面两个表达式是相同的:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; (a, b) += 5<br />
a, (b += 5)<br />
同样,复合表达式的地址也是可取的。下面两个表达式是相同的:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; &amp;(a, b)<br />
a, &amp;b<br />
一个条件表达式,如果它的类型不是void且真假分支都是有效左值,那它就是一个有效左值。例如,下面两个表达 式是相同的:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; (a ? b : c) = 5<br />
(a ? b = 5 : (c = 5))<br />
如果强制类型转换的操作数是一个左值那么它也是左值。一个简单的赋值,它的左边是一个强制转换用来首先将右边转换为指定类型,然后再转换为 表达式左边的类型。当这存储完成后,值被转换回指定类型变成分配的值。因此,如果a是char*类型,下面两个表达式是相同 的:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; (int)a = 5<br />
(int)(a = (char *)(int)5)<br />
算术赋值操作符,例如‘+=’,加到强制类型转换中,算术使用强制类型转换的后的类型,接下来与前面情况相同。因此,下面两个表达式是相同 的:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; (int)a += 5<br />
(int)(a = (char *)(int) ((int)a + 5))<br />
你不能取得强制类型转换的左值,因为使用它的地址将不会清楚的计算。试想假设允许&amp;(int),f为float类 型。下面的语句将试图在一个属于浮点数空间里存储一个整型:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; *&amp;(int)f = 1;<br />
这与(int)f=1(它可以把1转换为浮点类型并存储)做的事情大不相同。于其造成这种不一致,我们认为还是 禁止对强制类型转换使用'&amp;'比较好。<br />
如果你真的想要指向f地址的int*指针,你可以写为(int*)&amp;f。<br />
5.9 省略操作数的条件<br />
在条件表达式中的中间操作数可能会被忽略。这样,如果第一个操作数非零,那么它的值就是条件表达式的值。<br />
因此,表达式<br />
 &nbsp; &nbsp; &nbsp; &nbsp; x ? : y<br />
的值为x的值,如果x非零;否则为y的值。<br />
这个例子完全等价于<br />
 &nbsp; &nbsp; &nbsp; &nbsp; x ? x : y<br />
在这个简单的例子中,忽略中间操作数的作用不是特 别有用。第一个操作数,也许(如果它是一个宏参数),含有一个副作用时,它会变得有用。重复的中间操作数可能会产生两次副作用。而忽略中间操作数使用已经 计算的值可以避免烦人的重新计算。<br />
5.10 双字节整型<br />
ISO C99支持至少64位的整型数据类型,作为扩展,GCC以C89模式和C++中支持它。可以把带符号整型写为long long int ,无符号整型写为unsigned long long。要创建一个long long int型的整型,给整型添加'LL'后缀。创建无符号long long int型整型,添加'ULL'后缀。<br />
你可以在运算中像其它整型一样使用它们。另外,这些类型的减法以及按位布尔操作对所有机器都是开码的。如果机器支持fullword-to- doubleword一个扩展乘法指令,那么乘法也是开码的。分割和移位只有在机器有特殊支持时才是开码的。不是开码的运算使用GCC特有的库例程。<br />
这可能成为你使用long long类型作为函数参数时的陷阱,除非你申明函数原型。如果一个函数期待一个int型 参数,但你传递给它long long int型参数,结果将变得十分混乱,因为调用者和子程序将会拒绝参数的位数。同样地, 如果函数期待一个long long int型参数,而你传递给它int型。避免这种问题最好的办 法是申明函数原型。<br />
5.11 复数<br />
ISO C99支持浮点复数数据类型,扩展GCC以C89模式和C++支持它并且支持整型复数,但ISO C99并不支持。你可以使用关键词_Complex申 明复数类型。作为扩展,较老的GNU关键词_complex_也同样被支持。<br />
例如,'_Complex double x;'申明x为实部与虚部都为double的 变量。'_Complex short int y;'申明y为实部与虚部都为short int;这看起来不是很有用,但它表明了建立复数类型是完整的。<br />
要写一个复数类型的常量,使用’i‘或’j‘后缀(任意一个;它们是相同的)。例如,2.5fi是_Complex float类型,3i是_Complex int类型。这样的常量总是有一个纯虚 值,不过你可以添加一个真值来建立任意一个复数值。这是GNU扩展;如果你有一个ISO C99标准的C库(如GNU库),但你想建立浮点型的复数,你可以包含complex.h并使用宏I或者_Complex_I代 替。<br />
要获得复数表达式exp的实部,写为_real_exp。同样_imag_用 来获得虚部。这是一个GNU扩展;对于浮点类型,你需要使用ISO C99的函数crealf, creal, creall, cimagf, cimag and cimagl,在complex.h中申明,GCC以内置函数提供。 <br />
使用复数类型的时候操作符’~‘代表共轭复数。这是GNU扩展;对于浮点类型,你可以使用ISO C99函数conjf, conj and conjl,在complex.h中申明,同样GCC以内置函数支持。<br />
GCC可以给复数以非邻接的方式分配自动变量;甚至当虚部在栈中时实部却可以在寄存器中(反之易然)。没有一个支持的调试信息格式有一种像这样代表 非邻接分配的方式,因此GCC把非邻接复数变量描述为好像有两个分离的非复数变量。如果变量的真实名字是foo,两个虚构的变 量是foo$real,foo$imag。你可以用你的调试器检查并设置两个虚构变量。 <br />
以后版本的GDB会知道如何识别这样的类型,并且把它们看作一个单一的复数类型。<br />
5.12 十六进制浮点数<br />
ISO C99不仅仅以普通的十进制方式支持浮点数,例如1.55e1,而且支持像0x1.fp3这 样十六进制格式。作为GNU的扩展,GCC以C89(除非在某些十分严格的情况下)的方式和C++支持它。上面的格式中'0x' 为十六进制开始,'p'或'P'为指数命令。指数是十进制数并以2为幂,它的有效部分会被乘。因此 '0x1.f'是1 15/16,'p3'乘它得8,0x1.fp3的 值与1.55e1相同。<br />
与十进制数浮点表示不同,十六进制中指数是必须有的。否则编译器不能解决具有二义性的表达式0x1.f。这可能意味着1.0f或 者1.9375因为‘f’同样是浮点常量类型的扩展。<br />
5.13 零长度数组<br />
GNU C中允许使用零长度的数组。它们作为结构体的最后一个元素十分有用,如果结构体确实是变长对象的首部:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; struct line {<br />
&nbsp;&nbsp;int length;<br />
&nbsp;&nbsp;char contents[0];<br />
};<br />
<br />
struct line *thisline = (struct line *)<br />
&nbsp;&nbsp;malloc (sizeof (struct line) + this_length);<br />
thisline-&gt;length = this_length;<br />
在ISO C89中,你需要给目录分配长度1,意味着要浪费空间或者使malloc的参数变得复杂。<br />
在ISO C99中,你可以使用灵活的数组元素,只是在语法和主义上有微小的差异。<br />
&#8226;&nbsp; &nbsp; &nbsp; &nbsp; 灵活的数组元素写为contents[]不带0。 <br />
&#8226;&nbsp; &nbsp; &nbsp; &nbsp; 灵活的数组元素具有不完全的类型,所以sizeof操作也许不能被应用。作为零长度数组的原始实现的奇怪之处,sizeof被 赋值为0。 <br />
&#8226;&nbsp; &nbsp; &nbsp; &nbsp; 灵活的数组元素可以作为结构体的最后一个元素出现当其它元素非空时。GCC现在在任何地方允许零长度数组。定义仅含有一个零长度数组的结构体,无论如何, 你可能会遇到问题。这样的用法被反对,我们建议仅当灵活数组元素被允许的地方使用零长度数组。 <br />
GCC3.0以前的版本允许零长度数组被静态的初始化。除那些情况之外是有用的,它也允许在可能会破坏未来数据的情况下进行初始化。零长度数组的非 零初始化现在被反对。<br />
作为替代GCC允许静态初始化灵活数组元素。这与定义一个新结构体包含原有的结构体紧跟着一个具有足够大小的数组来包含数据,也就是下面的情况,f1被 构建为与f2的申明类似。<br />
 &nbsp; &nbsp; &nbsp; &nbsp; struct f1 {<br />
&nbsp;&nbsp;int x; int y[];<br />
} f1 = { 1, { 2, 3, 4 } };<br />
<br />
struct f2 {<br />
&nbsp;&nbsp;struct f1 f1; int data[3];<br />
} f2 = { { 1 }, { 2, 3, 4 } };<br />
这个扩展的方便之处是f1具有要求的类型,省去了查询f2.f1。<br />
这与普通静态数组对称,未知大小的数组同样写为[]。<br />
当然,这个扩展仅当最高层目标的末尾有额外数据才有作用,否则我们将会覆盖接下来偏移的数据。为了避免初始化嵌入数组的复杂和混乱,我们可以拒绝任 何非空的初始化,除非结构体是最高层的目标。例如:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; struct foo { int x; int y[]; };<br />
struct bar { struct foo z; };<br />
<br />
struct foo a = { 1, { 2, 3, 4 } };&nbsp; &nbsp;&nbsp; &nbsp;&nbsp;&nbsp;// Legal.<br />
struct bar b = { { 1, { 2, 3, 4 } } };&nbsp; &nbsp; // Illegal.<br />
struct bar c = { { 1, { } } };&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;// Legal.<br />
struct foo d[1] = { { 1 { 2, 3, 4 } } };&nbsp;&nbsp;// Illegal.<br />
5.14 变长数组<br />
ISO C99中允许变长自动数组,扩展GCC在C89模式和C++中接受了它们。(然而,GCC的变长数组在细节上仍然与ISO C99 标准有所不同。)这些数组的申明类似与其它自动数组,但是具有一个非常量表达式的长度。存储空间在定义的时候分配,当花括号结束时解除分配的空间。例如:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; FILE *<br />
concat_fopen (char *s1, char *s2, char *mode)<br />
{<br />
&nbsp;&nbsp;char str[strlen (s1) + strlen (s2) + 1];<br />
&nbsp;&nbsp;strcpy (str, s1);<br />
&nbsp;&nbsp;strcat (str, s2);<br />
&nbsp;&nbsp;return fopen (str, mode);<br />
}<br />
转移或者中断超出数组名作用范围则会解除分配空间。进入作用域是不允许的;你会得到一个错误信息。<br />
你可以使用alloca函数来获得更像的变长数组。函数alloca在大多数C中可以使用 (不是所有的)。另外,变长数组更好一些。<br />
这两种方法还有其它不同之处。由alloca分配的空间直到包含的函数返回时才回收。对于变长数组这个空间在数组作用范 围的最后被回收。(如果你在一个函数中同时使用变长数组和alloca,重新分配的变长数组将会解除所有最近由alloca分 配的空间。)<br />
你同样可以在函数中使用变长数组作为参数:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; struct entry<br />
tester (int len, char data[len][len])<br />
{<br />
&nbsp;&nbsp;...<br />
}<br />
数组的长度在存储空间分配的时候被计算,它是为了数组作用范围而记忆,万一你使用sizeof访问它。<br />
如果你想首先传递数组然后是长度,你可以在参数列表中使用预先定义--另一个GNU扩展。<br />
 &nbsp; &nbsp; &nbsp; &nbsp; struct entry<br />
tester (int len; char data[len][len], int len)<br />
{<br />
&nbsp;&nbsp;...<br />
}<br />
分号前的'int len'是预先定义的参数,它的目的是当申明的数据处理时知道len的名 字。<br />
你可以在预先定义中写任意数量的的参数。它们可以被逗号或者分号分开,但是最后一个必须以分号结束,它后面跟着“真正”的参数申明。每一个预先定义 必须在参数名和数据类型与一个“真实”定义相对应。ISO C99不支持参数的预先定义。 <br />
5.15 可变参数的宏<br />
在1999年的ISO C标准中,宏可以被申明为可以接受变量以及与函数一样多的参数。定义宏的语法与函数的定义十分相似。下面是一个例子:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; #define debug(format, ...) fprintf (stderr, format, __VA_ARGS__)<br />
这儿的‘...’是可变参数。在调用中这样一个宏,它代表零或者多个标记直到括号结束这个调用,包含任何逗号。这种标记设置代替了宏结构中 的标识符__VA_ARGS__当它出现的时候。在CPP手册中获得更多信息。<br />
GCC支持可变参数宏,使用一种不同的语法允许你给可变参数起一个名字,就像其它参数一样。下面是一个例子:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; #define debug(format, args...) fprintf (stderr, format, args)<br />
上面是全部与ISO C相同的方法,但按理说更易读和描述。<br />
GNU CPP有两个可变参数宏扩展,允许他们使用上面任意一种定义方式。<br />
在标准C中,不允许省略全部可变参数;但允许传递一个空参数。例如,这个调用在ISO C中是非法的,因为在字符串后没有逗号:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; debug (&quot;A message&quot;)<br />
GNU CPP允许你完全省略可变参数。上面的例子,编译器会产生警告,即使宏扩展在格式字符串后仍然含有额外的逗号。<br />
为了解决这个问题,CPP为可变参数指定特殊行为,使用连接操作符'##'。如果作为替代可以写为<br />
 &nbsp; &nbsp; &nbsp; &nbsp; #define debug(format, ...) fprintf (stderr, format, ## __VA_ARGS__)<br />
如果可变参数为空或者被省略,'##'操作符使得预处理程序删除它前面的逗号。如果你在宏调用中使用了一些可变参数,GNU CPP不会警告连接操作符,并会替代逗号后面的可变参数。就像其它pasted宏一样,这些参数不是宏扩展。<br />
5.16 为反向换行轻微放宽规则<br />
最近,非传统预处理器放松了对反向换行的处理。先前,换行需要立即跟一个反斜杠。当前的执行允许由空格,水平和垂直制表符,和换页组成的空白空间在 反斜杠和接下来的换行中。预处理程序会生产一个警告,但会把它作为一个有效的反向换行对待并且连接两行组成一个新的逻辑行。这个工作包含注释和标记,包括 多行字符串,标记也一样。这个放松的目的是使注释不被当作空白空间,即使它们还没有被空格代替。<br />
5.17 包含换行的字符串常量<br />
作为扩展,GNU CPP允许字符串文字的通过多行不用反向换行。字符串文字每一个内嵌换行由'\n'字符代替,忽略了原始的换行。<br />
CPP现在也允许这样的字符串指令(除了'#include'家族)。这个现在被反对,最终会被删除。<br />
5.18 非左值数组可以具有下标<br />
数组中允许下标,它们不是左值,即使‘&amp;’操作不是。(在ISO C99中,两个都允许(即使数组可能不会在下一个顺序中被使用),但是ISO C99的特性还没有在GCC中完全支持。)例如,下面这个例子在GNU C中是正确的,但在C89中却不正确:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; struct foo {int a[4];};<br />
<br />
struct foo f();<br />
<br />
bar (int index)<br />
{<br />
&nbsp;&nbsp;return f().a[index];<br />
}<br />
5.19 void与函数指针的运算<br />
在GNU C中,void与函数的指针支持加法与减法操作。这个是把void与函数的大小看 为1。<br />
由于是这样,使得sizeof也允许在void与函数上使用,它返回1。<br />
如果这个扩展被使用,选项'-Wponter-arith'会请求一个警告。<br />
5.20 非常量初始化<br />
在标准C++和ISO C99中,一个聚合初始化程序的元素作为一个自动变量不需要常量表达式在GNU C中。下面是一个执行改变元素的初始化程序: <br />
 &nbsp; &nbsp; &nbsp; &nbsp; foo (float f, float g)<br />
{<br />
&nbsp;&nbsp;float beat_freqs[2] = { f-g, f+g };<br />
&nbsp;&nbsp;...<br />
}<br />
5.21 复合文字<br />
ISO C99支持复合文字。复合文字看起来就像是一个包含初始化的转换。它的值是转换中指定类型的对象,包含初始化中指定的元素。(GCC还没有实现全部ISO C99复合文字的语义。)作为一个扩展,GCC支持C89和C++中的复合文字。<br />
通常,指定的类型是一个结构体。假设struct foo和structure声明如下:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; struct foo {int a; char b[2];} structure;<br />
这里有一个用复合文字构造一个struct foo的例子:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; structure = ((struct foo) {x + y, 'a', 0});<br />
这等价于下面:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; {<br />
&nbsp;&nbsp;struct foo temp = {x + y, 'a', 0};<br />
&nbsp;&nbsp;structure = temp;<br />
}<br />
你也可以构造一个数组。如果所有的复合文字元素都是常量表达式(组成),适合在初始化中使用,那么复合文字就是一个左值,而且能够强制转化为指向它 第一个元素的指针,就像这里所示:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; char **foo = (char *[]) { &quot;x&quot;, &quot;y&quot;, &quot;z&quot; };<br />
复合文字的元素不是简单的常量时,排列它们并不是很有用,因为复合文字不是一个左值;ISO C99指明了它,是一个和闭合控制块相关的,拥有自动存储空间和生存期的临时对象,但GCC没有实现这个功能。GCC中目前只有两种有效的方式去使用它: 用下标索引它,或者用它去初始化一个数组变量。前者可能比switch语句慢,然而后者和一个普通的C初始化程序做的事情一 样。这里有一个用下标索引一个数组复合文字的例子:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; output = ((int[]) { 2, x, 28 }) [input];<br />
标量类型和共同体类型的复合文字也是允许的,但那时复合文字和一个强制转换等价。<br />
5.22 特定的初始化<br />
标准C89需要初始化语句的元素以固定的顺序出现,和被初始化的数组或结构体中的元素顺序一样。<br />
在ISO C99中,你可以按任何顺序给出这些元素,指明它们对应的数组的下标或结构体的成员名,并且GNU C也把这作为C89模式下的一个扩展。这个扩展没有在GNU C++中实现。<br />
为了指定一个数组下标,在元素值的前面写上“[index] =”。比如:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; int a[6] = { [4] = 29, [2] = 15 };<br />
相当于:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; int a[6] = { 0, 0, 15, 0, 29, 0 };<br />
下标值必须是常量表达式,即使被初始化的数组是自动的。<br />
一个可替代这的语法是在元素值前面写上“.[index]”,没有“=”,但从GCC 2.5开始就不再被使用,但GCC仍然接受。 为了把一系列的元素初始化为相同的值,写为“[first ... last] = value”。这是一个GNU扩展。比 如:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; int widths[] = { [0 ... 9] = 1, [10 ... 99] = 2, [100] = 3 };<br />
如果其中的值有副作用,这个副作用将只发生一次,而不是范围内的每次初始化一次。<br />
注意,数组的长度是指定的最大值加一。<br />
在结构体的初始化语句中,在元素值的前面用“.fieldname = ”指定要初始化的成员名。例如,给定下面的结构体,<br />
 &nbsp; &nbsp; &nbsp; &nbsp; struct point { int x, y; };<br />
和下面的初始化,<br />
 &nbsp; &nbsp; &nbsp; &nbsp; struct point p = { .y = yvalue, .x = xvalue };<br />
等价于:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; struct point p = { xvalue, yvalue };<br />
另一有相同含义的语法是“.fieldname:”,不过从GCC 2.5开始废除了,就像这里所示:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; struct point p = { y: yvalue, x: xvalue };<br />
“[index]”或“.fieldname”就是指示符。在初始化共同体时,你也可以使用 一个指示符(或不再使用的冒号语法),来指定共同体的哪个元素应该使用。比如:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; union foo { int i; double d; };<br />
<br />
union foo f = { .d = 4 };<br />
将会使用第二个元素把4转换成一个double类型来在共同体存放。相反,把4转换成union foo类 型将会把它作为整数i存入共同体,既然它是一个整数。(参考5.24节向共同体类型转换。)<br />
你可以把这种命名元素的技术和连续元素的普通C初始化结合起来。每个没有指示符的初始化元素应用于数组或结构体中的下一个连续的元素。比如,<br />
 &nbsp; &nbsp; &nbsp; &nbsp; int a[6] = { [1] = v1, v2, [4] = v4 };<br />
等价于<br />
 &nbsp; &nbsp; &nbsp; &nbsp; int a[6] = { 0, v1, v2, 0, v4, 0 };<br />
当下标是字符或者属于enum类型时,标识数组初始化语句的元素特别有用。例如:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; int whitespace[256]<br />
&nbsp;&nbsp;= { [' '] = 1, ['\t'] = 1, ['\h'] = 1,<br />
&nbsp; &nbsp;&nbsp; &nbsp;['\f'] = 1, ['\n'] = 1, ['\r'] = 1 };<br />
你也可以在“=”前面写上一系列的“.fieldname”和“[index]”指示符来指 定一个要初始化的嵌套的子对象;这个列表是相对于和最近的花括号对一致的子对象。比如,用上面的struct point声 明:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; struct point ptarray[10] = { [2].y = yv2, [2].x = xv2, [0].x = xv0 };<br />
如果同一个成员被初始化多次,它将从最后一次初始化中取值。如果任何这样的覆盖初始化有副作用,副作用发生与否是非指定的。目前,gcc会舍弃它们 并产生一个警告。<br />
5.23 case范围<br />
你可以在单个case标签中指定一系列连续的值,就像这样:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; case low ... high:<br />
这和单独的case标签的合适数字有同样的效果,每个对应包含在从low到high中的一个整数值。<br />
这个特性对一系列的ASCII字符代码特别有用:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; case 'A' ... 'Z':<br />
当心:在...周围写上空格,否则当你把它和整数值一起使用时,它就会被解析出错。例如,这样写:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; case 1 ... 5:<br />
而不是:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; case 1...5:<br />
5.24 向共同体类型转换<br />
向共同体类型转换和其它转换类似,除了指定的类型是一个共同体类型。你可以用union tag或一个typedef名 字来指定类型。向共同体转换实际上却是一个构造,而不是一个转换,因此不像普通转换那样产生一个左值。(参考5.21节复合文字)<br />
可以向共同体类型转换的类型是共同体中成员的类型。所以,给定下面的共同体和变量:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; union foo { int i; double d; };<br />
int x;<br />
double y;<br />
x和y都能够被转换成类型union foo。<br />
把这种转换作为给共同体变量赋值的右侧和在这个共同体的成员中存储是等价的:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; union foo u;<br />
...<br />
u = (union foo) x&nbsp;&nbsp;==&nbsp;&nbsp;u.i = x<br />
u = (union foo) y&nbsp;&nbsp;==&nbsp;&nbsp;u.d = y<br />
你也可以使用共同体转换作为函数参数。<br />
 &nbsp; &nbsp; &nbsp; &nbsp; void hack (union foo);<br />
...<br />
hack ((union foo) x);<br />
5.25 混合声明和代码<br />
ISO C99和ISO C++允许声明和代码在复合语句中自由地混合。作为一个扩展,GCC在C89模式下也允许这样。比如,你可以:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; int i;<br />
...<br />
i++;<br />
int j = i + 2;<br />
每个标识符从它被声明的地方到闭合控制块结束都是可见的。<br />
5.26 声明函数的属性<br />
在GNU C中,你可以声明关于在你程序中调用的函数的某些东西,来帮助编译器优化函数调用和更仔细地检查你的代码。<br />
关键字__attribute__允许你在声明时指定特殊的属性。跟在这个关键字后面的是双重圆括号里面的属性说明。有 十四个属性noreturn, pure, const, format, format_arg, no_instrument_function, section, constructor, destructor, unused, weak, malloc, alias and no_check_memory_usage是目前为函数定义的。在特别的目标系统上,也给函数定义 了一些其它属性。其它属性,包括section都为变量声明(参考5.33节 指定变量属性)和 类型(参考5.34节 指定类型属性)所 支持。<br />
你也可以把“__”放在每个关键字的前面和后面来指定属性。这允许你在头文件中使用它们,而不用关心一个可能有相同名字 的宏。比如,你可以使用__noreturn__而不是noreturn。<br />
参见5.27 节 属性语法来了解使用属性的精确语法细节。<br />
noreturn<br />
一些标准库函数,就像abort和exit,不能返回。GCC会自动了解到这一点。一些程序 定义它们自己的从不返回的函数。你可以把它们声明为noreturn来告诉编译器这个事实。比如,<br />
 <br />
void fatal () __attribute__ ((noreturn));<br />
<br />
void<br />
fatal (...)<br />
{<br />
&nbsp;&nbsp;... /* Print error message. */ ...<br />
&nbsp;&nbsp;exit (1);<br />
}<br />
关键字noreturn告诉编译器去假设fatal不能返回。那它就能做优化,而不用理会如 果fatal返回会发生什么。这会产生稍微好一点儿的代码。更重要的是,它有助于避免未初始化变量的伪造警告。<br />
不要假设调用函数保存的寄存器在调用noreturn函数之前被恢复。<br />
对于一个noreturn函数,有一个除void之外的返回类型是毫无意义的。<br />
在早于2.5版的GCC中没有实现noreturn属性。声明不返回值的函数的一个可替代的方法,在当前版本和一些旧的 版本中都可以工作,如下:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; typedef void voidfn ();<br />
<br />
volatile voidfn fatal;<br />
pure<br />
很多函数除了返回值外没有作用,而且它们的返回值只取决于参数和/或全局变量。这样的一个函数可能依附于普通的子表达式的消除和循环的优化,就像一 个算术操作符那样。这些函数应该用属性pure来声明。例如, <br />
 &nbsp; &nbsp; &nbsp; &nbsp; int square (int) __attribute__ ((pure));<br />
说明假定的函数square可以安全地比程序中说的少调用几次。<br />
pure函数的一些常见例子是strlen和memcmp。有趣的非pure函 数是带无限循环,或者那些取决于易失性内存或其它系统资源的函数,它们可能在两次连续的调用中间改变(比如在多线程环境中的feof)。<br />
pure属性在GCC早于2.96的版本中没有实现。<br />
const<br />
很多函数不检查除它们的参数外的任何值,而且除返回值外没有任何作用。基本上,这比上面的pure属性稍微更严格一些, 既然函数不允许去读全局内存。<br />
注意,带指针参数,而且检查所指向数据的函数不能声明为const。同样的,调用非const函 数的函数通常也不能是const。一个const函数返回void是没 任何意义的。<br />
属性const在GCC早于2.5的版本中没有实现。声明一个函数没有副作用的一个可替代的方式,能够在当前版本和一些 旧的版本中工作,如下:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; typedef int intfn ();<br />
<br />
extern const intfn square;<br />
这种方法在2.6.0以后的GNU C++不起作用,既然语言指明const必须依附于返回值。<br />
format (archetype, string-index, first-to-check)<br />
format属性指明一个函数使用printf,scanf,strftime或strfmon风 格的参数,应该通过格式化字符串进行类型检查。比如,声明:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; extern int<br />
my_printf (void *my_object, const char *my_format, ...)<br />
&nbsp; &nbsp;&nbsp; &nbsp;__attribute__ ((format (printf, 2, 3)));<br />
会促使编译器检查调用my_printf中的参数和printf风格的格式化字符串参数my_format是 否一致。<br />
参数archetype决定格式化字符串是怎么被解释的,而且应当是printf,scanf,strftime或strfmon。(你 也可以使用__printf__,__scanf__,__strftime__或者__strfmon__。) 参数string-index指定哪个参数是格式化字符串参数(从1开始),而first-to-check是 通过格式化字符串检查的第一个参数。对于参数不可用来检查的函数(比如vprintf),指定第三个参数为0。在这种情况下, 编译器只检查格式化字符串的一致性。对于strftime格式,第三个参数需要为0。<br />
在上面的例子中,格式化字符串(my_format)是my_printf函数的第二个参 数,而且要检查的函数从第三个参数开始,所以format属性的正确参数是2和3。<br />
format属性允许你去识别你自己的把格式化字符串作为参数的函数,所以GCC可以检查对这些函数的调用错误。编译器 总是(除非使用了“-ffreestanding”)为标准库函数printf,fprintf,sprintf,scanf,fscanf,sscanf,strftime,vprintf,vfprintf和vsprintf检 查格式,当请求这种警告时(使用“-Wformat”),所以没有必要修改头文件stdio.h。 在C99模式下,函数snprintf,vsnprintf,vscanf,vfscanf和vsscanf也 被检查。参考“控制C方言的选项”一节。。<br />
format_arg (string-index)<br />
format_arg属性指明一个函数使用printf,scanf,strftime或strfmon风 格的参数,而且修改它(比如,把它翻译成其它语言),所以结果能够传递给一个printf,scanf,strftime或strfmon风 格的函数(格式化函数的其余参数和它们在不修改字符串的函数中一样)。例如,声明:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; extern char *<br />
my_dgettext (char *my_domain, const char *my_format)<br />
&nbsp; &nbsp;&nbsp; &nbsp;__attribute__ ((format_arg (2)));<br />
促使编译器检查调用printf,scanf,strftime或strfmon类型的函数 中的参数,其格式化字符串参数是函数my_dgettext函数的调用,和格式化字符串参数my_format是 否一致。如果format_arg属性没有被指定,在对格式化函数的这种中,编译器所能告知的一切是格式化字符串参数不是常 量;当使用“-Wformat-nonliteral”时,这会产生一个警告,但如果没有属性,调用将不会被检查。<br />
参数string-index指定哪个参数是格式化字符串(从1开始)。<br />
format-arg属性允许你去识别你自己的修改格式化字符串的函数,那样,GCC可以检查对printf,scanf,strftime或strfmon类 型函数的调用,它们的操作数是对你自己的一个函数的调用。编译器总是以这种方式对待gettext,dgettext和 dcgettext, 除了当严格的ISO C支持通过“-ansi”或者一个合适的“-std”选项请求时,或者“-ffreestanding” 使用时。参考“控制C方言的选项”一节。<br />
no_instrument_function<br />
如果给定“-finstrument-functions”,在大多数用户编译的函数的入口和出口会生成对概要分析函数 的调用。有这个属性的函数将不会被测量。<br />
section (&quot;section-name&quot;)<br />
通常,编译器会把它生成的代码放入text部分。有时,然而,你需要额外的部分,或者你需要某些特别的函数出现在特别的 部分。section属性指定一个函数放入一个特别的部分。比如,声明:<br />
 &nbsp; &nbsp; &nbsp; &nbsp; extern void foobar (void) __attribute__ ((section (&quot;bar&quot;)));<br />
把函数foobar放进bar部分。<br />
一些文件格式不支持任意部分,所以section属性并不是在所有平台上可用的。如果你需要把一个模块的全部内容映射到 一个特别的部分,考虑使用链接器的工具。<br />
constructor<br />
destructor <br />
constructor属性促使函数在执行main()之前自动被调用。类似地,destructor属 性促使函数在main()函数完成或exit()被调用完之后自动被调用。有这些属性的函数对初始 化在程序执行期间间接使用的数据很有用。<br />
这些属性目前没有为Objective C所实现。<br />
unused<br />
这个属性,依附于一个函数,意味着这个函数将可能打算不被使用。GCC将不会为这个函数产生一个警告。GNU C++目前不支持这个属性,因为没有参数的定义在C++中是合法的。<br />
weak<br />
weak属性促使声明被作为一个弱符号导出,而不是全局符号。这在定义库函数时非常有用,它们能够被用户代码覆盖,虽然 它也可以和非函数声明一起使用。弱符号被ELF目标文件所支持,而且当使用GNU汇编器和链接器时也被a.out目 标文件支持。<br />
malloc<br />
malloc属性用来告诉编译器一个函数可以被当做malloc函数那样。编译器假设对malloc的 调用产生一个不能替换成其它东西的指针。<br />
alias (&quot;target&quot;)<br />
alias属性促使这个声明被作为另一个必须被指定的符号的别名导出。例如,<br />
 &nbsp; &nbsp; &nbsp; &nbsp; void __f () { /* do something */; }<br />
void f () __attribute__ ((weak, alias (&quot;__f&quot;)));<br />
声明“f”是“__f”的一个弱别名。在C++中,目标的重整名字必须被使用。<br />
并不是所有的目标机器支持这个属性。<br />
no_check_memory_usage<br />
no_check_memory_usage属性促使GCC忽略内存引用的检查,当它为函数生成代码时。通常如果你指定 “-fcheck-memory-usage”(参考“3.18 代码生成转换选项”一 节),GCC在大多数内存访问之前生成调用支持的例程,以便允许支持代码记录用法和探测未初始化或未分配存储空间的使用。既然GCC不能恰当处理asm语 句,它们不允许出现在这样的函数中。如果你用这个属性声明了一个函数 ,GCC将会为那个函数生成内存检查代码,允许使用asm语 句,而不必用不同选项去编译那个函数。这允许你编写自己的支持例程如果你愿意,而不会导致无限递归,如果它们用“-fcheck-memory-usage” 编译的话。<br />
regparm (number)<br />
在Intel 386上,regparm属性促使编译器用寄存器EAX,EDX,和ECX, 而不是堆栈,来传递最多number个参数。带可变参数数目的函数将会继续在堆栈上传递它们的参数。<br />
stdcall<br />
在Intel 386上,stdcall属性促使编译器假定被调用的函数将会弹出用来传递参数的堆栈空间,除非它适用可 变数目的参数。<br />
cdecl<br />
在Intel 386上,cdecl属性促使编译器假定调用函数将会弹出用来传递参数的堆栈空间。这对覆盖“-mrtd” 开关的作用很有帮助。<br />
PowerPC上Windows NT的编译器目前忽略cdecl属性。<br />
longcall<br />
在RS/6000和PowerPC上,longcall属性促使编译器总是通过指针来调用函数,所以在距当前位置超过 64MB(67108864字节)的函数也能够被调用。<br />
long_call/short_call<br />
这个属性允许指定如果在ARM上调用一个特别的函数。两个属性都覆盖“-mlong-calls”命令行开关和#pragma long_calls设置。long_call属性促使编译器总是通过先装入它的地址到一个寄存器再使用那个 寄存器的内容来调用这个函数。short_call属性总是直接把从调用现场到函数的偏移量放进‘BL’指令中。<br />
dllimport<br />
在运行Windows NT的PowerPC上,dllimport属性促使编译器通过一个全局指针去调用函数,这个指 针指向由Windows NT的dll库安装的函数指针。指针名是通过组合__imp__和函数名来形成的。<br />
dllexport<br />
在运行Windows NT的PowerPC上,dllexport属性促使编译器提供一个指向函数指针的全局指针,那 样它就能用dllimport属性调用。指针名是通过组合__imp__和函数名来形成的。<br />
exception (except-func [, except-arg])<br />
在运行Windows NT的PowerPC上,exception属性促使编译器修改为声明函数导出的结构化异常表的 表项。字符串或标识符except-func被放在结构化异常表的第三项中。它代表一个函数,当异常发生时被异常处理机制调 用。如果它被指定,字符串或标识符except-arg被放在结构化异常表的第四项中。<br />
function_vector<br />
在H8/300和H8/300H上使用这个选项用表明指定的函数应该通过函数向量来调用。通过函数向量调用函数将会减少代码尺寸,然而,函数向量有 受限的大小(在H8/300上最多128项,H8/300H上64项),而且和中断向量共享空间。<br />
为此选项,你必须使用2.7版或以后的GNU binutils中的GAS和GLD才能正确工作。<br />
interrupt<br />
在H8/300,H8/300H和SH上使用这个选项表明指定的函数是一个中断处理程序。当这个属性存在时,编译器将会生成函数入口和出口工序,为 适应在中断处理程序中的使用。<br />
注意,H8/300,H8/300H和SH处理器的中断处理程序可以通过interrupt_handler属性来指 定。<br />
注意,在AVR上,中断将会在函数里面被启用。<br />
注意,在ARM上,你可以通过给中断属性添加一个可选的参数指定要处理的中断类型,就像这样:<br />
void f () __attribute__ ((interrupt (&quot;IRQ&quot;)));<br />
这个参数的允许值是:IRQ, FIQ, SWI, ABORT和UNDEF。<br />
interrupt_handler<br />
在H8/300,H8/300H和SH上使用这个选项表明指定的函数是一个中断处理程序。当这个属性存在时,编译器将会生成函数入口和出口工序,为 适应在中断处理程序中的使用。<br />
sp_switch<br />
在SH上使用这个选项表明一个interrupt_handler函数应该切换到一个可替代的堆栈上。它期待一个字符串 参数,用来命名一个存放替代堆栈地址的全局变量。<br />
 &nbsp; &nbsp; &nbsp; &nbsp; void *alt_stack;<br />
void f () __attribute__ ((interrupt_handler,<br />
&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp; &nbsp;&nbsp;&nbsp;sp_switch (&quot;alt_stack&quot;)));<br />
trap_exit<br />
在SH上为interrupt_handle使用此选项来使用trapa而不是rte来 返回。这个属性期待一个整数参数来指定要使用的陷阱号。<br />
eightbit_data<br />
在H8/300和H8/300H上使用此选项来表明指定的变量应该放到8比特数据区。编译器将会为在8比特数据区上的操作生成更高效的代码。注意8 比特数据区的大小限制在256字节。<br />
tiny_data<br />
在H8/300H上使用此选项来表明指定的变量应该放到微数据区。编译器将会为在微数据区中存取数据生成更高效的代码。注意微数据区限制在稍微低于 32K字节。<br />
signal<br />
在AVR上使用此选项来表明指定的函数是一个信号处理程序。当这个属性存在时,编译器将会生成函数入口和出口工序,为适应在信号处理程序中的使用。 在函数内部,中断将会被屏蔽。<br />
naked<br />
在ARM或AVR移植上使用此选项来表明指定的函数不需要由编译器来生成开场白/收场白工序。由程序员来提供这些工序。<br />
model (model-name)<br />
在M32R/D上使用这个属性来设置对象和函数生成代码的可寻址性。标识符model-name是small,medium或large其中之一, 各代表一种编码模型。<br />
small模型对象驻留在内存的低16MB中(所以它们的地址可以用ld24指令来加载),可用bl指令调用。<br />
medium模型对象可能驻留在32位地址空间的任何地方(编译器将会生成seth/add3指令来加载它们的地址),可用bl指令调用。<br />
large模型对象可能驻留在32位地址空间的任何地方(编译器将会生成seth/add3指令来加载它们的地址),而且可能使用bl指令够不到 (编译器将会生成慢得多的seth/add3/jl指令序列)。<br />
你可以在一个声明中指定多重属性,通过在双圆括号中用逗号来把它们分割开,或者在一个属性声明后紧跟另一个属性声明。<br />
一些人反对__attribute__特性,建议使用ISO C的#pragma来替代。在 设计__attribute__时,有两条原因不适合这么做。<br />
1.&nbsp; &nbsp; &nbsp; &nbsp; 不可能从宏中生成#pragma命令。 <br />
2.&nbsp; &nbsp; &nbsp; &nbsp; 没有有效说明同样的#pragma在另一个编译器中可能意味着什么。 <br />
这两条原因适用于几乎任何提议#pragma的应用程序。为任何东西使用#pragma基本 上都是一个错误。<br />
ISO C99标准包括_Pragma,它现在允许从宏中生成pragma。另外,#pragma GCC名字空间现在为GCC特定的pragma使用。然而,人们已经发现使用__attribute__来 实现到相关声明的自然的附件属性很方便,而为构造而使用的#pragma GCC没有自然地形成语法的一部分。查看“C预处理器”中的“多种预处理命令”一部分。<br />
5.27 属性语法<br />
这一段说明了在C语言中,使用到__attribute__的语法和属性说明符绑定的概念。一些细节也许对C++和 Objective C有所不同。由于对属性不合适的语法,这里描述的一些格式可能不能在所有情况下成功解析。<br />
看5.26 节,声明函数的属性,了解施加于函数的属性语义的细节。看5.33节,说明变量属性, 了解施加于变量的属性语义的细节。看5.34节指定类型属性, 了解施加与结构体,共用体,和枚举类型的属性语义的细节。<br />
属性说明符是的格式是:__attribute__((属性列表))。属性列表是一个可为空的由逗号分隔的属性序列,其 中的属性类型如下:<br />
&#8226;&nbsp;&nbsp;空。空属性会被忽略。 <br />
&#8226;&nbsp;&nbsp;字(可能是一个标识符如unused,或者一个保留字如const)。 <br />
&#8226;&nbsp;&nbsp;在跟在后边的圆括号中有属性的参数的字。这些参数有如下的格式: <br />
&#8226;&nbsp;&nbsp;标识符。比如,模式属性使用这个格式。 <br />
&#8226;&nbsp;&nbsp;跟有逗号或非空的由逗号分隔的表达式表。比如,格式化属性使用这个格式。 <br />
&#8226;&nbsp;&nbsp;可为空的由逗号分隔的表达式表。比如,格式化参数使用这个格式和一个单独整型常量表达式列表,并且别名属性使用这个格式和一个单独的字符串常量列表。 <br />
属性说明符列表是一个由一个或多个属性说明符组成的序列,不被任何其它标志分开。<br />
属性说明符列表可能跟在一个标签后的冒号出现,除了case或default中的标签。唯一 的属性使用在一个未使用的标签后是合理的。这个特征被设计成代码被包含而未使用的标签但是在编译是使用了&quot;-Wall&quot;参数。 它也许不常用与人工编写的代码中,虽然它应该在代码需要跳到一个包含在一段有#ifdef说明的条件编译的程序段中很有用。<br />
属性说明符列表可以作为结构体、共用体或枚举说明符的一部分出现。它既可以直接跟在结构体、共用体或枚举说明符后,也可以紧贴大括号之后。如果结
游客请输入验证码
浏览1936639次