typedef 深入剖析
typedef是一个我们常常会用到的关键字,而这个关键字有许多陷阱或者说许多不为我们深入理解的地方。很多书上都是很简单地一笔代过,并没有真正地让我们理解这个关键字。本文对其进行详细地说明。
综合网络上找到的资料对其进行分析,这其中会涉及到一些其他c方面的内容(比如指针,指向函数的指针,编译时候数据类型未定义与完全定义知识等等),看到这些内容的时候大家可以忽略,这个重点是在typedef。
好了,不说那么多开始吧。
<h4>typedef的定义</h4>
typedef 是一个关键字,后面是数据类型和标识符。标识符或类型名并没有引入新的类型,而只是现有数据类型的同义词。
它用来对一个类型起一个新名字,也用来声明自定义数据类型,其实给一个类型起新名字的作用也包含在声明自定义数据类型这个功能中。
1.给一个类型起一个新名字
给一个类型其新名字,有时候可以帮助我们更好地记忆。
例子:
<pre lang="c" escaped="true">typedef int inter;</pre>
此声明定义了一个 int 的同义字,名字为 inter。注意 在这里typedef 并不创建新的类型。它仅仅为现有类型添加一个同义字。你可以在任何需要 int 的上下文中使用 inter,即可以用inter来代替int进行整数变量的定义。
这个功能是最常用的,而且相对来说是比较简单的。
2.定义新的类型
定义新的类型有多种形式,下面简单的列一些。
<pre lang="c" escaped="true">typedef BaseType NewType [arrSize]</pre>
这种类型可以掩饰一些符合类型,其中BaseType是基本类型,NewType是我们所定义的新类型,这个新定义的NewType可以像其他的基本类型那样使用。下面举个例子:
<pre lang="c" escaped="true">typedef char Array[10]; </pre>
这里的char就是基本的类型,而Array是我们新定义的类型。这里Array是一个字符型的数组类型,这个数组类型的长度为10。下面我们就可以用Array来进行一些定义了。
<pre lang="c" escaped="true"> Array array1,array2;</pre>
这里我就定义了两个Array型的数组,这两个数组都是字符型的有10个元素的数组;如果我们没有用typedef定义,那么我么就要进行下面这样的定义:
<pre lang="c" escaped="true"> char array1[10];char array2[10]。</pre>
这种形式可以应用到指针等。
这里引入typedef一个陷阱:
<pre lang="c" escaped="true">
typedef char * pstr;
int mystrcmp(pstr, pstr);
</pre>
我们知道,标准函数 strcmp()有两个"const char *"类型的参数。因此,它可能会误导人们象下面这样声明 mystrcmp():
<pre lang="c" escaped="true"> int mystrcmp(const pstr, const pstr); </pre>
用GNU的gcc和g++编译器,是会出现警告的,按照顺序,"const pstr"被解释为"char* const"(一个指向 char 的常量指针),两者表达的并非同一意思。应该按以下方式定义:
<pre lang="c" escaped="true">
typedef const char* pstr;
</pre>
函数类型的形式
<pre lang="c" escaped="true">typedef int (*PF) (const char *, const char *)</pre>
这种类似的形式
这个声明引入了 PF 类型作为函数指针的同义字,该函数有两个 const char * 类型的参数以及一个 int 类型的返回值。这种定义的用途过会在下面以例子的形式给出。
typedef 就像 auto,extern,mutable,static,和 register 一样,是一个存储类关键字。这并不是说 typedef 会真正影响对象的存储特性;它只是说在语句构成上,typedef 声明看起来象 static,extern 等类型的变量声明。这一点对于我们理解typedef定义新类型的功能很有用。
这里引入typedef另外一个陷阱:
<pre lang="c" escaped="true"> typedef register int FAST_COUNTER; </pre>
编译通不过。问题出在你不能在声明中有多个存储类关键字。因为符号 typedef 已经占据了存储类关键字的位置,在 typedef 声明中不能用 register(或任何其它存储类关键字)。
3.typedef与结构体结合使用
<pre lang="c" escaped="true">
struct var {
int data1;
int data2;
char data3;
};
</pre>
这里定义一个类型var,而要定义这种类型的变量,必须这样写:struct var a;若添加typedef struct var newtype;则定义变量只需这样即可:newtype a;
typedef和结构体一般不这样使用,而是按下面这样子:
<pre lang="c" escaped="true">
typedef struct var {
int data1;
int data2;
char data3;
} newtype;
newtype a;
</pre>
在链表中更一般的形式:
<pre lang="c" escaped="true">
typedef struct tagNode
{
char *pItem;
struct tagNode *pNext; //这里不能写为*pNode *pNext;
} *pNode;
</pre>
<pre lang="c" escaped="true">
或者 typedef struct tagNode *pNode;
struct tagNode
{
char *pItem;
pNode pNext;
};
</pre>
typedef 有另外一个重要的用途,那就是定义机器无关的类型,例如,你可以定义一个叫 REAL 的浮点类型,在目标机器上它可以获得最高的精度:
<pre lang="c" escaped="true">typedef long double REAL; </pre>
在不支持 long double 的机器上,该 typedef 看起来会是下面这样:
<pre lang="c" escaped="true">typedef double REAL; </pre>
并且,在连 double 都不支持的机器上,该 typedef 看起来会是这样:
<pre lang="c" escaped="true"> typedef float REAL; </pre>
4.linux内核中typedef的例子:
<pre lang="c" escaped="true">typedef int (*PF) (const char *, const char *) </pre>
前面提到的这种类似的形式是可以简化函数的,而且便于理解。举linux内核中信号处理函数这个例子:
<pre lang="c" escaped="true"> void (*signal (int signr,void (*handler)(int))) (int) </pre>
其用typedef定义如下:
<pre lang="c" escaped="true">
typedef void sigfunc(int);
sigfunc *signal(int signr,sigfunc *handler);
</pre>
其中typedef定义了一个有一个整型参数无返回值的函数类型。void (*handler)(int)表示一个有一个整型参数无返回值的函数指针,这个指针名为handler,所以其可以用sigfunc进行说明,此时sigfunc就相当于前面的int signr中int的作用;同理这个函数也是这样。
注:对复杂变量建立一个类型别名的方法很简单,你只要在传统的变量声明表达式里用类型名替代变量名,然后把关键字typedef加在该语句的开头就行了。
<pre lang="c" escaped="true">
int *(*a[5])(int, char*);
//pFun是我们建的一个类型别名
typedef int *(*pFun)(int, char*);
//使用定义的新类型来声明对象,等价于int* (*a[5])(int, char*);
pFun a[5];
</pre>
posted on 2015-11-21 17:17 liweilijie 阅读(197) 评论(0) 编辑 收藏 举报