一个linux的UDP的宏定义不能理解

zhanghuafeng25

#define hlist_nulls_for_each_entry(tpos, pos, head, member) \
for (pos = (head)->first; \
      (!is_a_nulls(pos)) && \
  ({ tpos = hlist_nulls_entry(pos, typeof(*tpos), member); 1;}); \
      pos = pos->next)
这个是在include\linux\Rculist_nulls.h中的一个宏定义，就是这其中 的红色大括号是怎么来的，为什么在没有任何条件语句和循环语句的情况下，能直接加大括号，我无法理解，请高手指教？

bensenq

很有兴趣的在K&R里面找了老半天，没有发现这个规则，最后在stackoverflow上面看到了这个问答：http://stackoverflow.com/questio ... eturn-a-value-valid

简言之：
1. ({})内的返回值是block中最后一个表达式的值；
2. 用()将{}括起来视为了将其转化成一个表达式，因为只有表达式才有值；
3. 这是一个GNU扩展，在gcc外的编译器不一定适用。

个人觉得这个表达式和下面逗号表达式是等价的：
(tpos = hlist_nulls_entry(pos, typeof(*tpos), member), 1)

当然block{}里面能够定义变量，这是逗号表达式不能干的。

zhanghuafeng25

首先谢谢高手的帮忙，我用DEV-C++编译的结果验证你的说法是对的，但是我有一点不理解 ，那这样的话，最后 “({ tpos = hlist_nulls_entry(pos, typeof(*tpos), member); 1;})”输出的值就是1，那前面的表达“tpos = hlist_nulls_entry(pos, typeof(*tpos), member)”式起什么作用呢？因为按你刚才讲的规则无论tops值怎么变，最后这个表达式输出的值只会是’1‘   回复 2# bensenq


   

bensenq

表达式值始终是1， 主要是让这个 tpos = hlist_nulls_entry(pos, typeof(*tpos), member) 在每一次循环开始之前都做一次吧。

zhanghuafeng25

好的，谢谢专家帮忙！回复 4# bensenq