C 语言中,根据成员变量地址获取结构体的 地址。有一种实现方法:
member_address - &(((TYPE *)0)->member);
这个里面最让人疑惑是&(((TYPE *)0)->member), 很明显是空指针嘛,空指针指向成员变量一定会出错的,但为啥着这里没有出错,而且linux kernel 中也经常使用这个。
原来,一切的奥秘都在编译器对& 的处理上,
在计算机中,要访问一个地址空间,必先知道他的地址, 然后才访问他对应的空间;
编译器在会将&(((TYPE *)0)->member) 优化为直接取地址,因为这种表达是: 先访问空间, 再取空间的地址,这不就相当于直接取地址么。
编译器一定会将其优化成为直接取地址,而不存在访问空间, 所以这种表述不会出现错误。
应用场景:
#define offsetof(type, field) (long)&(((type*)0)->field)
type:表示一个结构体
filed:表示type结构体的成员
(type*)0:应该是表示结构体首地址
(type*)0)->field:表示结构体成员field
&(((type*)0)->field):表示成员field相对于结构体首地址的偏移地址
作用:计算出type结构体成员filed在结构体中的偏移地址。
如:struct str
{
int a;
int b;
int c;
}
则:offsetof(str,a)=0;offsetof(str,b)=4;offsetof(str,c)=8;