第四章 连接
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.那么我们知道运行改程序的硬件是一个高位优先的机器。