CONTAINING_RECORD IN EFI , h0 E2 }7 A' N, C: V: v
$ J( g/ Z Z; @4 t+ i
EFI BIOS几乎全部用C完成,它几乎将C语言的各种技巧发挥到了极致。C的精髓泰半是指针,另外宏也是非常值得称道的。程序员对于宏的评价可谓褒贬不一,有人说它是万恶之源,有人则赞其为一把利刃。我个人觉得运用之妙,存乎一心,宏不是万能的,但是有一些场合使用宏确实可以大大的提高程序的可读性,有些跨平台的特性离开了宏还真是不行。_CR是EFI之中经常会被用的宏,我们来看看它的庐山真面目吧:/ p+ ]& Q8 h8 k; e
4 P* b* o2 g3 \! u& E
//
9 M1 d3 J; ]9 T5 U//
( L1 K& ^+ g& a2 O/ d! FCONTAINING_RECORD - returns a pointer to the structure " ~* G p7 `5 ]
//
' B- {, n" K3 r' x5 i6 P% V' l3 Ofrom one of it's elements. 7 B7 K) p, ~; s: V
//
; }- X- i7 i3 `# P#define _CR(Record, TYPE, Field); k, c4 ?7 ^) z$ d- P: O. u1 z
((TYPE *) ((CHAR8 *) (Record) - (CHAR8 *) &(((TYPE *) 0)->Field)))6 N: W. C, \, u. H' J
这个宏的作用是根据一个结构体成员变量的的地址获得该结构体基地址。举例如下:
1 Q7 k/ E. B: K/ z7 T1 D5 Pstruct _Test
* K0 m, _0 F. c. @1 ?2 a{0 `* q* B: x3 c
CHAR8 t0;
) ] E7 g# Y: ~. {
# g$ r( p, Z7 v! TUINT16 t1;
) \0 S- ?7 m$ `
8 y; a; Q( k& x% l: y- w, ]UINT8 t2;" `2 A4 a9 ^8 q7 D
, E# y* a) w- D+ Q+ x. MUINT32 t3;
0 k J* ^# c" U2 ?" f7 w) N};
O1 e5 I" {7 S7 k+ `
1 B! b2 l! K+ S6 C) D- m; x我们在某一个地方获得了t2的地址t2Ptr,这时如果要得到t2所在结构体的基地址就可以这样做:struct _Test* bPtr = _CR(t2Ptr,struct _Test,t2);预处理展开之后就是这副样子 struct _Test* bPtr = ((struct _Test*)((CHAR8*)(t2Ptr)-(CHAR8*)&((struct _Test *)0)->t2),其实我觉得关键的部分在这句“(TYPE *) 0)->Field”,它其实就是获得该成员在结构体中的偏移位置(offset),该成员变量的地址减去它在结构体中的偏移也就获得了基地址了。
% B R7 m( |8 r* D5 w; f: u/ E
3 b& N/ M2 _# X4 `3 L
. ~7 g& a; {# U8 k一图胜千言,如上图所示,假设t2的地址是0x1005,那么bPtr应该是多少呢?我们只要用t2-t2的offset(0x03)即可,也就是0x1002。是不是很简单?
5 W- r- A) n. z7 h6 e' b# }' R9 N0 r4 {" ~; y) E$ f% ^
大概是英雄所见略同吧,这种形式的宏在Linux kernel 和 Windows Kernel中也都有存在,只不过名字叫的不一样罢了。先看看Linux下长的什么样子吧:) x4 v% L, z) B3 x4 B+ M
/** * L- X [# `+ w/ @1 [5 s
. w7 r, p! v$ y6 O0 ?! q* container_of - cast a member of a structure out to the containing structure
& R7 p/ Y4 D6 j# y7 Q0 _5 e3 c; a. d5 C' t
*
0 T' M: s2 {" b/ K
' [ h2 [- z0 b/ T* {# Q9 |* @ptr:* z8 E0 O! N8 [
the pointer to the member. 3 W* f/ @; U/ z% T/ ~ ~
1 d* Q" [! f3 j3 K4 j) W* @type:
`0 @; U% b! [& I ?the type of the container struct this is embedded in.
: @" h) G2 o$ D: e# d5 H8 {, N# e' d, ~4 n
* @member:! \3 Q) n; D" s% d! f! r. I y
the name of the member within the struct.
+ `% g4 U; Z! M* C/ ~8 A* C8 M$ Y! s" K
*
# n% y2 t) U' a* N% U) |6 u& X* y8 n6 C( t; ]- {4 y/ w1 U* K/ K
*/ 6 M7 R+ ?/ d Q! D# a
#define7 _: U5 V2 q+ T- Q3 D7 z& Y: e3 k
container_of(ptr, type, member) ({
, ^ U% T' z1 t( ]\
: O& G6 g: q r2 v3 a+ D% w2 k2 V" j6 e7 w! p4 `( w
const typeof( ((type *)0)->member ) *__mptr = (ptr);& H8 G6 y! X1 F: ?! t9 O) t
\
2 z0 G* a( t1 W3 Q* B# b3 F3 Y7 E9 D' {3 B/ k) l
(type *)( (char *)__mptr - offsetof(type,member) );})7 G" _6 f4 F, z, [% K# T3 K
/ K0 @9 c. h/ V' O3 s
#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER)9 |: j( H4 P3 C* H
# d) Q0 n9 d$ p6 s
再来看看它在Windows Kernel中的小模样J:/ H7 ~9 q* @) K* g9 h1 B6 K- P( P
#define
# h: t% N* K& K; YCONTAININT_RECORD(address, type, field) \# `8 H2 U( `3 Z1 i1 A& U
((type*)((PCHAR)(address) - (PCHAR)(&((type*)0)->field))); b: R" |+ A l. ?* d0 r
他们的作用都是一样的,是不是有点天下文章一大抄的感觉啊,呵呵… \' |+ ^+ p% p9 J, l2 Z4 p
. W- J+ N* q$ A' |/ X
7 n' b) x4 z: a: ~4 Y; W; u8 c+ W; r5 ^9 M' p, ^
Peter/ g9 D" Y* d& u. h. A9 p
2 m7 v2 y4 ~; w+ z
2009-10-6 |