C语言中的typeof关键字

落日映苍穹つ 2022-08-27 14:43 200阅读 0赞

from: http://module77.is-programmer.com/posts/22102.html

typeof关键字是C语言中的一个新扩展。

typeof的参数可以是两种形式：**表达式**或**类型**。  
下面是使用表达式的的例子：  
typeof(x\[0\](1)  
这里假设x是一个函数指针数组，这样就可以得到这个函数返回值的类型了。  
如果将typeof用于表达式，则该表达式不会执行。只会得到该表达式的类型。  
以下示例声明了int类型的var变量，因为表达式foo()是int类型的。由于表达式不会被执行，所以不会调用foo函数。  
extern int foo();  
typeof(foo()) var;  
  
下面是用类型作参数的例子：  
typeof(int \*) a,b;  
等价于：  
int \*a,\*b;  
  
下面是两个等效声明，用于声明int类型的变量a。  
typeof(int) a; /\*int类型\*/  
typeof('b') a; /\* GCC中这个表达式的类型是int(自动提升为int)，  
注意typeof(char)和typeof('b')得到的不是一样的，这个用sizeof可以看出来\*/

一般情况下用typeof就可以了，但是如果要于ISO C兼容的话，最好是用双下划线的形式：\_\_typeof\_\_。  
typeof和typedef很像，事实上，只要能用typedef的地方就可以用typeof。  
  
下面是另外一些例子：  
把y定义成x指向的数据类型：  
typeof(\*x) y;  
把y定义成x指向数据类型的数组：  
typeof(\*x) y\[4\];  
把y定义成一个字符指针数组：  
typeof(typeof(char \*)\[4\] y;  
这与下面的定义等价：  
char \*y\[4\];  
  
我们再换一种定义方式：  
\#define pointer(T) typeof(T \*)  
\#define array(T,N) typeof(T \[N\])  
array (pointer(char),4) y;  
  
如果想把T定义成一个表达式的类型，则我们仅仅用typedef无法做到  
但可以通过typeof做到：  
typdef typeof(expr) T;  
  
**使用typeof的声明示例**  
以下**示例**用于声明指针和数组。为了进行对比，还给出了不带typeof的等效声明。  
typeof(int \*) p1,p2; /\* Declares two int pointers p1, p2 \*/  
int \*p1, \*p2;  
  
typeof(int) \*p3,p4;/\* Declares int pointer p3 and int p4 \*/  
int \*p3, p4;  
  
typeof(int \[10\]) a1, a2;/\* Declares two arrays of integers \*/  
  
int a1\[10\], a2\[10\];  
  
**使用typeof的声明限制**  
请注意，typeof构造中的类型名不能包含存储类说明符，如extern或static。不过允许包含类型限定符，如const或volatile。  
例如，下列代码是无效的，因为它在typeof构造中声明了extern：  
typeof(extern int) a;  
  
下列代码使用外部链接来声明标识符b是有效的，表示一个int类型的对象。下一个声明也是有效的，它声明了一个使用const限定符的char类型指针，表示指针p不能被修改。  
extern typeof(int) b;  
typeof(char \* const) p = "a";  
  
**在宏声明中使用typeof**  
typeof构造的主要应用是用在宏定义中。可以使用typeof关键字来引用宏参数的类型。因此，在没有将类型名明确指定为宏实参的情况下，构造带有所需类型的对象是可能的。  
下面是一个交换两个变量的值的宏定义：  
\#define SWAP(a,b) \{\\  
typeof(a) \_t=a;\\  
a=b;\\  
b=\_t;\}  
这个宏可以交换所有基本数据类型的变量(整数，字符，结构等）  
  
参考：  
[http://blog.chinaunix.net/u3/101356/showart\_2081601.html][http_blog.chinaunix.net_u3_101356_showart_2081601.html]  
[http://gcc.gnu.org/onlinedocs/gcc/Typeof.html\#Typeof][http_gcc.gnu.org_onlinedocs_gcc_Typeof.html_Typeof]

[http_blog.chinaunix.net_u3_101356_showart_2081601.html]: http://blog.chinaunix.net/u3/101356/showart_2081601.html
[http_gcc.gnu.org_onlinedocs_gcc_Typeof.html_Typeof]: http://gcc.gnu.org/onlinedocs/gcc/Typeof.html#Typeof