深入理解typedef

首先请看看下面这两句:   

                 typedef int a[10];
                 typedef void (*p)(void);

如果你能一眼就看出它们的意思,那请不要再往下看了。如果你不太理解,或概念还有些模糊,请继续往下看吧。

typedef用来声明一个别名,typedef后面的语法,是一个声明。本来这里不会产生什么误解的,但结果却出乎意料,产生误解的人不在少数。罪魁祸首又是那些害人的教材。在这些教材中介绍typedef的时候通常会写出如下形式:

                       typedef int PARA;

这种形式跟#define int PARA 几乎一样!这些教材的宗旨是由浅入深,但实际做出来的行为却是以偏盖全!

的确,这种形式在所有形式中是最简单的,但却没有对 typedef进一步解释,使得不少人用#define的思维来看待typedef,把int与PARA分开来看,int是一部分,PARA是另一部分, 但实际上根本就不是这么一回事。int与PARA是一个整体!就象int i:声明一样是一个整体声明,只不过int i定义了一个变量,而typedef定义了一个别名。

由于持有这种错误的观念,就会无法理解如下一些声明:

                   typedef int a[10];
               typedef void (*p)(void);

会以为a[10]是int的别名,(*p)(void)是void的别名,但这样的别名看起来又似乎不是合法的名字,于是陷入困惑之中。实际上,上面的语句把a声明为具有10个int元素的数组的类型别名,p是一种函数指针的类型别名。

虽然在功能上,typedef可以看作一个跟int PARA分离的动作,但语法上typedef属于存储类声明说明符,因此严格来说,typedef int PARA 整个是一个完整的声明。

定义一个函数指针类型。比如原函数是:

                        void func(void);

那么定义的函数指针类型就是:

                        typedef void (*Fun)(void);

然后用此类型生成一个指向函数的指针:

                         Fun func1;

当func1获取函数地址之后,那么你就可以向调用原函数那样来使用这个函数指针: func1(void);

下面是理解typedef的正确方法,分为以下几步:

1. 确定被声明的类型:遇到typedef时,从左到右进行扫描,找到第一个“陌生”的标志符,这个标志符就应该是语句所声明的类型名称。例如:
typedef int* (* pt)(int* (*pn)(int * p1,int *p2),int * p3);
如果pt是生词(既不是保留字,也不是生命过的类型),那么它就是要声明的类型。其它的名字都是为了阅读方便的占位符,可有可无。也就是说,上面的语句等价为:
typedef int * (*pt)(int * (*)(int *, int *),int *);

2. 之后一旦遇到该类型声明的变量,则在该类型的typedef式中用变量代替类型,去掉typedef关键字,所得到的声明式等价与原来的声明。例如:
                           pt p;
这个声明式,可以经过两步变化为等价的声明式。

首先,回到pt的typedef式:
typedef int * (*pt)(int * (*)(int *, int *),int *);
用p代替pt:
typedef int * (*p)(int * (*)(int *, int *),int *);
然后把typedef去掉,得到:
int * (*p)(int * (*)(int *, int *),int * );
这个语句与 pt p;意义相同。

如果基础扎实,应该知道,这是个函数指针的声明,所指向的函数有两个int * 参数,返回一个int *值,第二个参数是int * ,整个函数返回一个int *。

typedef和define的区别

typedef和define都可以用来给对象取一个别名,但是两者却有着很大不同。

1. 首先,二者执行时间不同
关键字typedef在编译阶段有效,由于是在编译阶段,因此typedef有类型检查的功能。
Define则是宏定义,发生在预处理阶段,也就是编译之前,它只进行简单而机械的字符串替换,而不进行任何检查。

#define用法例子:
      #define f(x) x*x
      main( )
      {
           int a=6,b=2,c;
          c=f(a) / f(b);
          printf("%d //n",c);
      }
程序的输出结果是: 36,根本原因就在于#define只是简单的字符串替换。

2. 功能不同
Typedef用来定义类型的别名,这些类型不只包含内部类型(int,char等),还包括自定义类型(如struct),可以起到使类型易于记忆的功能。
如:    

       typedef int (*PF) (const char *, const char *);
定义一个指向函数的指针的数据类型PF,其中函数返回值为int,参数为const char *。

typedef 有另外一个重要的用途,那就是定义机器无关的类型,例如,你可以定义一个叫 REAL 的浮点类型,在目标机器上它可以i获得最高的精度:

typedef long double REAL;
在不支持 long double 的机器上,该 typedef 看起来会是下面这样:

typedef double REAL;
并且,在连 double 都不支持的机器上,该 typedef 看起来会是这样:

typedef float REAL;

#define不只是可以为类型取别名,还可以定义常量、变量、编译开关等。

3. 作用域不同
#define没有作用域的限制,只要是之前预定义过的宏,在以后的程序中都可以使用。
而typedef有自己的作用域。
       void fun()   
       {   
           #define  A  int   
       }   
    
    void   gun()   
    {   
    //在这里也可以使用A,因为宏替换没有作用域,   
     //但如果上面用的是typedef,那这里就不能用A ,不过一般不在函数内使用typedef
    }

4. 对指针的操作
二者修饰指针类型时,作用不同。

       typedef int *pint;
       #define PINT int *


       const pint p; //p不可更改,p指向的内容可以更改,相当于int * const p;
       const PINT p;
//p可以更改,p指向的内容不能更改,相当于 const int *p;或 int const *p;

       pint s1, s2;   //s1和s2都是int型指针
       PINT s3, s4;   
//相当于int * s3,s4;只有一个是指针

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值