结构体变量类型声明,示例如下:
struct var
{
Int a;
Int b;
Int c;
};
结构体变量定义:struct var var1;
查看var1变量地址信息如下:
var1地址:0x02000000
a 地址:0x02000000
b 地址:0x02000004
c 地址:0x02000008
可以得到如下结论:
结构体变量的地址就是结构体的首地址。
结构体第一个成员的地址就是结构体的首地址。
结构体成员a、b、c相对于结构体首地址的偏移量:
&(var1.a) - &var1 = 0;
&(var1.b) - &var1 = 4;
&(var1.c) - &var1 = 8;
给出结构体类型声明,如何计算各个成员偏移量。
如果使用结构体类型定义一个结构体变量,在通过上述计算,可计算出偏移量结果,但是难以使用。
现假定定义了一个变量,该变量地址正好在地址0处。
即:&var1 = 0;
&(var1.a)= 0;
&(var1.b)= 4;
&(var1.c)= 8;
&(var1.a) - &var1 = 0 = &(var1.a)
&(var1.b) - &var1 = 4 = &(var1.b)
&(var1.c) - &var1 = 8 = &(var1.c)
可以发现,如果在地址0处定义一个结构体,则其成员的地址就是该成员到结构体首地址的偏移量。
在地址0处认为有一个结构体,实现如下:(struct var *)0
即将地址0处存放的变量,强制转换为struct var 类型,由于0是地址,因此转换为指针类型。
var1是变量名称。0表示一个地址。指针p中的值也是一个地址。
var1.a 变量名的方式访问成员
((struct var *)0)->a 指针的方式访问成员
&(var1.a) 变量名的方式访问成员,获取地址
&(((struct var *)0)->a) 指针的方式访问成员,获取地址
宏定义:
#define list_offsetof(type, memb) ((unsigned long)(&((type *)0)->memb))
type为结构体变量类型,memb为成员名称。
上述必须知道结构体类型和成员名称。
如果还知道成员地址,就可以计算出结构体首地址。
#define container_of(ptr, type, memb)
((type *)((char *)(ptr) - list_offsetof(type, memb)))
container_of中的ptr正好是成员的地址。
地址-偏移量=结构体首地址