C陷阱与缺陷(四)

第四章 连接

4.1 什么是连接器

C语言中的一个重要思想就是分别编译，即若干个源程序可以在不同的时候单独进行编译，然后在恰当的时候整合在一起。
典型的连接器把由编译器或汇编器生成的若干个目标模块，整合成一个被称为载入模块或可执行文件的实体，该实体能够被操作系统直接执行。
连接器通常把目标模块看成是由一组外部对象组成的。
连接器的输入一组目标模块和库文件，连接器的输出是一个载入模块。

4.2 声明与定义

下面的声明语句 int a;如果其位置出现在所有的函数体之外，那么它就被称为外部对象a的定义。
这个语句说明了a是一个外部整型变量，同时为a分配了存储空间。如果它没初始化，则默认为0.
严格的规则是，每个外部变量只能够定义一次。

4.3 命名冲突与static修饰符

static是一个能够减少命名冲突的有用工具。
例如 static int a;
将a的作用域限制在一个源文件内，对于其它源文件，a是不可见的。
static修饰符不仅适用于变量，也适用于函数。
我们可以在多个源文件中定义同名的函数，只要都被定义为static，或者仅仅只有其中一个函数不是static.

4.4 形参、实参与返回值

如果一个函数在被定义或声明之前被调用，那么它的返回类型就默认为整型。

4.5 检查外部类型

假定我们有一个C程序，它由两个源文件组成。
一个文件中包含外部变量n的声明: extern int n;
另一个文件中包含外部变量n的定义: long n;

当这个程序运行时，可能发生以下情况：
一、C语言编译器能检测到冲突。
二、两者数值在内部表示上一样，例如都是32位，程序很可能正常工作。
三、共享存储空间，long的低端部分赋给了int类型的n，能正常工作。
四、共享存储空间，但是对其中一个赋值掩盖了另一个值，将不能正常工作。

注意 char filename[]=”hello"
与引用extern char* filename;
尽管在上下文环境中，数组与指针非常相似，但它们毕竟不同，需要进行修改。

4.6 头文件

每个外部对象只声明在头文件中，需要用刀该外部对象的所有模块都应该包括这个头文件。
定义该外部对象的模块也应该包括这个头文件。

假定一个程序在一个源文件中包含了声明: long fop;而在另一个源文件中包含了 extern short foo;
如果给long类型的foo赋了一个较小的值37，short类型的foo同时获得一个值37.那么我们知道运行改程序的硬件是一个低位优先的机器。
如果给long类型的foo赋了一个较小的值37，short类型的foo同时获得一个值0.那么我们知道运行改程序的硬件是一个高位优先的机器。