盘点Linux内核源码中使用宏定义的若干技巧(2)

10740阅读 0评论2019-05-16 lelv123
分类:LINUX

5. typeof和0指针
这个在大名鼎鼎的container_of就有出现,事实上一些面试题有时候也喜欢跟这个沾点边。

点击(此处)折叠或打开

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

点击(此处)折叠或打开

  1. #define container_of(ptr, type, member) ({ \
  2.     const typeof(((type *)0)->member)*__mptr = (ptr); \
  3.          (type *)((char *)__mptr - offsetof(type, member)); })
哦,看到没,这里就直接使用了大括号({...})。第一个宏offsetof用来获得一个结构体中某一成员MEMBER与该结构体起始地址的偏移量,这个用法很有创意,0指针,充分利用了编译器的技巧。比如下面的代码,输出的结果是4:

点击(此处)折叠或打开

  1. struct test{
  2.         int a;
  3.         int b;
  4. };
  5. int main(void)
  6. {
  7.         printf("offset_b = %ld\n", (size_t)(&((struct test*)0)->b));
  8.         return 0;
  9. }
typeof是gcc对C标准的一个扩展,用来告诉编译器你打算使用括号里面的变量类型。关于typeof的更详细说明请参考:

6. 宏参数的静态检查

下面的宏来自模块参数的定义部分:

点击(此处)折叠或打开

  1. #define __module_param_call(prefix, name, ops, arg, isbool, perm)    \
  2.     /* Default value instead of permissions? */            \
  3.     static int __param_perm_check_##name __attribute__((unused)) =    \
  4.     BUILD_BUG_ON_ZERO((perm) < 0 || (perm) > 0777 || ((perm) & 2))    \
  5.     + BUILD_BUG_ON_ZERO(sizeof(""prefix) > MAX_PARAM_PREFIX_LEN);    \
  6.     static const char __param_str_##name[] = prefix #name;        \
  7.     static struct kernel_param __moduleparam_const __param_##name    \
  8.     __used                                \
  9.     __attribute__ ((unused,__section__ ("__param"),aligned(sizeof(void *)))) \
  10.     = { __param_str_##name, ops, perm, isbool ? KPARAM_ISBOOL : 0,    \
  11.      { arg } }
其中第3-5行定义了一个事实上并不会用到的变量__param_perm_check_##name,为了防止编译器产生未使用变量的警告,该变量后面使用了__attribute__((unused))属性。这个并不会使用到的变量在该宏中的唯一作用是对变量参数perm和prefix的大小进行一个静态检查,如果BUILD_BUG_ON_ZERO中的条件为TRUE,那么将会产生一个编译错误。






上一篇:深层次探讨mutex与semaphore之间的区别(下)
下一篇:盘点Linux内核源码中使用宏定义的若干技巧(1)