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

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 的东西都是为了(基本的)类型检查。