C/C++ 运行时库概念详解

• 平台相关：C 运行时库把各系统 API 封装成统一接口。例如：
  • 内存：Linux 提供 brk、mmap 等，Windows 提供 HeapAlloc、VirtualAlloc 等；C 库封装成统一的 malloc、free（内部常做内存池，小块从池分配，大块调系统 API）。
  • 文件：fopen、fread、fwrite 等缓冲式 FILE 操作，在 Linux 下封装 open、read、write，在 Windows 下封装 CreateFile、ReadFile、WriteFile。
• 平台无关：字符串、数学等函数与平台关系不大，由 C 库直接实现。
• 程序入口：在统一的 main 前后插入逻辑：main 之前初始化全局变量、环境变量、命令行参数等；main 之后做清理。

因此，C 语言被称为'可移植语言'的重要原因之一，就是运行时库帮我们屏蔽了操作系统差异，无需为每个平台写不同的系统调用代码。

四、C++ 运行时库做什么

C++ 在 C 的基础上增加了语言特性（类、多态、new/delete、异常、RTTI）和标准库（string、vector、流、智能指针、线程等）。C++ 运行时库在 C 运行时库之上，为这两部分提供支持。

这些实现由编译器厂商打包成静态库（.a/.lib）或动态库（.so/.dll），编译链接时自动链接进程序。

五、标准与实现、静态库与动态库

5.1 标准与实现

C 和 C++ 各有一种标准（由标准委员会制定，有多个版本），但有多种实现（由各编译器厂商完成）。

• C 标准：C89/C90、C99、C11 等。
• C++ 标准：C++98/03、C++11、C++14、C++17、C++20 等。

标准只定义语法、语义以及头文件与库函数声明，不负责实现。实现由 GCC（GNU）、MSVC、LLVM/Clang 等厂商完成，包括语法实现与运行时库（标准库）实现。

5.2 静态库与动态库

与自行开发的库一样，C/C++ 运行时库也分为静态库和动态库：

各平台库文件格式（简要）：

六、各平台实现

不同平台、不同编译器对应不同的 C/C++ 运行时库实现，通常以静态库或动态库形式存在。

6.1 总览表

6.2 Linux（GNU）

• C 运行时库：glibc（GNU C Library），动态库常见为 libc.so。
• C++ 运行时库：libstdc++（GCC 配套），动态库常见为 libstdc++.so。
• 最简 C 程序默认会依赖 libc.so 等；最简 C++ 程序还会依赖 libstdc++.so、libm.so、libgcc_s.so 等。
• 静态链接：gcc -static 会静态链接 libc（且通常全静态）；C++ 可用 -static-libstdc++ 仅静态链接 libstdc++。

6.3 Windows（MSVC）

• C 运行时库：早期为 msvcrt.dll；VS2015 起拆分为 UCRT（如 ucrtbase.dll）与编译器相关库。
• C++ 运行时库：早期如 msvcp6.dll、msvcrXX.dll/msvcpXX.dll；VS2015 起常见 vcruntime140.dll、msvcp140.dll 等。
• 链接选项：
  • /MT、/MTd：多线程静态链接（调试版用 /MTd）。
  • /MD、/MDd：多线程动态链接（调试版用 /MDd）。
• 动态链接时，目标机器需安装对应版本的 VC++ 可再发行组件（如 vcredist_x86.exe），否则可能报缺 msvcp140.dll 等而无法运行。

6.4 Apple（macOS / iOS）

• C 运行时库：libSystem.dylib（也包含部分系统库功能）。
• C++ 运行时库：libc++（LLVM），如 libc++.dylib、libc++.a。
• 使用 Xcode 内置的 Clang，一般不提供静态链接 CRT 的选项。

6.5 Android（NDK）

• C 运行时库：Bionic libc（Google 为 Android 定制的轻量 C 库），如 libc.so、libc.a。
• C++ 运行时库：NDK r18 起仅支持 libc++；动态库常为 libc++_shared.so，静态库为 libc++_static.a。可在工程中选择链接动态或静态版本。

6.6 LLVM / 其他

• C++：libc++（LLVM 的 C++ 标准库），跨平台（Linux、Windows、macOS、iOS、Android 等）。
• C：LLVM 有 C 库实现，但相对不如 glibc 等成熟。

七、开发注意事项

7.1 统一链接方式（Windows）

在 Windows 上，同一进程内所有模块（EXE、DLL、静态库）的运行时库链接方式应一致：

• 要么全部静态链接（/MT 或 /MTd），要么全部动态链接（/MD 或 /MDd）。
• 避免混用（部分 /MT、部分 /MD），否则易出现多实例、堆不兼容等问题，导致难以排查的崩溃或内存错误。

7.2 避免跨模块内存管理

不要在一个模块（如 DLL A）里用 malloc 分配内存，在另一个模块（如 EXE 或 DLL B）里用 free 释放。不同模块可能使用不同的堆或运行时库实例，跨模块释放可能导致未定义行为或崩溃。

原则：谁分配谁释放；或使用明确支持跨模块释放的分配器/接口。

7.3 正确部署动态库（Windows）

若程序动态链接 CRT（/MD 或 /MDd），部署时需确保目标机器已安装对应版本的 Visual C++ 可再发行组件（如 vcredist），否则会因缺少 msvcp140.dll、vcruntime140.dll 等而运行失败。

八、多实例与多版本问题

8.1 多实例问题

现象：同一进程内存在多份运行时库实例（例如主程序与某 DLL 各自静态链接了 CRT），各自维护自己的堆。在一个模块里 malloc 得到的内存，在另一个模块里 free，可能崩溃。

原则：谁分配谁释放；尽量整个进程只使用一份运行时库（统一动态或统一静态）。

若主要做 Windows 或 Android，或跨平台包含这两者，需要特别注意运行时库的链接方式与跨模块内存使用。

8.2 多版本问题

运行时库会随编译器升级而有多个版本，带来两类不一致：

1. 编译时用的库 与 运行时用的库 版本不一致。
2. 同一应用的不同模块 用不同版本的编译器/运行时库编译。

可能表现为：链接时报符号冲突或找不到、启动时动态加载器报缺符号、或运行中出现难以复现的异常。

应对思路：

多实例

统一链接方式

谁分配谁释放

多版本

编译/运行环境一致

静态链接或指定库路径

小结与速查

要点归纳

术语速查

延伸阅读

• 各平台官方文档：GNU glibc、LLVM libc++、Microsoft CRT、Android NDK 中 C++ 库支持说明。
• Windows：VC++ 可再发行组件包、/MT 与 /MD 对符号与依赖的影响。
• Linux：ldd、readelf 查看依赖；rpath、LD_LIBRARY_PATH 与 ldconfig。