注册
个人空间
一个复合语句是用大括号{}括起来的一组语句。在包含语句的表达式这种结构中，再用括号( )将大括号括起来,例如：
({ int y = foo (); int z;
if (y > 0) z = y;
else z = - y;
z; })
就是一个合法表达式，用于计算foo( )函数返回值的绝对值。
在上面的复合语句中，最后的一句必须是一个以分号结尾的表达式。这个表达式代表了整个结构的值。如果你在大括号里的最后一句用的是其他的语句，则整个结构的返回类型为void，即没有合法的返回值。
这种特性使得宏定义变得更加安全（因为每个操作数都只被计算一次，例如++运算）。例如计算最大值通常在C语言中被定义为这样的宏：
#define max(a,b) ((a) > (b) ? (a) : (b))
但是其中的a和b可能会被计算两次，如果操作数带有副作用，则会产生错误的结果。在GNU C中，如果你知道了操作数的类型（假设为int），你可以这样安全的定义宏：
#define maxint(a,b) \
({int _a = (a), _b = (b); _a > _b ? _a : _b; })
语句内嵌在常量表达式（例如枚举类型），位域尺寸或静态变量初始化中是不允许的。如果你不知道操作数的类型，你也可以使用typeof来获得类型。
语句表达式内嵌在G++中并不支持，而且将来是否支持目前也不清楚（他们在某时被完全支持或者被抛弃掉，或者作为bug会一直存在）。就目前而言，语句内嵌表达式在默认情况下工作的并不好。
此外，在C++中语句内嵌表达式还存在很多语义问题。如果你希望在C++中用语句内嵌表达式来代替内联函数(inline function),对象的析构处理可能会让你惊讶。例如:
#define foo(a) ({int b = (a); b + 3; })
并不等同于
inline int foo(int a) { int b = a; return b + 3; }
具体而言，当传递给foo的表达式的会引入临时对象的生成的时候，这些临时对象的析构在用宏时会早于用函数的情况。
以上情况说明在用于C++代码的.h头文件中使用语句内联表达式并不是一个好主意。一些GNU C的库的某些版本中的使用语句内联表达式的头文件已经造成了这样的bug。
| 论坛热门帖子: | [lch203] 写得蛮好的linux学习笔记(10-21) [黑马制造] 学习java的30个目标(10-19) [笑傲股林] 做测试半年了，有点迷茫，应该再学些什么提高自己的测试水平和测试能力呢？(10-19) [udp8589] 大家用google的来吱一声? 用百度的~~也来报道下?(10-18) [沂偌掳兆] 本人总结的一些认为C++比较经典的书籍，希望对大家有用(10-18) |
| TAG标签: | 语句 语言 扩展 表达式 int 例如 类型 如果 foo 括号 |
