函式庫

本條目存在以下問題，請協助改善本條目或在討論頁針對議題發表看法。 此條目格式需要修正以符合格式手册。 (2020年6月13日) 请协助補充相关的内部链接，并使用百科全书的语气来改善这篇条目。 此條目没有列出任何参考或来源。 (2015年8月9日) 維基百科所有的內容都應該可供查證。请协助補充可靠来源以改善这篇条目。无法查证的內容可能會因為異議提出而被移除。 此條目需要精通或熟悉计算机科学的编者参与及协助编辑。 (2024年1月11日) 請邀請適合的人士改善本条目。更多的細節與詳情請參见討論頁。 另見其他需要计算机科学專家關注的頁面。

函式库（英語：library）是在计算机科学中用于开发软件的子程序集合。库和可执行文件的区别是：它不是独立的计算机程序，而是向其他程式提供服务的程式碼。

库链接（英語：linking）是指把一个或多个库包括到程序中，有两种链接形式：静态链接和动态链接；相应的，前者链接的库叫做静态库，后者的叫做动态库。

静态链接是由链接器在链接时将库的内容加入到可执行程序中的做法。链接器是一个独立程序，将一个或多个库或目标文件（先前由编译器或汇编器生成）链接到一块，以生成可执行程序。

静态链接的最大缺点是生成的可执行文件較大，需要更多的系统资源，在載入到記憶體时也会消耗更多的时间。优点是代码执行效率高。

共享庫或共享對象是旨在被執行檔和其他共享對象文件（英语：Object file）共享的文件。程式使用的模組在裝載時或運行時從各個共享對象加載到記憶體中，而不是在為程式建立單一整體可執行檔時由連結器複製。

共享庫可以在編譯時靜態連結，這意味著在創建可執行檔時解析對庫模組的引用，並為模組分配記憶體。但通常會推遲到共享庫被裝載時才進行連結。

动态链接是在可执行文件装载时或运行时，由操作系统的装载程序加载库。大多数操作系统将解析外部引用（比如库）作为加载过程的一部分。在这些系统上，可执行文件包含一个叫做匯入目錄（import directory）的表，该表的每一项包含一个库的名字。根据表中记录的名字，装载程序在硬盘上搜索需要的库，然后将其加载到内存中预先不确定的位置，之后根据加载库后确定的库的地址更新可执行程序。可执行程序根据更新后的库信息调用库中的函数或引用库中的数据。这种类型的动态加载称为装载（load-time）时加载，被包括Windows和Linux的大多数系统采用。装载程序在加载应用软件时要完成的最复杂的工作之一就是加载时链接。

其他操作系统可能在运行时解析引用。在这些系统上，可执行程序调用操作系统API将库的名字、函数在库中的编号和函数参数一同传递。操作系统负责立即解析然后代表应用调用合适的函数。这种动态链接叫做运行时链接。因为每个调用都会有系统开销，运行时链接要慢得多，对应用的性能有负面影响。现代操作系统已经很少使用运行时链接。

可以动态链接的函式庫，在Windows上是Dynamic Link Library（DLL），在UNIX或Linux上是Shared Library。库文件是预先编译链接好的可执行文件，存储在计算机的硬盘上。大多数情况下，同一时间多个应用可以使用一个库的同一份拷贝，操作系统不需要加载这个库的多个实例。