c - 为什么这个 0 in ((type*)0)->C 中的成员？

Question

container_of() Linux内核中的宏定义为:

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

为什么这里使用((type*)0)->member，而不是(type*)->member？

Answer 1

Why this is ((type*)0)->member, not (type*)->member

因为 (type*)->member 是无效的语法，所以 typeof 是不可能的。所以它使用了一个 NULL 指针，无论如何它都不会取消引用 - 它的使用只是为了让 typeof 可以引用该成员。

---

这是如何工作的:

• typeof 技巧用于声明成员类型的指针。这个指针gets是用调用者传递的指针初始化的

• 从指针的地址中减去该成员在结构中的偏移量:这会产生包含对象的地址

---

更微妙的问题:为什么不去掉 typeof 而只做 ptr - offsetof。无论如何，我们都将它转换为 char *，对吗？在那种情况下，您可以将任何内容作为 ptr 传递，编译器什么也不会说。所以整个 typeof 都是用于(基本的)类型检查的。