#define max(x, y) ({ \
x> y? x: y; })
想一下这个宏在什么情况下会有bug?
答案:max(value++,5);
其实就因为这是宏,输入的x可以是一个立即数也可以是一个表达式.如果输入的是X++就会变成
value++> 5? value++: 5; })
可以看到value被多++了一次
正确如下:
#define max(x, y) ({ \
typeof(x) _max1 = (x); \
typeof(y) _max2 = (y); \
(void) (&_max1 == &_max2); \
_max1 > _max2 ? _max1 : _max2; })
取两个数/表达式的最大值。
其中(void) (&_max1 == &_max2); 是用来让编译器判断两个比较参量类型是否一致的。利用编译器的规则:当两个类型不一样的指针比较的时候会编译报错。
计算结构体成员偏移位置的宏
#ifndef offsetof
#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER)
#endif
TYPE是某struct的类型 0是一个假想TYPE类型struct,MEMBER是该struct中的一个成员. 由于该struct的基地址为0, MEMBER的地址就是该成员相对与struct头地址的偏移量.
用法:offsetof(struct student, c)
Linux Kernel中的container_of用于根据某结构中某成员来判断某结构变量的起始地址
#define container_of(ptr, type, member) ({ /
const typeof( ((type *)0)->member ) *__mptr = (ptr); /
(type *)( (char *)__mptr - offsetof(type,member) );})
说明:const typeof( ((type *)0->member ) *__mptr = (ptr);意思是声明一个与member同一个类型的指针常量 *__mptr,并初始化为ptr.
(type *)( (char *)__mptr - offsetof(type,member) );意思是__mptr的地址减去member在该struct中的偏移量得到的地址, 再转换成type型指针. 该指针就是member的入口地址了