准确理解typedef的用法

   在C语言中，关键字typedef用来为现有数据类型创建一个别名，而不是用来创建一个新的数据类型。

    1、typedef的用法

    简单的例子，如清单1：   

#include <stdio.h>

typedef int type_int;

int main(void)
{
    type_int a = 0x10203040;

    short b = a;

    printf("a = 0x%x, b = 0x%x\n", a, b);

    return 0;
}

    清单1第3行的意思是：为数据类型关键字int声明了一个别名type_int，而且用type_int声明变量的效果与int相同。

    例子输出结果：

a = 0x10203040, b = 0x3040

    从结果可知，变量a确实是整型的。

    复杂的例子，如清单2： 

#include <stdio.h>

typedef int *type_int_ptr;

int main(void)
{
    type_int_ptr a, b; 
    //如果用int *a, b；这样的形式声明变量a和b,其中只有a是指针变量，b是普通的整型变量。

    int c = 3, d = 4;

    a = &c;
    b = &d;

    printf("*a = %d, *b = %d\n", *a, *b);

    return 0;
}

    清单2的第3行的意思是：为数据类型int *声明了一个别名type_int_ptr，而且用type_int_ptr声明变量的效果与int *相同。

    例子输出结果：

*a = 3, *b = 4

    从结果可知，变量a、b都为指针。注意与“int *a, b;”声明形式的差异，所以声明指针时星号（*）一定要跟变量名牢牢地结合在一起。

    更复杂的例子，如清单3： 

#include <signal.h>

typedef void (*sighandler_t)(int);
sighandler_t signal(int signum, sighandler_t handler);

    在Linux应用开发中，常会遇到清单3中signal函数的声明形式，其意思是：为综合性的数据类型void （*）（int）声明了一个别名sighandler_t，而且用sighandler_t声明变量的效果与void （*）（int）相同，所以函数signal的返回值和参数handler的数据类型都是void （*）(int)型的函数指针。

    2、与#define没有可比性

    宏指令#define只是简单的文本替换，而且是在预编译过程中被预编译器处理的。而关键字typedef根本就不是文本替换的概念。

    比较过程，参见清单4： 

#include <stdio.h>

#define myint int
typedef int type_arr[10];

int main(void)
{
    myint a = 3;
    type_arr arr_b;

    arr_b[3] = a;

    printf("a = %d, arr_b[3] = %d\n", a, arr_b[3]);

    return 0;
}

    第3行定义了一个宏myint，替换值为int，在程序预编译后，第8行的“myint a = 3;”语句就被替换为“int a = 3;”，即文本myint被替换为int。于是，不少初学者很快联想到typedef的声明是不是也是类似的过程，如“typedef int type_int; type_int a;”，在这个例子中type_int很像是被int替换了，那么在第4行的typedef声明中你能看出是谁替换了谁？既然不是简单的文本替换，那么应该如何理解typedef声明呢？这里有个诀窍：（1）在typedef声明语句中，如typedef int type_arr[10]，去掉关键字typedef（即int type_arr[10]），就可以获知type_arr的数据类型是一个一维数组，并且有10个整型的元素。（2）在用type_arr声明别的变量时，这个被声明的变量的数据类型与上一步获知的数据类型相同。

    例子输出结果：

a = 3, arr_b[3] = 3