linux内核宏container_of前期准备之gcc扩展关键字typeof
- typeof基本介绍
1 typeof(x)
这是它的使用方法，x可以是数据类型或者表达式。它的作用时期和sizeof类似，就是它是在编译器从高级语言(如Ｃ语言）翻译成汇编语言时起作用，这个很重要，稍后会解释。
当ｘ是数据类型时，它和关键字typedef很相似，只不过typedef是要先定义再使用，而typeof则是可立即使用的,如下：
1 typedef int INT; 2 int main(int argc, const char *argv[]) 3 { 4 INT a; 5 typeof(int) b; 6 7 return 0; 8 }
当x是表达式时：
//变量 int a; typeof(a)b; //数组 int c[10]; typeof(c) d;//相当于int d[10];因为c的类型是int *[10] //函数 int foo(void) { return 0; } typeof(foo) c;//foo函数指针类型 int (*)(void) typeof(foo()) d; //foo函数返回类型 int
typeof(foo()) d;这句并不会导致函数foo被调用，上面有讲到它的作用时期和sizeof一样，它仅仅是获得x的数据类型，比如对于sizeof:
int a[10]; char len; len = sizeof(a);
在编译器将源码由高级语言转到汇编语言时，sizeof关键字就其到了作用。我们甚至可以认为有点类似宏替换（注意发生的阶段不同），相当于是:
int a[10]; char len; len = 40;
这一切发生在汇编阶段，typeof也是类似的作用原理，这也就是为什么foo()为什么并没被调用的原因。
- typeof使用需要注意的问题
1.typeof构造中的类型名不能包含存储类说明符，如extern或static。不过允许包含类型限定符，如const或volatile。
1 static int a = 5; 2 typeof(a)b; //编译没问题，等于int b; 3 typeof(static int) b; //编译报错 4 5 6 const int a = 2; 7 typeof(a)b = 5;//等同于 const int 5;
我的个人理解是extern和static的限定只是影响至链接阶段，而const和volatile影响直至执行阶段。好像并不怎么合理，暂时就记录下来吧。
2.比较容易忽略的一点，通常：
1 int *a,b; //原意是定义２个int *的变量a,b。初学者容易犯的错误 2 3 //实际要用 4 int *a, *b; 5 6 //但是typeof关键字不是这样的 7 int *a; 8 typeof(a)b,c; //它就是int *b, *c的意思，它不是简单的宏替换，特别要注意
- 为什么要用typeof,或者说typeof的使用带来了什么好处
回想我们交换２个变量的方法，最先想到的是利用第三个变量作为中间变量。
1 void swap(int a,int b) 2 { 3 int tmp; 4 5 tmp = b; 6 b = a; 7 a = tmp; 8 }
如果我要交换的是２个char型变量呢？那岂不是又要写一个函数，太麻烦了。那么强大的typeof来了
#define SWAP(a, b) { typeof(a) _t=a; a=b; b=_t;}
一个宏搞定所有基本类型数据交换，甚至是构造类型。妈妈再也不用担心我写到手抽筋了。
参考:
http://module77.is-programmer.com/posts/22102.html
http://gcc.gnu.org/onlinedocs/gcc/Typeof.html
郑重声明：本站内容如果来自互联网及其他传播媒体，其版权均属原媒体及文章作者所有。转载目的在于传递更多信息及用于网络分享，并不代表本站赞同其观点和对其真实性负责，也不构成任何其他建议。
