浏览Linux内核源代码我找到了some piece of code,其中括号括起来的语句块被视为表达式la lisp(或ML),即表达式,其值是最后一个语句的值。
例如:
int a = ({
int i;
int t = 1;
for (i = 2; i<5; i++) {
t*=i;
}
t;
});
我一直在看ANSI C grammar试图找出这段代码如何适合解析树,但我没有成功。
那么,有没有人知道这种行为是由标准规定还是只是GCC的特殊性?
更新:我已尝试使用标志-pedantic,编译器现在给我一个警告:
warning: ISO C forbids braced-groups within expressions
它被称为“表达式中的支撑组”。
ANSI / ISO C和C ++都不允许它,但gcc支持它。
这是无效的C它是一个名为gcc
的statement expressions扩展,你可以找到C扩展名here的完整列表。这实际上是many gcc extensions used in the Linux kernel之一,它看起来像clang supports this too,虽然它没有在文档中明确命名。
当你观察到最后一个表达式作为表达式的值时,文档说(强调我的):
复合语句中的最后一件事应该是一个后跟分号的表达式;此子表达式的值用作整个构造的值。 (如果你在大括号中最后使用了一些其他类型的语句,那么构造的类型为void,因此实际上没有值。)
其中一个主要好处是制作安全的宏,避免多重评估带有副作用的参数。给出的示例使用此不安全的宏:
#define max(a,b) ((a) > (b) ? (a) : (b))
它会对a
或b
进行两次评估,并且可以使用语句表达式重写以消除此问题,如下所示:
#define maxint(a,b) \
({int _a = (a), _b = (b); _a > _b ? _a : _b; })
注意,需要明确使用int
,可以使用另一个gcc
扩展Typeof修复:
#define max(a,b) \
({ typeof (a) _a = (a), _b = (b); _a > _b ? _a : _b; })