结构体成员偏移值计算？求助

shiqinghai · 发表于 2016-9-13 21:36:03

原子有一篇帖子，讲的是宏定义来计算结构体成员的偏移值，印象中有这么一篇帖子，今天来找了半天，未果！！！特来求助，广大网友，帮忙寻找一下，十分感谢！！！

chuyan · 发表于 2016-9-13 21:36:04

shiqinghai 发表于 2016-9-14 23:21
额我是想找原子的那篇文章，不是别的，印象中原子有一篇文章讲的就是结构体成员偏移的；
offsetof跟con ...

了解container_of，就包含了offsetof的用法。
假设有个Struct，包含A成员，定义个p指针指向Strcut，将p指针的强行置0，那么p->A的就是offsetof的值。

f1174562 · 发表于 2016-9-13 21:46:51

偏移值就是结构体每个成员占用的字节数啊，和你定义的数据类型有关，short=2，int=4，long long、double=8。

shiqinghai · 发表于 2016-9-13 21:51:04

f1174562 发表于 2016-9-13 21:46
偏移值就是结构体每个成员占用的字节数啊，和你定义的数据类型有关，short=2，int=4，long long、double=8 ...

对齐之后呢？

jiaozhu · 发表于 2016-9-13 22:00:54

很显然二楼说的不咋对

f1174562 · 发表于 2016-9-13 22:22:33

shiqinghai 发表于 2016-9-13 21:51
对齐之后呢？

对齐？不明白，请闻其祥，求教！

ianhom · 发表于 2016-9-13 22:41:37

typedef struct _A
{
char a;
char b;
int c;
int d;
}A;

A tTest;
unsigned int offset;

offset = (unsigned int)&(tTest.c) - (unsigned int)&tTest; //c在结构体中的偏移，不论是否对齐

chuyan · 发表于 2016-9-13 22:53:14

在学习Linux驱动的过程中，遇到一个很好玩的内核函数，准确的说是一个很好玩的宏，叫做container_of。该宏定义在include/linux/kernel.h中，首先来贴出它的代码：

439/**
440 * container_of - cast a member of a structure out to the containing structure
441 * @ptr: the pointer to the member.
442 * @type: the type of the container struct this is embedded in.
443 * @member: the name of the member within the struct.
444 *
445 */
446#define container_of(ptr, type, member) ({ \
447 const typeof( ((type *)0)->member ) *__mptr = (ptr); \
448 (type *)( (char *)__mptr - offsetof(type,member) );})
它的作用显而易见，那就是根据一个结构体变量中的一个域成员变量的指针来获取指向整个结构体变量的指针。比如，有一个结构体变量，其定义如下：

struct demo_struct {
type1 member1;
type2 member2;
type3 member3;
type4 member4;
};
struct demo_struct demo;
同时，在另一个地方，获得了变量demo中的某一个域成员变量的指针，比如：

type3 *memp = get_member_pointer_from_somewhere();
此时，如果需要获取指向整个结构体变量的指针，而不仅仅只是其某一个域成员变量的指针，我们就可以这么做：

struct demo_struct *demop = container_of(memp, struct demo_struct, member3);
这样，我们就通过一个结构体变量的一个域成员变量的指针获得了整个结构体变量的指针。
下面说一说我对于这个container_of的实现的理解：
首先，我们将container_of(memp, struct demo_struct, type3)根据宏的定义进行展开如下：

struct demo_struct *demop = ({ \
const typeof( ((struct demo_struct *)0)->member3 ) *__mptr = (memp); \
(struct demo_struct *)( (char *)__mptr - offsetof(struct demo_struct, member3) );})
其中，typeof是GNU C对标准C的扩展，它的作用是根据变量获取变量的类型。因此，上述代码中的第2行的作用是首先使用typeof获取结构体域变量member3的类型为 type3，然后定义了一个type3指针类型的临时变量__mptr，并将实际结构体变量中的域变量的指针memp的值赋给临时变量__mptr。
假设结构体变量demo在实际内存中的位置如下图所示：
demo
+-------------+ 0xA000
| member1 |
+-------------+ 0xA004
| member2 |
| |
+-------------+ 0xA010
| member3 |
| |
+-------------+ 0xA018
| member4 |
+-------------+
则，在执行了上述代码的第2行之后__mptr的值即为0xA010。
再看上述代码的第3行，其中需要说明的是offsetof，它定义在include/linux/stddef.h中，其定义如下：

24#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER)
同样，我们将上述的offsetof调用展开，即为：

(struct demo_struct *)( (char *)__mptr - ((size_t) &((struct demo_struct *)0)->member3) );
可见，offsetof的实现原理就是取结构体中的域成员相对于地址0的偏移地址，也就是域成员变量相对于结构体变量首地址的偏移。
因此，offsetof(struct demo_struct, member3)调用返回的值就是member3相对于demo变量的偏移。结合上述给出的变量地址分布图可知，offsetof(struct demo_struct, member3)将返回0x10。
于是，由上述分析可知，此时，__mptr==0xA010，offsetof(struct demo_struct, member3)==0x10。
因此， (char *)__mptr - ((size_t) &((struct demo_struct *)0)->member3) == 0xA010 - 0x10 == 0xA000，也就是结构体变量demo的首地址（如上图所示）。
由此，container_of实现了根据一个结构体变量中的一个域成员变量的指针来获取指向整个结构体变量的指针的功能。