container_of(マクロ)

初めて見るとかなりビビるマクロ．
例えば，

struct foo {
int x;
struct bar b1;
};

struct foo f1, *f2;
struct bar *b;
b = &f1.b;

なんてあるとき，

f2 = container_of(b, struct foo, b1); 

なんてことができてしまう．
もちろん，f2に入ってるのはf1のポインタ．

ちなみに宣言は以下

include/linux/kernel.hより

#define container_of(ptr, type, member) ({ \
const typeof( ((type *)0)->member ) *__mptr = (ptr); \
(type *)( (char *)__mptr - offsetof(type,member) );}) 

include/linux/stddef.hより

#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER) 

ムチャしてるよなーって感じですが，私の場合，hlist(後日解説)をよく使うんで，
かなり御世話になってるです．多謝多謝

それにしても，この宣言って，実は

#define container_of(ptr, type, member) ({ \
(type *)( (char *)(ptr) - offsetof(type,member) );}) 

でもいい気がする．
実際試してみても，問題なかった．
うーん，

ptr += containter_of(ptr,type,member);

ってのを気にしているのかな？