container_of宏函数体里面为什么可以有分号？

#define container_of(ptr, type, member) ({ \
const typeof( ((type *)0)->member ) *__mptr = (ptr); \
(type *)( (char *)__mptr - offsetof(type,member) );})
为什么这个函数里面为什么可以有分号？
为什么重新定义一个新变量 __mptr？

函数里面当然可以有分号，这对C是很基础的知识。

重新定义变量的目的主要是做类型转换。这个估计算是 upcast。

问题是它咋这样用呢？
#define list_entry(ptr, type, member ) container_of(ptr, type, member)

#define list_for_each_entry(pos, head, member) \
for (pos = list_entry((head)->next, typeof(*pos), member); \
prefetch(pos->member.next), &pos->member != (head); \
pos = list_entry(pos->member.next, typeof(*pos), member))
里面的
pos = list_entry((head)->next, typeof(*pos), member）
展开之后就变成pos=({ \
const typeof( ((typeof(*pos) *)0)->member ) *__mptr = ((head)->next); \
(typeof(*pos)*)( (char *)__mptr - offsetof(typeof(*pos),member) );})
即 pos=（{语句1；语句2；}），这样pos得到的值是啥呢？

neubuffalo 兄不理解的应该是 ({ })

({ }) 中可以包含多条语句, 就是说可以有多个分号, 并且它里面最后一个语句的结果就是这个表达式的结果

哦，明白了，谢谢。

支持一下







http://www.starbabyhk.com/
星级宝贝母婴服务 赴港产子,香港生宝宝

Tel：86-0755-82823320
Email :[email protected]