gcc对C语言的扩展：语句内嵌表达式

haidaowang

gcc对C语言的扩展：语句内嵌表达式（statement-embedded expression）
今天突然发现了这个新的语法现象，现转载如下。感觉到目前为止，内嵌表达式有点像“鸡肋”，不好用但又确实有其好处。不过还是不建议使用，现转载的目是希望以后大家在看系统代码时遇到这种现象能知其所以原，出现BUG也好应对。
, \# t8 Y* ~4 A. b% a" L7 }

& H9 H: y( ]. d; P' U3 |8 C在GNU C 中，用括号将复合语句括起来也形成了表达式。他允许你在一个表达式内使用循环，跳转和局部变量。

) n( q. [+ ~; @, f& \7 v一个复合语句是用大括号{}括起来的一组语句。在包含语句的表达式这种结构中，再用括号( )将大括号括起来,例如：
8 C4 Y; ^  ~  o({ int y = foo (); int z;
+ _. r, G- E& I2 s8 ~  if (y > 0) z = y;
4 [( M, R; q8 p- R) @7 ?4 O  else z = - y;
  z; })

就是一个合法表达式，用于计算foo( )函数返回值的绝对值。
- h) u3 t; G# Z! H1 r2 k7 ^0 r在上面的复合语句中，最后的一句必须是一个以分号结尾的表达式。这个表达式代表了整个结构的值。如果你在大括号里的最后一句用的是其他的语句，则整个结构的返回类型为void，即没有合法的返回值。

4 w/ g  b$ ?5 K5 t* H1 [2 m7 o" Y这种特性使得宏定义变得更加安全（因为每个操作数都只被计算一次，例如++运算）。例如计算最大值通常在C语言中被定义为这样的宏：
#define max(a,b) ((a) > (b) ? (a) : (b))
5 [* A( b! ?; ~& Y- u
( n) E' ]; f5 A0 V9 {但是其中的a和b可能会被计算两次，如果操作数带有副作用，则会产生错误的结果。在GNU C中，如果你知道了操作数的类型（假设为int），你可以这样安全的定义宏：
#define maxint(a,b) \
2 P$ h" N* `) a({int _a = (a), _b = (b); _a > _b ? _a : _b; })
' |: G8 {' Y5 r7 W" \5 `0 U4 U& L2 Y& ]语句内嵌在常量表达式（例如枚举类型），位域尺寸或静态变量初始化中是不允许的。如果你不知道操作数的类型，你也可以使用typeof来获得类型。
语句表达式内嵌在G++中并不支持，而且将来是否支持目前也不清楚（他们在某时被完全支持或者被抛弃掉，或者作为bug会一直存在）。就目前而言，语句内嵌表达式在默认情况下工作的并不好。
此外，在C++中语句内嵌表达式还存在很多语义问题。如果你希望在C++中用语句内嵌表达式来代替内联函数(inline function),对象的析构处理可能会让你惊讶。例如:
* Y8 m% N8 g' d#define foo(a) ({int b = (a); b + 3; })
并不等同于
inline int foo(int a) { int b = a; return b + 3; }
. y2 H" p! J1 z) u7 v; Y% C& j具体而言，当传递给foo的表达式的会引入临时对象的生成的时候，这些临时对象的析构在用宏时会早于用函数的情况。
7 I3 P' @+ `7 \& ]; C& _1 {以上情况说明在用于C++代码的.h头文件中使用语句内联表达式并不是一个好主意。一些GNU C的库的某些版本中的使用语句内联表达式的头文件已经造成了这样的bug。

llbnmo

来学习一下