C语言typedef用法
本文最后更新于:3 个月前
简介
typedef
为C语言的关键字,作用是为一种数据类型定义一个新名字。这里的数据类型包括内部数据类型(int,char等)和自定义的数据类型(struct等)。在使用语法上类似与static
,extern
等。typedef
行为有点像 #define
宏,用其实际类型替代同义字。不同点是 typedef
在编译时被解释,因此让编译器来应付超越预处理器能力的文本替换。
基本使用方法
示例1:
1 |
|
示例2:
1 |
|
促使我写这篇文章的原因不是如何去用typedef
,而是在代码中看不懂如何简化了一个复杂声明。比如上文的
1 |
|
本以为是将void
类型替换成了(*PFUNA)(int a)
,但是语法上这明显讲不通啊。现在明白了,这就是将void (*pfunA)(int a);
类型名换成了PFUNA
。以后就可以用PFUNA
来声明变量。比如
1 |
|
表示声明了一个大小为10
的数组,数组的元素是PFUNA
类型。将PFUNA
类型展开就是,这是一个函数指针,函数参数为int
类型,返回值为void
类型。完整的含义就是,声明了一个大小为10
的数组,数组元素是函数指针,函数参数为int
类型,返回值为void
类型。
代码简化
typedef
可以为复杂的声明定义一个新的简单的别名。关于复杂声明,可以阅读这篇C语言复杂声明。
方法是:在原来的声明里逐步用别名替换一部分复杂声明,递归操作,把带变量名的部分留到最后替换,得到的就是原声明的最简化版。举例:
1 |
|
变量名为b
,先替换右边部分括号里的,pFunParam
为别名
1 |
|
再替换左边的变量b
,pFunx
为别名二:
1 |
|
简化后的声明:
1 |
|
减少错误
定义一种类型的别名,而不只是简单的宏替换。可以用作同时声明指针型的多个对象。比如:
1 |
|
以下则可行:
1 |
|
这种用法很有用,特别是char* pa, pb
的定义,初学者往往认为是定义了两个字符型指针,其实不是,而用typedef char* PCHAR
就不会出现这样的问题,减少了错误的发生。
直观简洁
声明struct
新对象时,必须要带上struct
1 |
|
在经常使用这个结构体时,就显得麻烦,可以用typedef
简化
1 |
|
定义平台无关的类型
当跨平台时,只要改下 typedef
本身就行,不用对其他源码做任何修改。
1 |
|
掩饰复合类型
typedef
还可以掩饰复合类型,如指针和数组。
例如,你不用像下面这样重复定义有 81 个字符元素的数组:
1 |
|
定义一个 typedef
,每当要用到相同类型和大小的数组时,可以这样:
1 |
|
此时Line类型即代表了具有81个元素的字符数组,使用方法如下:
1 |
|
同样,可以象下面这样隐藏指针语法:
1 |
|
这里将带我们到达第一个 typedef
陷阱。标准函数 strcmp()
有两个const char *
类型的参数。因此,它可能会误导人们象下面这样声明 mystrcmp()
:
1 |
|
用GNU的gcc和g++编译器,是会出现警告的,按照顺序,const pstr
被解释为char* const
(一个指向 char
的指针常量),两者表达的并非同一意思。为了得到正确的类型,应当如下声明:
1 |
|
typedef 和存储类关键字
typedef
就像 auto
,extern
,mutable
,static
,和 register
一样,是一个存储类关键字。这并不是说 typedef
会真正影响对象的存储特性;它只是说在语句构成上,typedef
声明看起来象 static
,extern
等类型的变量声明。下面将带到第二个陷阱:
1 |
|
编译通不过。问题出在你不能在声明中有多个存储类关键字。因为符号 typedef
已经占据了存储类关键字的位置,在 typedef
声明中不能用 register
(或任何其它存储类关键字)。
Reference
本博客所有文章除特别声明外,均采用 CC BY-SA 4.0 协议 ,转载请注明出处!