尧图网络 高端网站定制 · 原创设计
免费咨询热线
400-888-6620
免费获取方案
静态链接库与动态链接库 详解
前言在软件开发中库Library是预先编译好的可重用代码集合开发者可以将其直接集成到自己的程序中从而避免从零开始编写所有功能。据链接方式的不同库主要分为静态库和动态库两大类。理解它们的原理和区别对于开发高效、可维护的软件至关重要目录一、静态库二、动态库三、库的链接过程3.1 静态链接过程3.2 动态链接过程四、适用场景一、静态库概念静态库是指在程序编译链接阶段将库代码直接嵌入到最终生成的可执行文件中的一种库形式。其扩展名在Windows平台通常为.lib在Linux平台为.a。静态库可以看作是一组目标文件.o或.obj的打包集合。链接时机静态链接发生在编译阶段程序生成可执行文件之前。这意味着程序在运行时不再依赖原始的静态库文件因为所需代码已经被完整地复制到了可执行文件中。优点部署简单无需担心依赖库的缺失启动快程序启动时无需额外加载外部库避免了动态加载可能带来的延迟。缺点文件体积大可执行文件包含了库的完整副本若多个程序静态链接相同的库容易造成代码冗余与资源浪费更新维护困难当库需要更新如 修复漏洞或升级功能时必须重新编译并发布所有使用该静态库的可执行文件。二、动态库概念动态库也叫共享库是指在程序运行时才被加载和链接的库。其扩展名在Windows平台为.dll在Linux平台为.so。与静态库不同动态库在编译链接阶段不会将库代码复制到可执行文件中而是只记录库的引用信息如库文件名和函数符号。链接时机动态链接推迟到程序运行阶段进行。当程序启动或运行过程中需要调用库函数时操作系统会负责加载对应的动态库文件并将其映射到进程的地址空间。多个进程可以共享内存中同一动态库的副本从而实现代码共享。优点节省存储资源多个程序可以共享同一份动态库便于更新维护当库需要更新时只需替换旧的动态库文件即可所有使用该库的程序无需重新编译。缺点存在依赖性风险如果目标环境缺少所需的库文件或版本不兼容程序将无法正常运行启动稍慢程序启动时需要加载动态库并解析函数地址这在一定程度上会略微增加启动时间。三、库的链接过程3.1 静态链接过程静态链接的核心任务是将多个目标文件和库文件合并为可执行文件主要步骤包括符号收集、符号解析和重定位。1) 符号收集链接器首先扫描项目自身编译出来的所有.o文件构建一个未解析符号表比如发现代码里调用了void func1()但当前.o里没有它的实现2) 符号解析链接器打开静态库.a文件。注意它不会把整个静态库塞进你的程序。它会去静态库的索引里查找只有当某个.o文件正好提供了未解析的符号时才会把那个.o文件提取出来。3) 合并与重定位将提取出的.o文件与你自己的.o文件合并分配虚拟内存地址把所有的函数调用地址修正为绝对地址。最终输出一个完整的可执行文件程序运行时完全不需要静态库的存在因为它已经被内化了。3.2 动态链接过程动态链接过程相对较复杂分为两个阶段链接时与加载运行时。阶段一链接时在这个阶段链接器不会拷贝动态库的代码也不会分配最终地址。它只做标记和打桩。符号验证链接器检查动态库的导出符号表确认你调用的函数如void bar()在这个.so里确实存在。如果不存在直接报错拦截。记录依赖在你的可执行文件的头部的.dynamic段里写下一行类似的记录本程序运行时需要加载xxx.so。生成 PLT 桩代码链接器不会让你的代码直接call bar而是生成一小段跳板代码叫PLT过程链接表。你的代码实际上是call PLT[bar]。阶段二加载运行时当你双击运行程序时真正的魔法才刚刚开始。这个工作由操作系统的动态链接器Linux 的ld-linux.so或是Windows 的ntdll.dll完成。加载映射操作系统读取可执行文件头发现依赖xxx.so于是把该动态库从硬盘加载到进程的虚拟地址空间中。由于动态库可能被多个进程共享操作系统通常会把它映射到一段随机的地址。填充 GOT全局偏移表动态链接器知道xxx.so被加载到了哪个具体地址它把这个真实地址填入一个叫GOT全局偏移表的数组中。延迟绑定核心技术为了加快程序的启动速度现代操作系统默认使用“延迟绑定”即将符号解析推迟到首次调用时而非程序启动时全部解析。┌─────────────────────────────────────────────────────────┐ 延迟绑定 vs 立即绑定 ├─────────────────────────────────────────────────────────┤ 延迟绑定默认 启动时GOT/PLT初始化为桩代码 → 程序立即执行 首次调用陷入动态链接器 → 解析符号 → 填充GOT → 后续直接跳转 代价首次调用稍慢后续与直接调用无异 立即绑定 启动时解析所有符号 → 填充所有GOT → 程序开始执行 代价启动慢内存占用多即使未使用的函数也解析四、适用场景在项目开发中选择静态库还是动态库需要综合考虑各种因素1) 适合静态库的场景独立部署目标运行环境未知或不可控需要确保程序能在没有额外依赖的系统上运行例如嵌入式设备、系统恢复工具等。性能敏感对程序启动速度或运行性能有极高要求希望避免运行时加载库带来的开销。避免兼容性问题希望程序行为不受系统中库版本变化影响确保程序长期稳定运行。2) 适合动态库的场景资源受限在内存或磁盘空间有限的环境中动态库允许多个程序共享同一份代码减少资源占用。频繁更新软件需要经常更新或补丁动态库可以独立于主程序进行更新无需重新编译和部署整个应用程序。模块化架构大型软件采用模块化设计各功能模块以动态库形式提供可以独立开发、测试和部署提高开发效率和系统灵活性。许可证要求某些第三方库的许可证要求以动态链接方式使用此时必须遵循动态链接方式。
RELATED

相关推荐

使用 create-twenty-app 脚手架创建 Twenty 应用:从项目生成、OAuth 认证到首次同步的完整指南

使用 create-twenty-app 脚手架创建 Twenty 应用:从项目生成、OAuth 认证到首次同步的完整指南

使用 create-twenty-app 脚手架创建 Twenty 应用:从项目生成、OAuth 认证到首次同步的完整指南 【免费下载链接】twenty The open alternative to Salesforce, designed for AI. 项目地址: https://gitcode.com/GitHub_Trending/tw/twenty 导读 Twenty 应用…

📅 2026/9/8 20:23:35
tiny11builder 精简 Windows 11 镜像构建:4 步从环境到 tiny11.iso

tiny11builder 精简 Windows 11 镜像构建:4 步从环境到 tiny11.iso

tiny11builder 精简 Windows 11 镜像构建:4 步从环境到 tiny11.iso 【免费下载链接】tiny11builder Scripts to build a trimmed-down Windows 11 image. 项目地址: https://gitcode.com/GitHub_Trending/ti/tiny11builder 想要一台干净的 Windows 11&#x…

📅 2026/9/8 20:23:35
Pathway 自定义 Python Connector 实战:用 `ConnectorSubject` 把 Twitter 等任意流式数据接入实时数据管道

Pathway 自定义 Python Connector 实战:用 `ConnectorSubject` 把 Twitter 等任意流式数据接入实时数据管道

Pathway 自定义 Python Connector 实战:用 ConnectorSubject 把 Twitter 等任意流式数据接入实时数据管道 【免费下载链接】pathway Python ETL framework for stream processing, real-time analytics, LLM pipelines, and RAG. 项目地址: https://gitcode.com/G…

📅 2026/9/8 20:23:35
MORE NEWS

更多资讯

📰

Agent Zero 模型配置指南:从 API 密钥到端点 URL,10 分钟让 AI 代理开工

Agent Zero 模型配置指南:从 API 密钥到端点 URL,10 分钟让 AI 代理开工 【免费下载链接】agent-zero Agent Zero AI framework 项目地址: https://gitcode.com/GitHub_Trending/ag/agent-zero 第一次装完 Agent Zero,最卡人的往往不是…

📰

AI Skill是什么?从提示词到Agent工作流的核心机制详解

最近几个月,AI圈子里最热的一个词,大概就是 Skill 了。身边不少朋友在用带 Agent 能力的编码工具(Claude Code、Codex 这类)时,都会问我同一个问题:网上那些人嘴里说的 skill,到底是个什么东西&…

📰

微电网群共享储能配置优化:基于粒子群算法的Matlab仿真实践

简介:面向微电网与新能源消纳研究者的Matlab完整实现,聚焦共享储能在微电网群中的优化配置与经济消纳问题。程序基于双层规划框架,通过KKT条件转化并调用Cplex求解,围绕是否考虑经济消纳构建了多种对比场景,可系统评估…

📰

AI模型部署全攻略:从本地裸机到边缘端四种主流方式

做过模型训练的朋友都有体会:训练流程再复杂,跑通脚本、看着loss降下来那一刻心里是有底的。真正让人心里没底的,往往是模型训完之后那个环节——AI模型部署。模型文件躺在硬盘里,它只是一堆权重,离“能用”还差了十万…

📰

从Oracle EBS到华为MetaERP:核算单元与多维组织架构解析

1. 为什么说华为MetaERP和EBS一脉相承这些年企业级ERP圈子最热闹的事,莫过于华为MetaERP的浮出水面。很多人第一次听到“MetaERP”这个名字,第一反应是“华为又要搞自主可控的大动作”,但真正干过Oracle EBS实施的人,看到华为披露…

📰

3步搞定RPCS3自动更新,让PS3模拟器每次开机都是最新

3步搞定RPCS3自动更新,让PS3模拟器每次开机都是最新 【免费下载链接】rpcs3 PlayStation 3 emulator and debugger 项目地址: https://gitcode.com/GitHub_Trending/rp/rpcs3 是不是每次看到RPCS3发新版本,都得自己找下载、解压、覆盖&#xff0c…

TODAY

今日更新

THIS WEEK

本周精选

THIS MONTH

本月热门

读完文章,想聊聊您的网站?

告诉我们您的行业与需求,资深顾问一对一梳理方案与报价,全程免费。

📞 💬