链接器在软件开发中扮演着一个关键的角色,因为它们使得分离编译(separate compilation)成为可能。我们不用将一个大型的应用程序组织为一个巨大的源文件,而是可以把它分解为更小、更好管理的模块,可以独立地修改和编译这些模块。当我们改变这些模块中的一个时,我们只要简单地重新编译它,并将它重新链接到应用上,而不必重新编译其他文件。
1:理解链接器将帮助你构造大型程序。构造大型程序的程序员经常会遇到由于缺少模块、缺少库或者不兼容的库版本引起的链接器错误。除非你理解链接器是如何解析引用、什么是库以及链接器是如何使用库来解析引用的,否则这类错误将令你感到迷惑和挫败。
2:理解链接器将帮助你避免一些危险的编程错误。Unix链接器解析符号引用时所做的决定可以不动声色地影响你程序的正确性。在默认情况下,错误地定义多个全局变量的程序将通过链接器,而不产生任何警告信息。由此得到的程序会产生令人迷惑的运行时行为,而且非常难以调试。我们将向你战士这是如何发生的,以及该如何避免它。
3:理解链接器将帮助你理解语言的作用域规则是如何实现的。例如,全局和局部变量之间的区别是什么?当你定义一个具有静态属性的变量或者函数时,到底实际意味着什么?
4:理解链接将帮助你理解其他重要的系统概念。链接器产生的可执行目标文件在重要的系统功能中扮演着关键角色,比如加载和运行程序、虚拟存储器、分页和存储器映射。
5:理解链接将使你能够开发共享库。多年以来,链接都被认为是相当简单和无趣的。然而,随着共享库和动态连接在现代操作系统中日益加强的重要性,连接成为了一个复杂的过程,它为知识丰富的程序员提供了强大的能力。比如,许多软件产品使用共享库在运行时来升级压缩包装(shrink-wrapped)二进制程序。还有,大多数Web服务器都依赖于共享库的动态链接来提供动态内容。