C 块变成表达式： ( {int a = 1; int b = 2; a+b;} ) 等于 3

Question

在阅读http://en.wikipedia.org/wiki/C_preprocessor#Multiple_evaluation_of_side_effects 时，我遇到了这个例子：

\#define max(a,b) \
   ({ typeof (a) _a = (a); \
       typeof (b) _b = (b); \
     _a > _b ? _a : _b; }) // WHY DOES THIS LINE WORK?

您可以完全像函数一样使用它，即max(1,2) 是一个计算结果为 2 的表达式。

我的问题是，({ statment-list last-expression; }) 构造如何评估 last-expression 的值？ 具体来说，这个构造的解析树是什么样的？我认为{ } 总是意味着复合语句，而语句没有值。我尝试在 C 语法中进行挖掘，但仍然无法解决这个问题。

Answer 1

这是一个名为 Statement Expressions 的 GCC 扩展。这不是标准的 C。