C语言中typedef和const的区别

昨天面试的时候面试官问了这个问题，平时也有见过这两个类型限定词，可能是因为不怎么使用的原因，当问到它们的区别时，我不知道从哪个方面开始回答。

用 typedef 定义新的类型名

类型定义的书写格式为

typedef 类型被定义的类型名

被定义类型名通常用大写字母构成。从语法形式上看，typedef出现在“类型”的左边，类似于 extern、static 等存储类区分符在说明中所占的位置，实际上typedef不保留存储空间，只是为了语法上方便，才称它为“存储类区分符”。

typedef char *STRING;

typedef int MILES, *SP, (*PF)();

显然，MILES与int同义，而SP与指向int型的指针同义，STRING与字符指针同义，PF与指向函数（返回int型）的指针同义。

必须强调，typedef说明并不产生新的类型，只是给已有的类型添加新的类型名，或者说以另一种方式来指出类型而已。使用这种方式说明的变量与关键字明确指出类型的那些变量具有同样的性质。

使用typedef说明的主要原因有两个：

1. 使说明便于理解。用这种类型定义方式，使指向复杂结构的指针的说明方式简洁明了。

2. 将程序参数化，以便移植。若typedef用在与机器有关的数据类型中，当程序移植时，只要改变typedef就可以了。通常情况是对不同的整数量使用typedef所产生的名，因而每个宿主机能够挑选出与short、int和logn适应的集合。

最终，将来总可以让编译程序或其它程序（如lint），用typedef说明中的信息来对程序进行附加的检查。

这里说的是不是在debug的时候，可以通过typedef定义的变量名，更方便找到问题出现的位置。

类型限定词

C语言中有两个关键字称为类型限定词：const和volatile。前者将对象限定为常量，后者将对象限定为易变量。

类型限定词的书写位置在类型名（即类型区分符）之首，当有存储类区分符时，声明中各词的次序可为：

类型限定词存储类区分符标识符

或

存储类区分符类型限定词标识符

被const限定的对象，在一次定值后，不允许再赋值或增量、减量。

需要注意C语言中const的用法与PASCAL中的const不完全相同，其特点是：

1. 类型限定词的作用在遇到分号时就停止了。

2. 聚集类型的规格说明中也可以包含限定词，如下面的标识符a就被限定为数组常量名：

typedef int AT[2][3]; /* AT是2行3列的整数型数组名 */
const AT a = {{4, 5, 6}, {7, 8, 9}}; /* a是AT型数组，其元素是const int型 */

3. 为使两个限定类型相容，则二者都应为相容类型的完全相同的限定形式。因此若在以上声明中增添下列两条：

int *pi;
const int *pci;

则语句 pci = &(a[0][1]); 是有效的，而语句 pi = &(a[0][1]); 无效，因为等号两边的类型不匹配。不过有些编译器并未严格按照C语言标准去实现。因此，语句 pi = &(a[0][1]); 仍可能通过编译。

4. 如果对程序中的一些变量，人们不希望编译器对它的计算顺序进行任何优化或重新排序，则在声明时应当用限定词 volatile 进行约束。这在描述对应于存储映射的输入输出端口的对象，或由异步中断函数访问的对象时经常用到，如：

extern const volatile int real.time.clock;

则 real.time.clock可被硬件在程序员不确切知道的情况下进行修改，但编译器不会对它进行计算顺序的变更。

5. 同一对象可以受两个不同限定词的约束，例如声明为

extern const volatile int real.time.clock;

的对象，除了（4）中的叙述特点外，还受不能被赋值，增量或减量的限制。

内部函数与外部函数

对于比较大的程序，通常分放在多个源文件中，也称为多源文件（multy files）。因为每个文件是一个编译单元，于是修改某个源文件时不必重新编译其它的源文件。这种文件结构还便于多人分别编写与调试程序。采用多文件结构时，对各个文件中的变量与函数的定义与使用应当相互协调，这不仅涉及到正确运用变量的存储类，还要掌握内部函数等概念。

1. 内部函数

内部函数只能被本程序文件中其他函数所调用。内部函数的定义方法是在函数的类型前加static，即：