c - ANSI C 中的复合语句( block )是否被括号表达式包围？

Question

浏览我发现的 Linux 内核源代码 some piece of code其中括号包围的语句 block 被视为表达式 a 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

Answer 1

这不是标准 C。它是一个名为 statement expressions 的 gcc 扩展。 。您可以找到 C 扩展的完整列表 here 。这实际上是 many gcc extensions used in the Linux kernel 之一看起来像 clang supports this too尽管文档中没有明确命名。

正如您所观察到的，最后一个表达式充当表达式的值，文档中说(强调我的):

The last thing in the compound statement should be an expression followed by a semicolon; the value of this subexpression serves as the value of the entire construct. (If you use some other kind of statement last within the braces, the construct has type void, and thus effectively no value.)

主要好处之一是制作安全宏，以避免对带有副作用的参数进行多次求值。给出的示例使用了这个不安全的宏:

#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; }) 

请注意 clang also supports typeof .