2021-08-30

offsetof宏与container_of宏的本质理解与区别（便于理解认识）：

container_of宏：
#define container_of(ptr, type, member) ({
const typeof(((type *)0)->member) * __mptr = (ptr);
(type *)((char *)__mptr - offsetof(type, member)); })

offsetof宏：
#define offsetof(TYPE, MEMBER) ((int) &((TYPE *)0)->MEMBER)

这个宏的工作原理：首先获得member元素的地址，也就是传入宏参数的地址，但是这个地址在传参的时候只剩下了地址值，一来解引用这个地址的方式已经丢失，二来可以匹配指针数据类型，检验代码正确性，故采用typeof得到该指针指向的那个变量的解引用方式，对该宏的作用仅仅是辅助，不是最关键的。
该宏的实质是用member元素的地址（实际中是把这个地址和上一步得到的指针绑定实现的）减去该元素相距首地址的偏移量(用offsetof宏可以实现)，从而获得结构体类型的首地址，再强制类型转换为结构体类型，代表这个地址指向的是一个结构体类型，而不是其他类型。

本质上的理解可以认为是：被减数-减数=差。 被减数-差=减数

下方的示意图表示： 黑框中表示内存单元格子，offsetof宏的实质是②的地址值减去①的地址值就得到偏移量的值③，在此宏中①为0，相当于没减。
而container_of宏的实质是②的地址值减去偏移量的值③就得到结构体的首地址值①；