程序库（Library）是一组 为了发布方便、替换方便或二次开发目的而发布的二进制可重定位目标码文件。这些文件可以在编译时由编译器直接链接到可执行程序中，也可以在运行时由操作系统的运行时环境根据需要动态加载到内存中。
具体来说，程序库中的文件可以是函数、类、接口等的集合，这些程序模块可以被其他程序调用和复用。通过使用程序库，程序员可以避免重复编写相同的代码，从而提高开发效率、减少出错可能性，并且使得代码更易于维护和更新。
程序库可以分为静态库和动态库：
静态库：
在编译时由编译器链接到主程序中，因此最终的可执行程序包含了库文件中的所有代码和数据。静态库通常后缀为`.a`（Linux）或`.lib`（Windows）。
动态库：
在程序运行时，由操作系统动态加载到内存中，并且需要地址重定向。动态库有助于节省系统资源，因为多个程序可以共享同一个库文件。动态库通常后缀为`.dll`（Windows）或`.so`（Linux）。
总之，程序库是软件开发中不可或缺的一部分，它们提供了一种有效的方式来复用和管理代码，从而提高开发效率和程序的可维护性。