GNU CC 是一个功能非常强大的跨平台 C 编译器,它对 C 语言提供了很多扩展,这些扩展对优化、目标代码布局、更安全的检查等方面提供了很强的支持。这里对支持支持 GNU 扩展的 C 语言成为 GNU C。 在 Linux 内核中使用了大量的 GNU C 扩展,以致 GNU C 成为了内核唯一的编译器。
1、语句表达式
GNU C 把包含在括号中的复合语句看做是一个表达式,称为语句表达式,它可以出现在任何允许表达式的地方,你可以在语句表达式中使用循环、局部变量等,原本只能在复合语句中使用。例如有如下宏定义:
修改上面链接代码如下:
运行及输出:
这时候,*P 不再做 2 次的 + 1 运算。这是因为宏定义的语句表达式中有赋值语句,此后作用的是 __x (为 8)而不是 x (为 *p++)。
上面的宏定义,需要提供参数类型,如 int 。但是如果用 typeof 就可以定义更加通用的宏。
测试代码:
运行及输出:
说明:
应用上面程序中的宏,不再需要额外提供一个参数的类型。和上面的例子一样,不会产生副作用,最终用来比较的值是所希望的数组中的第一个元素 8.1。注意,在宏执行完后,指针还是要移动到数组的下一个元素。
1、语句表达式
GNU C 把包含在括号中的复合语句看做是一个表达式,称为语句表达式,它可以出现在任何允许表达式的地方,你可以在语句表达式中使用循环、局部变量等,原本只能在复合语句中使用。例如有如下宏定义:
而标准的宏定义为:引用#define min_t(type, x, y) ({ type __x = (x); type __y = (y); __x < __y ? __x: __y; })
这个定义计算 x 和 y 分别两次,当参数有副作用时,将产生不正确的结果,见: http://www.groad.net/bbs/read.php?tid=1034引用#define min(x,y) ((x) < (y) ? (x) : (y))
修改上面链接代码如下:
引用#include <stdio.h>
#define MIN(type, x, y) ({ type __x = (x); type __y = (y); __x < __y ? __x: __y;})
int main ()
{
int i = 10;
int a [ 5 ] = { 8 , 9 , 11 , 10 , 13 };
int *p = a;
int j;
j = MIN( int , *p ++ , i);
printf( "%d \n " , j);
printf( "%d \n " , *p);
return ( 0);
}
运行及输出:
说明:引用beyes@linux-beyes:~/C/micro> ./micro2.exe
8
9
这时候,*P 不再做 2 次的 + 1 运算。这是因为宏定义的语句表达式中有赋值语句,此后作用的是 __x (为 8)而不是 x (为 *p++)。
上面的宏定义,需要提供参数类型,如 int 。但是如果用 typeof 就可以定义更加通用的宏。
测试代码:
引用#include <stdio.h>
#define MIN(x, y) ({ const typeof(x) _x = (x); const typeof(y) _y = (y); _x < _y ? _x:_y;})
int main ()
{
int i = 10;
float a [ 5 ] = { 8.1 , 9.1 , 11.2 , 10.3 , 13.4 };
float *p = a;
float j;
j = MIN( *p ++ , i);
printf( "%f \n " , j);
printf( "%f \n " , *p);
return ( 0);
}
运行及输出:
引用beyes@linux-beyes:~/C/micro> ./micro3.exe
8.100000
9.100000
说明:
应用上面程序中的宏,不再需要额外提供一个参数的类型。和上面的例子一样,不会产生副作用,最终用来比较的值是所希望的数组中的第一个元素 8.1。注意,在宏执行完后,指针还是要移动到数组的下一个元素。
|
|
|
|
|
|
|
|
beyes | 2009-08-21 11:34 |
unused 属性用于函数和变量,表示该函数或变量可能不使用。 测试代码:
编译一下: 在上面的编译中,必须使用 -Wall 选项才能产生 ai 变量没有被使用的警告信息,否则不会产生警告。 程序中添加 unused 属性后: 这样,编译时,无警告信息产生。 |