我最近遇到了这段代码，这对我来说看起来不合法（但 gcc 会编译它）。我并不介意这个结构，而是想要一个名字：
#define MAX(a,b) \
({ \
typeof(a) _a = (a); \
typeof(b) _b = (b); \
(_a > _b) ? (_a) : (_b); \
})
显然，最后一条语句的值作为命名空间限定的表达式的“值”返回。
编辑：感谢各位的回答。原来这是对普通 C 语言的扩展，称为语句表达式。
【问题讨论】：
namespace 关键字，则它不是命名空间。
标签： c++ c gcc terminology
它不是命名空间，它是一个宏，最多返回两个值。
语句末尾的\ 用于附加多个语句并创建一个多行宏。
代码不是标准 C++，但它可以在 gcc 中编译，因为它被支持为 gcc compiler extension。
好读：
语句表达式：
复合语句是由大括号括起来的语句序列。在 GNU C 中，括号内的复合语句可能会以表达式的形式出现在所谓的 Statement expression 中。
.--------------.
V |
>>-(--{----statement--;-+--}--)--------------------------------><
语句表达式的值是出现在整个构造中的最后一个简单表达式的值。如果最后一条语句不是表达式，则构造是 void 类型并且没有值。
注意：此摘录摘自 IBM XL C/C++ v7.0 文档。
【讨论】：
int x = { int _a = 1; int _b = 2; (1 > 2) ? _a : _b } 是标准 C++ 中的有效语句。我想这是一个问题。
typeof 也不是标准的（decltype 将是 C++11 的发展方向），所以这个单一的宏行确实令人窒息 gcc 扩展： )
这称为语句表达式，是GCC 的非标准extension。它允许您将复合语句用作表达式，其值由复合语句中的最后一个表达式给出。
这里使用它来避免类似函数的宏可能会多次评估其参数的问题，如果这些评估有副作用，则会出现意外行为。该宏经过精心编写，仅对 a 和 b 进行一次评估。
在 C++ 中，您永远不需要做这样的事情 - 改用函数模板：
template <typename T> T max(T const & a, T const & b) {
return a > b ? a : b;
}
【讨论】：
a 和 b ？
首先，它不是标准 C++，因为typeof 是 GCC 对 C++ 的扩展。代码中还有一个扩展，叫做Statement Extension。
使用-pedantic 选项编译你的代码，它不会编译。
至于问题，它不是命名空间。它只是一个宏，最多为您提供两个值。
【讨论】：
这是一个宏，就像其他任何#DEFINE 一样。本质上，编译器将 MAX(a,b) 替换为其中定义的代码。这将返回最大值。
【讨论】：
在这种情况下，{} 运算符是一个“匿名范围运算符”（又名“词法封闭”、“形式”和其他各种东西。它们被用来限制_a 和 _b 的范围在大括号内，因此它们不会与您可能拥有的具有相同名称的其他变量冲突。在到达右大括号后，{brace} 中定义的“auto”变量将被“销毁”；或, 在非本地传输上，例如“return”或“longjmp”。但是，您不能可靠地使用“goto”来拉动它们。
您可能只习惯于在“if”、“do”、“while”和“for”运算符之后看到它们，但可以将其视为一种通常将多个语句“捆绑”到一个“槽， " 就像你将多个语句作为 "if" 的 "then" 或 "else" 子句运行（其中，省略大括号，你只有一个语句 "slot"）
正如 Mike Seymour 所指出的，({}) 操作是非标准的 GCC 扩展，它返回在其中评估的最后一项的值。它与一般的作用域运算符非常相似，除了最后的固有返回。
【讨论】：
这可能被视为离题，但在我寻找从 {} 块返回值的方法时，我的网络搜索中出现了这个问题的标题。然后我意识到如何从标准的 c++ 结构中做到这一点。出于同样的原因，我为下一个登陆这里的人发布此信息。
要了解@BRPocock 所说的话，这些 8 年前，是可以从“匿名范围运算符”/“词法外壳”返回一个值 - 因此使用 @ 987654324@ 块作为表达式的一部分——通过使用 lambda 函数。
（撇开历史不谈：Lisp 中的所有绑定形式都可以使用 lambda 表达式以宏的形式编写。Lisp 是现代术语“lambda 函数”的来源。Lisp 是 John McCarthy 在 1959 年对理论“lambda”的程序化体现Church 和 Turning 的微积分。）
回到 c++，这是一个最小的匿名 lambda 函数，没有词法捕获、没有参数和一个空的主体：
[](){}
这是没有参数应用的函数：
[](){}()
这是在其主体中带有一些语句的函数调用：
[](){ int i=2; int j=3; return i+j; }()
它周围有一些额外的“东西”（可以用宏封装），它需要显式使用 return，但它满足从{} 块。例如，这将打印 5：
std::cout << [](){ int i=2; int j=3; return i+j; }() << std::endl;
【讨论】：