GCC 对C语言的扩展

时间：2015-01-12 13:05:14 阅读：274 评论：0 收藏：0 [点我收藏+]

标签：

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、标号元素

在标准C里，数组或结构变量的初始化值必须以固定的顺序出现，而在GCC中，通过指定索引或结构域名，
则允许初始化值以任意顺序出现。

指定数组索引的方法是在初始化值前写"[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语言的扩展

标签：

原文地址：http://blog.csdn.net/andyhuabing/article/details/42640705

踩

(0)

评论一句话评论（0）

分享档案

更多>

2021年07月29日 (22)
2021年07月28日 (40)
2021年07月27日 (32)
2021年07月26日 (79)
2021年07月23日 (29)
2021年07月22日 (30)
2021年07月21日 (42)
2021年07月20日 (16)
2021年07月19日 (90)
2021年07月16日 (35)

周排行