极客教程

Appearance

共 1,082 字预计阅读约 4 分钟

C++ ABI 与 name mangling ​

更新时间：2026-08-27。本文是 languages/cpp/ 主题专家层第 4 篇。上一篇讲对象布局，这一篇讲 C++ 程序在"二进制接口"层面的秘密——链接器看到的符号名，为什么不是你在源码里写的名字？ int max(int, int) 到了符号表里变成了 _Z3maxii，这就是 name mangling（名字修饰）。理解它，你才能看懂 nm 输出、解释链接错误、明白 extern "C" 到底在干什么。

本文要回答的问题 ​

  • ABI 是什么？和 API 有什么区别？
  • name mangling 为什么存在？C++ 函数名怎么变成 _Z...？
  • extern "C" 到底做了什么？为什么 C++ 调 C 库要它？
  • 什么时候 ABI 会不兼容？为什么升级编译器要小心？

ABI：二进制级别的"接口约定" ​

对比项API（应用编程接口）ABI（应用二进制接口）
层面源码二进制（编译后）
内容函数声明、类定义函数签名、数据布局、调用约定
破坏后编译错误链接错误 / 运行崩溃
例子<vector> 头文件vtable 布局、name mangling 规则

API 是"头文件怎么声明"，ABI 是"二进制怎么排布"。 换编译器、换编译选项、换版本，可能 API 不变但 ABI 变了——旧的 .o/.so 与新的不兼容。

name mangling：为什么函数名变怪 ​

C++ 支持函数重载：同名函数，参数不同。链接器只认符号名（flat name），不认"参数类型"——所以编译器必须把"函数名 + 参数类型"编码进符号名，这就是名字修饰。

cpp
int max(int a, int b) { return a > b ? a : b; }
double max(double a, double b) { return a > b ? a : b; }

编译后（Itanium ABI，Linux/GCC 标准）：

$ nm test.o
0000000000000000 T _Z3maxii        # int max(int, int)
0000000000000020 T _Z3maxdd        # double max(double, double)

解码 _Z3maxii：

片段含义
_Z修饰前缀（Itanium ABI）
3名字长度
max函数名
iint 参数
iint 参数

规则：_Z + 名字长度 + 名字 + 参数类型缩写（i=int, d=double, v=void, N...=namespace, E=结束）。 这样 max(int,int) 和 max(double,double) 就是两个完全不同的符号，链接器能区分重载。

extern "C"：关掉名字修饰 ​

cpp
// C++ 里声明 C 函数
extern "C" int strlen(const char *s);

extern "C" 告诉编译器：这个符号按 C 规则处理，不做名字修饰。于是 C++ 里调 strlen，链接器找的符号名就是 strlen，而不是 _Z6strlenPKc。

为什么需要它？

cpp
// C 库（stdio.h 等）编译出的库，符号名都是 C 风格
// C++ 里想用，必须声明 extern "C"，否则按 C++ 规则找符号 → 链接错误

#include <cstring>   // 标准头文件内部已经做了 extern "C"
C++ ABI 与 name mangling 示意图

C++ 标准头文件（<cstring>、<cstdio>）内部已用 extern "C" 包裹，所以直接用没问题；自己调第三方 C 库时，才需要手动包 extern "C"。

反修饰工具：c++filt 与 nm ​

看符号表时，把修饰名还原成可读名：

bash
nm test.o | c++filt    # 解码所有 C++ 符号
c++filt _Z3maxii       # 输出 int max(int, int)
cpp
// 输出示例
nm test.o | c++filt
0000000000000000 T int max(int, int)
0000000000000020 T double max(double, double)

调试链接错误时，undefined reference to '_Z3maxii' 用 c++filt 还原，就能看出"声明了 max(int,int) 但库没导出"还是"参数类型不匹配"。

ABI 兼容性的关键点 ​

因素变化会不会破坏 ABI
新增成员函数通常不破坏（符号新增）
修改类布局（加/删成员）破坏（对象大小/偏移变化）
新增虚函数破坏（vtable 布局变化）
改变函数签名破坏（符号名变化）
升级编译器/换编译器可能破坏（mangling 规则、布局算法）
改编译选项（如 -fabi-version）可能破坏
cpp
// 头文件改了，但没重新编译所有 .o/.cpp
class Widget {
    int x;
    // int y;   // 加了这个成员 → ABI 破坏！
};
// 旧 .o 假设 sizeof(Widget)=4，新 .o 假设 =8 → 二进制不匹配

工程经验：发布库（.so/.dll）时，API 兼容 ≠ ABI 兼容。 加成员、加虚函数都是 ABI 破坏——所以很多库用"不透明指针（pimpl）"隔离实现，就是为了 ABI 稳定。

与本站性能主线衔接 ​

  • 符号与二进制：name mangling 是符号表的一部分，衔接 L5 ELF 与符号。
  • 调试工具：nm/c++filt 查看符号，objdump -t 查看导出表，见 ELF 工具链。
  • 动态库：ABI 兼容性决定 .so 升级策略，衔接 动态链接。
  • 对象布局：vtable 布局是 ABI 的一部分，见 虚表与多态。

一句话总结 ​

name mangling 把 C++ 重载编码进符号名（max(int,int) → _Z3maxii），extern "C" 关闭修饰以实现 C/C++ 互操作；ABI 是二进制级接口约定，改类布局/虚函数/签名都会破坏它——发布库要稳定 ABI，用 nm | c++filt 解码符号排查链接问题。

上一篇：EBO 与空基类优化　下一篇：移动语义的汇编视角