http://blog.chinaunix.net/u/22617/showart_297163.html
比如比较两个数的大小 ： 一般我们都习惯了这样写：#define MAX(a,b) (((a)>(b))?(a)b)) //实际上宏参数计算两次
可是宏是有副作用的， 比如下面这个例子： MAX(a++,b) 又如何呢？所以kernel里面的gcc扩展提供了很好的办法：
#define MAX_CHECK(x,y) \ //宏参数仅仅计算一次
({ \
typeof(x) __x = (x); \
typeof(y) __y = (y); \
(void) (&__x == &__y); \
(__x>__y) ?__x:__y ;\
})注意上面的是语句表达式（就是 用() 括起来） ， 当if(MAX_CHECK(10,20) ) 是没有副作用的。 typeof 是个宏， 取出变量的类型
当然上面的宏 按照kernel里面的写法也可以写成这样：
#define MAX_CHECK2(x,y) \
do{ \
typeof(x) __x = (x); \
typeof(y) __y = (y); \
(void) (&__x == &__y); \
(__x>__y) ?__x:__y ;\
}while(0) //注意可没有;但是用法就不一样了，语句表达返回的是个值 ， 但是 这点用 do {} while(0) 格式就不幸了。
比如 你可以这样 max = MAX_CHECK(a,b);
但是这样就错了： max = MAX_CHECK2(a,b) ; 编译就出错了。
但是如果 一行里面直接写 MAX_CHECK2(a,b) 肯定就没有问题了。
－－－
下面是就是聪kernel里面扒出来的：
#define ARRAY_SIZE(X) ((sizeof((X)))/(sizeof((X)[0])))
#define ALIGN(x,a) (((x)+(a)-1) & (~((a)-1)))
#define FIELD_SIZEOF(t, f) (sizeof(((t*)0)->f))
#define abs(x) ({ \
int __x = (x); \
(__x < 0) ? -__x : __x; \
})
//太有用的宏了， 一定要掌握
#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER)
//也非常有用
/**
* container_of - cast a member of a structure out to the containing structure
* @ptr: the pointer to the member.
* @type: the type of the container struct this is embedded in.
* @member: the name of the member within the struct.
*
*/
#define container_of(ptr, type, member) ({ \
const typeof( ((type *)0)->member ) *__mptr = (ptr); \
(type *)( (char *)__mptr - offsetof(type,member) );})
//#define container_of(ptr,type,member)
//({ \
// const typeof(((type *)0)->member) *__mptr = (ptr); \ //仅仅计算一次
// (type *)((char *)__mptr - offsetof(type,member)) ; \
//})
/**
* list_entry - get the struct for this entry
* @ptr: the &struct list_head pointer.
* @type: the type of the struct this is embedded in.
* @member: the name of the list_struct within the struct.
*/
#define list_entry(ptr, type, member) \
container_of(ptr, type, member)
//#define abs(x) ((x) > 0)?(x):(-(x))
/*
* ..and if you can't take the strict
* types, you can specify one yourself.
*
* Or not use min/max at all, of course.
*/
#define MIN_T(type,x,y) \
({ type __x = (x); type __y = (y); __x < __y ? __x: __y; })
#define MAX_T(type,x,y) \
({ type __x = (x); type __y = (y); __x > __y ? __x: __y; })
#define MAX(x,y) ( (x)>(y)?(x):(y) )
#define MAX_CHECK(x,y) \
({ \
typeof(x) __x = (x); \
typeof(y) __y = (y); \
(void) (&__x == &__y); \
(__x>__y) ?__x:__y ;\
})
