7 e  Y: w+ Y" Y/ Z  G9 Y
最近看的代码里面用到了container_of宏定义
: Y% K4 a% }' H; a

1. #define container_of(ptr, type, member) ({\
   
2.     const typeof( ((type *)0)->member ) *__mptr = (ptr);\
   2 ]- O+ k- W) O( m! u
3.     (type *)( (char *)__mptr - offsetof(type,member) );})

复制代码

很是迷惑，百度之，竟然有原型分析，嗯，特来记下，与大家分享。
Enjoy it。
. M( i- v* h* b" @linux内核container_of宏定义分析

一、#define offsetof(TYPE, MEMBER) ((size_t) & ((TYPE *)0)->MEMBER ) 7 r9 `" h0 o# B* S) W( c1. ( (TYPE *)0 ) 将零转型为TYPE类型指针; 2. ((TYPE *)0)->MEMBER 访问结构中的数据成员; . V! }" ]5 S/ d8 W/ O* W& T3. &( ( (TYPE *)0 )->MEMBER )取出数据成员的地址; 4.(size_t)(&(((TYPE*)0)->MEMBER))结果转换类型； ) i% ~# `/ g- l2 F8 C% |" p5 Z巧妙之处在于将0转换成(TYPE*)，结构以内存空间首地址0作为起始地址，则成员地址自然为偏移地址。 举例说明： #include<stdio.h> typedef struct _test {       char i; , t6 h% h7 b0 e      int j; $ q5 y7 R" u/ Z# _4 |, D* y      char k; }Test; int main() ; Q6 ?+ y6 m8 v6 D{ 8 Z$ z7 T8 u( X      Test *p = 0;       printf("%p\n", &(p->k)); } / N# |4 r; s) O. f% e1 j- m* _答案：00000008 1 G8 P  i( R5 y3 I自己分析：这里使用的是一个利用编译器技术的小技巧，即先求得结构成员变量在结构体中的相对于结构体的首地址的偏移地址，然后根据结构体的首地址为0，从而得出该偏移地址就是该结构体成员变量在该结构体中的偏移，即：该结构体成员变量距离结构体首的距离。在offsetof()中，这个member成员的地址实际上就是type数据结构中member成员相对于结构变量的偏移量。对于给定一个结构，offsetof(type,member)是一个常量，list_entry()正是利用这个不变的偏移量来求得链表数据项的变量地址。 二、container_of() & |. }7 m% ]- ^, j  l) B& `container_of() 来自\linux\kernel.h 内核中的注释：container_of - cast a member of a tructure out to the containing structure。 ptr: the pointer to the member. type: the type of the container struct this is embedded in. 6 t% k) |5 n2 {  q/ [- ymember:the name of the member within the truct. ! f  P& \+ f, p0 W! s1 q* I#define container_of(ptr, type, member) ({ \ const typeof( ((type *)0)->member ) *__mptr = (ptr); \ (type *)( (char *)__mptr - offsetof(type,member) );}) 自己分析： ( Z0 {, ?& S' I9 v1.(type *)0->member为设计一个type类型的结构体，起始地址为0，编译器将结构体的起始的地址加上此结构体成员变量的偏移得到此结构体成员变量的偏移地址，由于结构体起始地址为0，所以此结构体成员变量的偏移地址就等于其成员变量在结构体内的距离结构体开始部分的偏移量。即：&(type *)0->member就是取出其成员变量的偏移地址。而其等于其在结构体内的偏移量:即为：(size_t)(& ((type *)0)->member)经过size_t的强制类型转换后，其数值为结构体内的偏移量。该偏移量这里由offsetof()求出。 $ S: \: K* s5 U2.typeof( ( (type *)0)->member )为取出member成员的变量类型。用其定义__mptr指针.ptr为指向该成员变量的指针。__mptr为member数据类型的常量指针，其指向ptr所指向的变量处。 3.(char *)__mptr转换为字节型指针。(char *)__mptr - offsetof(type,member))用来求出结构体起始地址（为char *型指针），然后(type *)( (char *)__mptr -offsetof(type,member) )在(type *)作用下进行将字节型的结构体起始指针转换为type *型的结构体起始指针。 4.({ })这个扩展返回程序块中最后一个表达式的值。       这就是从结构体某成员变量指针来求出该结构体的首指针。指针类型从结构体某成员变量类型转换为该结构体类型。   }9 |% x' Z* ]* s1 K

* e- H- l1 _6 f0 Z8 ^
  C' X6 y2 e8 L: q. e2 k3 A

好高深的样子

cxtarm 发表于 2015-1-16 11:24
; |& N- T+ x1 I好高深的样子

唉，遇到了才有机会了解到。还是不明白，为啥非要通过这么拐弯抹角的方式来求得结构体的首指针呢。。。
! ?$ A8 R& p1 g; ^7 ~

cxtarm 发表于 2015-1-16 11:24
好高深的样子

嗯，大概有些明白了，因为有时候向函数传递的变量仅仅是结构体内部的一个成员，这个成员属于某一个结构体。
9 H6 r* W6 [( h7 `; ?在函数内部的时候，定义一个结构体指针，指针指向的地址没关系，因为我们要通过后续的成员变量来确定此结构体首指针。但是又需要用到整个结构体，所以需要把这个结构体成员映射到这个结构体中去。这样的话，我们就需要知道这个结构体的首指针了，从而实现对结构体中所有成员的调用。
如下：

1. ADCInit(IN  VOID *Data)
   ' q5 s. p/ s& z: i2 N. |2 i; q
2. {
   $ u% I3 T% B+ O& T+ W% ?! R! j0 ^7 T
3.     PSAL_ADC_HND        pSalADCHND          = (PSAL_ADC_HND) Data;
   % q# ?1 e* i9 V% V9 I7 P: b
4.     PSAL_ADC_HND_PRIV   pSalADCHNDPriv      = NULL；
   ) h) {3 N0 o( r; D% L3 C" m% W
5. 
   . M: n; ?" U0 y& X/ p
6.     /* To Get the SAL_ADC_MNGT_ADPT Pointer */
   
7.     pSalADCHNDPriv  = CONTAINER_OF(pSalADCHND, SAL_ADC_HND_PRIV, SalADCHndPriv);
   5 H, c' Z' x5 I& ]
8. }

复制代码

% \6 \( F) c& ?; f; W3 Y
2 J" F5 @! E( O% W) ?嗯，描述的词语可能太不专业了，多包涵，多交流。

* E" k& r* C3 C1 g% v. K

阿松松 发表于 2015-1-16 11:44
嗯，大概有些明白了，因为有时候向函数传递的变量仅仅是结构体内部的一个成员，这个成员属于某一个结构体 ...

) Q  M! S8 {6 u: P0 v又有些想法，我觉得，为什么在传递参数的时候传递结构体的成员呢，如果直接传递结构体指针不是更好？
( U. o9 @9 y9 i) Z, g3 y是不是又带来了其他的问题：
- `7 O  B: n: x1、在调用函数中定义结构体指针，会导致无意义的大内存分配？
2、会导致主题函数的结构体初始化复杂？

请大神出来讲课

阿松松 发表于 2015-1-16 12:48
又有些想法，我觉得，为什么在传递参数的时候传递结构体的成员呢，如果直接传递结构体指针不是更好？
是 ...

: x; G+ f! _- p$ _" ?7 }. K嗯，这个宏定义的关键是ptr要指向正在被使用的某类型变量，而这类型的变量又是type类型的一个成员，这样的话，member成员与ptr指向的类型就是一样的了。

阿松松 发表于 2015-1-16 13:14
  c$ j+ w; m' w. N0 @嗯，这个宏定义的关键是ptr要指向正在被使用的某类型变量，而这类型的变量又是type类型的一个成员，这样 ...

另一篇文章里面的思路也不错，也摘抄过来。


container_of(ptr,type,member) 用于在已知结构体里面成员member和该成员指针ptr（就是地址）和结构体类型type, 返回该成员所在的结构体的指针（就是地址）, 例如已知

1. struct student a {
   1 Z5 d* D) Y9 n/ `; Z1 \
2. char *name;
   
3. int age;
   
4. }
   
5. int *page = &age;
   
6. container_of(page, struct student, a.age); //返回a的地址

复制代码

! k* e9 P" a. j& R, X3 y* V7 \5 ~实现该方法可以分三步：
$ R6 _; G2 f9 d( x5 ~0 算出a.age在a里面的偏移，可以通过将零地址强制转换成struct student格式, (struct student *)0, 那么  ((struct student *)0)->age 即是偏移大小
/ g) l' n/ Y2 I2 I/ J, u! Y1 已知a.age地址和在a里面的偏移，即可通过a.age 地址减去偏移得到a的地址, (char *) page - ((struct student *)0)->age
2 最后将得到的地址强制 转换成struct student 格式, (struct student *)((char *)page - ((struct student *)0)->age) 即为所求的指针
根据我们的思路看内核里面的实现, 果然跟我们所想的一样
9 g9 R3 |( ^, d: ]

1. kernel.h  
   & U5 y' p$ J1 t0 v* N% o4 p4 `! J) {
2. #define container_of(ptr, type, member) ({            \  
   0 M! x: L6 c. j$ ?
3.     const typeof( ((type *)0)->member ) *__mptr = (ptr);    \  
   # W' w1 E! |* L$ [
4.     (type *)( (char *)__mptr - offsetof(type,member) );})  
   5 A4 C' i6 R+ k, m$ L2 E
5.   
   
6. #define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER)  

复制代码

8 q. n1 n1 B: k. m, y

阿松松 发表于 2015-1-16 12:48
+ ?3 x& S# \1 p  L7 Q又有些想法，我觉得，为什么在传递参数的时候传递结构体的成员呢，如果直接传递结构体指针不是更好？
, `! M- k* |2 T6 s( m, K0 i8 a* |是 ...

直接专递结构体的指针就行了。指针传递又不增加任何开销。
  e+ V. D9 `5 u# ~  t/ S+ j& v4 w如果为了验证一个所谓的“高深”语句而去画蛇添足式的自找麻烦，岂不是得不偿失。
这是linux内部的一个应用，它是为了兼容其它接口而采取的一种折中方案，不是让大家模仿使用的。

wangshu2013 发表于 2015-1-16 14:57
直接专递结构体的指针就行了。指针传递又不增加任何开销。
% }( ?  T# I+ N" |7 b4 X如果为了验证一个所谓的“高深”语句而去画蛇 ...

直接专递结构体的指针就行了。指针传递又不增加任何开销。
. \* I$ a/ d# Y; }) h( L如果为了验证一个所谓的“高深”语句而去画蛇添足式的自找麻烦，岂不是得不偿失。

! q* V: a6 l# O! m8 K
1 ^  Q. F' ^- [- m* {; K前辈说的这些话，让我感觉很透彻，膜拜，求抱大腿。
4 |7 u" r  f( v4 a$ r) ]$ z5 l  p/ G这个代码是最近熟悉的一个SDK开发包中看到的代码结构，无奈看的云里雾里，只好百度之。。

. }: L  g, l3 c+ ]不知道这个SDK中这样的写法合理性如何，话说回来，兼容其他接口而采取的一种折中方案，这句话怎么理解？

技术贴

技术贴

阿松松 发表于 2015-1-16 17:04
前辈说的这些话，让我感觉很透彻，膜拜，求抱大腿。
这个代码是最近熟悉的一个SDK开发包中看到的代码结 ...

) }) _6 T4 ~% F; M' S7 L比如有一个接口在linux初期已经存在了，后来就被广泛使用到很多地方，现在如果要更新这个接口，其带来的麻烦可能是毁灭性的，但又要添加新功能该怎么办，又要兼容原来的，又要能加入新功能，只好“投机取巧”。
这就是思考的局限性，计算机刚开始大家觉得32位整数不会到头，现在64位出来了，IP地址也是类似。
这就是总得留点后路给自己，实际中发现，使用结构体其可扩展性还是非常好的。
2 s% o$ C; @1 u$ B, u* D7 b* u嵌入式还是讲究简单、可靠。

霹雳之火 发表于 2015-1-16 20:30
9 m- d6 u. s! S0 o技术贴

. }! i( s5 S0 ^. q* X$ r) d我楼上才是真大神也，都来听课了。
$ A" C, j# a+ J5 w5 L1 C/ y
1 G# C% [( H. ?6 y8 B1 o5 Z' k& \@wangshu2013，膜拜ing

wangshu2013 发表于 2015-1-17 14:07
  W: n# h+ H& T  u8 _. g比如有一个接口在linux初期已经存在了，后来就被广泛使用到很多地方，现在如果要更新这个接口，其带来的 ...

" N- E5 r! d6 f0 x嗯，有一点儿感觉，自己还要慢慢体会。

谢谢前辈指点。