为什么写这篇
用 MSVC 写 C++ 项目的人都遇到过这条规矩：同一个解决方案里的所有库，编译参数必须一致——编译器版本要一致，/MT、/MD 要一致，Debug、Release 不能混。我一直知道”必须这么做”，但直到最近整理项目配置时才认真想了一个问题：为什么？有人提到这跟 ABI 有关，于是我把这条线索从头理了一遍，写成这篇笔记。
先说结论：
- “编译器版本一致”本质是 ABI 版本一致；
- “/MT 与 /MD、Debug 与 Release 一致”本质是 CRT 实例和对象内存布局一致。
两条都是为了同一个目标：让所有模块对”内存里一个对象长什么样、函数怎么调、资源归谁管”达成二进制层面的共识。
/MT 与 /MD 的本质区别：CRT 代码进不进你的模块
C 运行时（CRT）是每个模块都绕不开的基础设施：堆、malloc/free、printf、fopen、异常处理，全都住在里面。/MT 和 /MD 的区别，就是这套基础设施以什么方式进入你的模块。
- /MT：链接
libcmt.lib，CRT 代码静态编进每个模块。每个 exe/dll 都自己带一份完整的 CRT，是一个”独立小王国”。 - /MD：链接
msvcrt.lib导入库，运行时改用系统的 CRT DLL——msvcp140.dll（C++ STL）、vcruntime140.dll（异常处理/类型信息）、ucrtbase.dll（C 标准库，malloc/printf/fopen 都在这）。全进程共享一份 CRT，像大家共用一套基础设施的”共和国”。
全局状态：一份还是多份
CRT 里有一堆全局状态：堆（heap）、errno、FILE* 表和标准流缓冲区、locale、静态/全局对象（含 atexit 链）。
- /MT：每个模块各有一份，互不可见。
- /MD：全进程一份，天然一致。
这个区别平时看不见，一旦有资源跨模块传递所有权，立刻出事。
混用的死法：跨堆释放
最经典的崩溃场景：/MT 的 A.dll malloc 一块内存，指针传给同样是 /MT 的 B.dll 去 free。
B 的 CRT 按自己堆的块头格式去解析这块内存，但那块内存根本不在 B 的堆里——堆元数据被写坏。最坑的是，崩溃往往不发生在 free 现场，而是后面某次完全无关的堆操作上，调用栈看起来跟真正的凶手毫无关系，排查极其痛苦。
FILE*、locale、静态对象同理。一句话：/MT 是每个模块自立山头的独立小王国，/MD 是大家共用一套基础设施的共和国。山头多了，跨边界递东西必然出事。
体积、部署与更新
| 维度 | /MT | /MD |
|---|---|---|
| 产物体积 | 胖（每个模块带一份 CRT） | 小 |
| 外部依赖 | 零，单文件分发即可 | 目标机需有 CRT DLL（装 VC++ Redistributable 或随包携带） |
| CRT 安全更新 | 死绑在编译时版本，要更新得重新编译发布 | 随系统更新自动受益 |
选择规则：
- 单个 exe、想免依赖分发 → /MT 可行。
- 解决方案里有多个 dll/exe → 必须统一 /MD。
- 有资源跨模块传递所有权 → 只能 /MD。
- 用第三方静态库 → 对齐它编译时用的选项。
Debug 与 Release 为什么不能混
/MTd、/MDd 这些调试版同理不能混，原因更直接：调试版 CRT 开启迭代器调试（_ITERATOR_DEBUG_LEVEL=2），std::vector 等对象内部会多带调试指针，内存布局不一样。Debug 模块造的 vector 传给 Release 模块用，等于按错误的结构体去解释一块内存。
MSVC 用 #pragma detect_mismatch 在链接期强制拦截这类混用，报 LNK2038 错——这是”链接器替你检查参数一致性”的机制，属于幸运情况。不幸的是那些链接器查不出来的不一致，留到运行期玄学崩溃。
ABI：更根本的原因
ABI（Application Binary Interface）是二进制层面模块间如何对话的约定。C 有事实上的稳定 ABI，所以纯 C 库换编译器也能链接；C++ 没有标准化 ABI，以下层面都随编译器厂商、版本、编译选项变化：
| 层面 | 不一致的后果 |
|---|---|
| 名字修饰（name mangling） | 同一函数在不同编译器/版本下修饰名不同，链接直接找不到符号 |
| 类/对象内存布局 | 成员偏移不同，跨模块访问读到错误地址 |
| STL 实现 | std::string 等对象的内部布局随版本变化，传值即内存损坏 |
| 异常处理模型 | 异常跨 DLL 边界抛出时展开表/类型信息对不上，terminate |
| 虚表布局 | 跨模块继承、多态调用时虚函数槽位解释不一致 |
| 调用约定、RVO 细节 | 栈/寄存器用法不一致，栈破坏 |
所以”编译器版本一致”的要求不是矫情，是 ABI 版本一致。任一条件不满足，要么链接报错（LNK2038 这种幸运情况），要么运行期崩溃（不幸情况）。
实践推论
- 跨 DLL 边界尽量用 C 风格接口或 COM 这类有稳定 ABI 的机制。
- 必须在 DLL 间传递 STL 对象时，把”编译器版本 + 全部 CRT/STL 相关开关”锁死成团队规范。
写在最后
这条规矩我之前一直当成”经验之谈”来遵守，这次把它拆到 CRT 实例、对象布局、ABI 三层之后才看清：它不是经验，是二进制层面的硬约束。理解了 /MT 的”独立小王国”模型，跨模块崩溃那类玄学问题也就有了解释框架——先看指针跨越了几个 CRT 堆。