复杂的宏的分析

Posted 2020-11-01

//形参：TYPE是结构体类型， MEMBER是结构体其中一个成员名 // 返回值：MEMBER成员相对于整个结构体变量的首地址的偏移量，类型是int #define offsetof(TYPE, MEMBER) ((int) &((TYPE *)0)->MEMBER) //形参：ptr是结构体某成员的指针，type是结构类型，member是结构体某成员名 // 返回值：指向整个结构体变量的指针，类型是(type *) #define container_of(ptr, type, member) ({ const typeof(((type *)0)->member) * __mptr = (ptr); (type *)((char *)__mptr - offsetof(type, member)); })

offsetof解析：
((int) & ((TYPE )0)->MEMBER)分析该宏时，先(TYPE )0 得到结构体（地址为0）的指针，再((TYPE )0)->MEMBER 得到结构体的成员，然后& ((TYPE )0)->MEMBER 得到成员地址。最后通过（int）转化成数值。因为结构体首地址为0，所以和该成员的首地址的差值就成为了偏移量。

container_of解析：
用typeof得到结构体成员类型，再定义成员指针mptr，用成员指针减去结构体偏移量（由offsetof得到）得到整个结构体变量的地址，然后type *得到结构变量的指针。