二十二点五十六

My Links

Blog Stats

typedef用法和陷阱

一、typedef的用法

1.用typedef来声明新的类型名,来代替已有的类型名,也就是给类型起别名。比如

1 typedef float REAL; //用REAL来代表float类型
2 REAL a; //定义一个REAL类型的变量,等价于float a,即定义一个float类型的变量a

这种用法经常用来作为定义与平台无关的类型,方便代码的跨平台移植。

例如,定义REAL类型为目标平台精度最高的类型。

1>在支持long double的平台上定义为:

typedef long double REAL; 

注:long double为C99增加的类型,ANSI C标准规定了double变量存储为 IEEE 64 位(8 个字节)浮点数值,但并未规定long double的确切精度,但规定long double的精度不少于double的精度。所以对于不同平台long double可能有不同的实现,有的是8字节,有的是10字节,有的是12字节或16字节。关于具体的编译器的情况, 可以通过 sizeof(long double)得知。

2>在不支持long double的平台上改为

typedef double REAL; 

3>在double不支持的平台上改为 

typedef float REAL; 

因此,当跨平台时,只要改下 typedef 本身就行,不用对其他源码做任何修改。

2.为自定义数据结构(如struct、union)定义简洁易记的类型名。

比如:

struct data{
    int month;
    int day;
    int year;
}; //定义一个data的结构体

声明结构体变量时,代码如下

struct data birthday;

 

用typedef可以定义新的类型,代替上面的结构体类型

typedef struct data{
    int month;
    int day;
    int year;
}DATA; //定义一个data的结构体

DATA birthday; //定义一个DATA类型的变量birthday,等价于上面struct data类型

注:这种方法在一些代码规范中是不推荐和禁止的,因为新的类型隐藏了具体的类型,不利于看代码的人直观了解到实际类型。

3.用typedef来声明新的类型

1>可以用来简化数组变量定义

typedef int ARR[10]; //定义类型ARR为含有10个元素的int数组
ARR arr_a, arr_b; //定义了两个含有10个元素的int数组变量arr_a,arr_b

2>简化指针变量的定义

typedef int* INT_P
INT_P p1,p2; //定义两个int指针变量p1、p2

注意,下面的定义容易引起错误,所以编程规范中禁止一次声明多个变量

int* p1, p2; //p1为int*类型,p2为int类型
1 typedef char* STRING;
2 STRINT p; //p为字符串指针变量
3 STRINT s[10]; //s为指针数组,即s为一个含有10个元素的数组,每个元素是一个字符串指针
4 
5 typedef int (* POINTER)(); //声明POINTTER为指向函数的指针类型,该函数返回值为int类型
6 POINTER p1,p2; //p1,p2均为函数指针变量;

4.为复杂的声明定义一个新的简单的别名。

int *(*a[5])(int, char*); //变量名为a,直接用一个新别名pFun替换a

typedef int *(*pFun)(int, char*); 
pFun a[5]; //定义一个含有5个函数指针的数组
void (*b[10]) (void (*)()); //原声明,b为含有10个元素的函数指针数组,其参数为不带参数的函数指针

typedef void (*pFunParam)();//声明不带参数的函数指针为类型pFunParam
typedef void (*pFunx)(pFunParam); //声明pFunx为函数指针
pFunx b[10]; //函数指针数组b
1 doube(*)() (*e)[9]; //变量e为指针,该指针指向一个数组,该数组含有9个元素,每个元素为一个函数指针,该函数指针的返回值为double类型
2 简化写法:
3 typedef double(*pFuny)(); //声明一个函数指针别名pFuny,返回类型为double
4 typedef pFuny (*pFunParamy)[9]; //声明一个指针
5 pFunParamy e;//声明变量e为pFunParamy类型

理解复杂声明可用的“右左法则”:

从变量名看起,先往右,再往左,碰到一个圆括号就调转阅读的方向;括号内分析完就跳出括号,还是按先右后左的顺序,如此循环,直到整个声明分析完。举例:
int (*func)(int *p);
首先找到变量名func,外面有一对圆括号,而且左边是一个*号,这说明func是一个指针;然后跳出这个圆括号,先看右边,又遇到圆括号,这说明(*func)是一个函数,所以func是一个指向这类函数的指针,即函数指针,这类函数具有int*类型的形参,返回值类型是int。
int (*func[5])(int *);
func右边是一个[]运算符,说明func是具有5个元素的数组;func的左边有一个*,说明func的元素是指针(注意这里的*不是修饰func,而是修饰func[5]的,原因是[]运算符优先级比*高,func先跟[]结合)。跳出这个括号,看右边,又遇到圆括号,说明func数组的元素是函数类型的指针,它指向的函数具有int*类型的形参,返回值类型为int。

也可以记住2个模式:
type (*)(....)函数指针 
type (*)[]数组指针

二、typedef的陷阱

1.typedef是一种新类型的声明,不是简单的字符串替换,不同于#define

例如:

 

1 typedef char* STRING;
2 int strcmp(const STRING,const STRING);

 

在上面的代码中,“const STRING” 是否相当于 “const char*” 呢?

答案是否定的,原因很简单,typedef 是用来声明一种新的类型,它不同于宏,不是简单的字符串替换。STRING已经是一种类型,const修改该类型为常量。因此,“const STRING”中的 const 给予了STRING常量属性,也就是整个指针本身常量性,也即形成了常量指针“char*const(一个指向char的常量指针)”。

即它实际上相当于“char*const”,而不是“const char*(指向常量 char 的指针)”。当然,要想让 const PCHAR 相当于 const char* 也很容易,如下面的代码所示:

 

 

typedef const char* PCHAR;
int strcmp(PCHAR, PCHAR);

 

因此,无论什么时候,只要为指针声明 typedef,那么就应该在最终的 typedef 名称中加一个 const,以使得该指针本身是常量。

2.typedef 和存储类关键字(storage class specifier)

typedef在语法上是一个存储类的关键字(如auto、extern、mutable、static、register等一样),虽然它并不真正影响对象的存储特性。

例如下面的代码会编译报错:

1 typedef static int INT_STATIC;

 

 

 

参考:

https://www.cnblogs.com/a-s-m/p/10995722.html

http://c.biancheng.net/view/298.html

posted on 2019-09-02 01:39 二十二点五十六 阅读(...) 评论(...) 编辑 收藏