C++需要名字修饰以解决函数重载、类作用域、命名空间和模板实例化导致的符号唯一性问题；编译器将语义信息编码进符号名，确保链接器能准确区分同名但语义不同的实体。
名字修饰（Name Mangling）是C++编译器为解决函数重载、类作用域、模板实例化等语言特性带来的符号唯一性问题，而对源码中标识符进行编码生成唯一内部符号名的过程。它不是标准强制要求，但所有主流编译器（如GCC、Clang、MSVC）都实现自己的修饰规则，目的是让链接器能准确区分语义不同但源码名相同的函数或变量。
为什么C++需要名字修饰？
C语言只支持全局作用域和静态作用域，函数名直接映射为符号表中的字符串（如printf），链接器靠名字就能匹配。但C++有：
- 同名函数重载（void foo(int) 和 void foo(double)）
- 类成员函数（A::bar() 和 B::bar()）
- 命名空间嵌套（ns1::ns2::func()）
- 模板实例（std::vector
和 std::vector ）
这些在源码中可能共用同一标识符，但语义完全不同。若不修饰，目标文件的符号表里就会出现大量重复名字，链接器无法分辨——名字修饰就是把“语义信息”编码进符号名中。
名字修饰长什么样？以GCC为例
假设写了一个简单函数：
立即学习“C++免费学习笔记（深入）”；
namespace ns {
class A {
public:
void func(int x);
};
}
GCC（Itanium ABI）会把它修饰成类似：
_ZN2ns1A4funcEi
拆解含义：
- _Z：C++修饰符号前缀（表示mangled name）
- N：nested name 开始
- 2ns：命名空间ns，2是名字长度
- 1A：类名A，1是长度
- 4func：成员函数func，4是长度
- E：参数列表开始
- i：int类型（i是Itanium ABI中int的代号）
整个过程完全由编译器自动完成，开发者通常无需手写；但调试时（如gdb反汇编、nm查符号）、写汇编内联、或跨语言调用（如C++函数被C调用）时，必须理解它。
如何查看和处理修饰名？
常用工具和方法：
- nm -C xxx.o：显示目标文件符号，并用-C（demangle）选项自动还原为人可读名
- c++filt _ZN2ns1A4funcEi：手动解码修饰名
- extern "C"：显式禁用修饰，用于导出C风格接口（如extern "C" void helper();），此时符号名就是helper，无前缀无参数编码
- 模板隐式实例化时，修饰名包含完整类型信息，例如std::vector<:string>::size()会生成极长的修饰名，体现嵌套模板类型
名字修饰与链接失败的关系
很多链接错误（如undefined reference to 'A::func(double)'）表面是函数没定义，实际常因修饰不一致导致：
- 声明和定义参数类型不一致（float vs double），修饰名不同，链接器视为两个函数
- 头文件未包含完整定义（尤其模板），导致某处用了未实例化的函数，修饰名存在但对应符号未生成
- 混合使用不同ABI（如GCC和Intel ICC默认ABI不同），修饰规则不兼容，符号无法匹配
- 忘记extern "C"导致C代码尝试链接C++修饰名，找不到符号
遇到链接错误，第一步就是用nm或objdump -t确认目标文件里到底有没有你期望的修饰名，再比对声明与定义是否完全一致。
基本上就这些。名字修饰是C++二进制接口（ABI）的基石，看不见却无处不在——它让高级语言特性能在底层符号系统中落地，也成了调试和跨模块协作时绕不开的一关。
