首页 > 代码库 > GCC 对C语言的扩展
GCC 对C语言的扩展
Linux内核必须使用GNU的GCC编译器来编译，而GCC提供了很多的C语言扩展，这些扩展对优化、目标代码布局、更安全的检查等提供了很强的支持。因此，内核代码所使用的C语法并不完全符合ANSI C标准，实际上，只要有可能，内核开发者总是要用到GCC提供的C语言扩展部分。所以特意找了几个常用的特性总结下。
1、语句内嵌表达式（statement-embedded expression）
在gnu c 中，用括号将复合语句括起来也形成了表达式。他允许你在一个表达式内使用循环，跳转和局部变量。
一个复合语句是用大括号{}括起来的一组语句。在包含语句的表达式这种结构中，再用括号( )将大括号括起来
例如：
({ int y = foo (); int z;
if (y > 0) z = y;
else z = - y;
z; }
)
就是一个合法表达式，用于计算foo( )函数返回值的绝对值。
在上面的复合语句中，最后的一句必须是一个以分号结尾的表达式。这个表达式代表了整个结构的值。
如果你在大括号里的最后一句用的是其他的语句，则整个结构的返回类型为void，即没有合法的返回值。
这种特性使得宏定义变得更加安全（因为每个操作数都只被计算一次，例如++运算）。例如计算最大值通常在c语言中被定义为这样的宏：
#define max(a,b) ((a) > (b) ? (a) : (b))
但是其中的a和b可能会被计算两次，如果操作数带有副作用，则会产生错误的结果。
在gnu c中，如果你知道了操作数的类型（假设为int），你可以这样安全的定义宏：
#define maxint(a,b) \
({int _a = (a), _b = (b); _a > _b ? _a : _b; })
内核中做法：
#define min_t(type,x,y) \
({ type __x = (x); type __y = (y); __x < __y ? __x: __y; })
#define max_t(type,x,y) \
({ type __x = (x); type __y = (y); __x > __y ? __x: __y; })
使用语句表达式只计算参数一次，避免了可能的错误。
语句内嵌在常量表达式（例如枚举类型），位域尺寸或静态变量初始化中是不允许的。
如果你不知道操作数的类型，你也可以使用typeof来获得类型。
典型用法用下单链表pop操作：
#define _$slist_pop(H,L)\
({\
typeof((H)->L) _p$ = (H)->L;\
if( _p$){ (H)->L = _p$->next; _p$->next = NULL;} _p$;\
})
使用 typeof 获得类型、最后一个 _p$ 用于返回值。
2、可变参数宏 __VA_ARGS__ 常用： ##__VA_ARGS__
举例如下：
#define err_log(fmt, ...) fprintf (stderr, fmt, __VA_ARGS__)
其中的"…"表示可变参数，实际调用时，它们会替代宏体里的__VA_ARGS__。
但在fprintf的参数列表中最后的逗号后面没有参数。在编译时就会报错。
此时可如此定义：
#define err_log(fmt, ...) fprintf(stderr, fmt, ##__VA_ARGS__)
"##"主要针对参数为空的情况。既然称为可变参数，那传递空参数也是可以的。如果没有使用"##"，传递空参数时，比如：
err_log("A null message");
宏展开后，其中的字符串后面会多个多余的逗号，而"##"则会使预处理器去掉这个多余的逗号。
还有如下的宏方便用于调试：
__FILE__ 宏在预编译时会替换成当前的源文件名
__LINE__宏在预编译时会替换成当前的行号
__FUNCTION__宏在预编译时会替换成当前的函数名称
3、GCC 中零长数组
GCC 中允许使用零长数组，把它作为结构体的最后一个元素非常有用.
struct line {
int length;
char contents[0];
};
struct line *thisline = (struct line *) malloc (sizeof (struct line) + this_length);
thisline->length = this_length;
零长数组在有固定头部的可变对象上非常适用，我们可以根据对象的大小动态地去分配结构体的大小。
作为零长度数组的原始实现的神奇之处，sizeof被赋值为0。sizeof (struct line) = 4B
4、标号元素
则允许初始化值以任意顺序出现。
指定数组索引的方法是在初始化值前写"[INDEX] ="，还可以使用"[FIRST ... LAST] ="的形式指定一个范围
int platform_intr_list[ACPI_MAX_PLATFORM_INTERRUPTS] = {
[0 ... ACPI_MAX_PLATFORM_INTERRUPTS - 1] = -1
};
将数组platform_intr_list的任何元素都初始化为-1
对于结构初始化，比如：
const struct file_operations ext2_file_operations = {
.llseek = generic_file_llseek,
.read = do_sync_read,
.write = do_sync_write,
}
将结构ext2_file_operations的元素llseek初始化为generic_file_llseek，当结构体的定义变化导致元素的偏移位置改变时，仍然可以确保已知元素的正确性。
5、特殊属性（__attribute__）
GCC允许声明函数、变量和类型的特殊属性，以便指示编译器进行特定方面的优化和更仔细的代码检查。使用方式为在声明后加上：
attribute__ (( ATTRIBUTE ))
其中ATTRIBUTE是属性的说明，多个说明之间以逗号分隔.
//=========变参调用的编译检查宏==========
#ifndef _AS_PRINTF
#if defined(__GNUC__)
# define _$PRINTF(m,n) __attribute__ ((__format__ (__printf__, (m), (n))))
# define _$SCANF(m,n) __attribute__ ((__format__ (__scanf__, (m), (n))))
#else
# define _$PRINTF(m,n)
# define _$SCANF(m,n)
#endif
#endif
=========================================================
顺便对比了一下逗号表达式与语句内嵌表达式的区别：
举例说明：
main()
{
int x,y,z;
x=y=1;
z=x++,y++,++y;
printf("%d,%d,%d\n",x,y,z);
}
记住逗号运算符优先级最低、所以等价：(z=x++),y++,++y; 答案： x(2)，y(3)，z(1)
（a = 3，b = 5，b+ = a，c = b* 5），求逗号表达式的值？ 40
func(rec1,rec2+rec3,(rec4,rec5));该函数调用语句中，含有的实参个数是
C语言中规定，函数调用时实参与实参之间是用逗号隔开的,其中第一个实参是rec1,第二个实参是rec2+rec3,
第三个实参是(rec4,rec5)，这里的第三个实参就是一个逗号表达式，根据逗号表达式的运算规则，
第三个实参的值应该等于rec5的值。
fun(a+b,(x,y),fun(n+k,d,(a,b))); 在此函数调用语句中实参的个数是 3
GCC 对C语言的扩展
声明：以上内容来自用户投稿及互联网公开渠道收集整理发布，本网站不拥有所有权，未作人工编辑处理，也不承担相关法律责任，若内容有误或涉及侵权可进行投诉： 投诉/举报 工作人员会在5个工作日内联系你，一经查实，本站将立刻删除涉嫌侵权内容。