C++函数重载合法存在需满足参数类型、数量或const限定符不同，返回值不能用于区分；编译器通过name mangling编码参数信息生成唯一符号，实现重载解析与链接。
函数重载在 C++ 里怎么“合法”存在
C++ 允许同名函数共存，前提是参数类型、数量或 const 限定符不同——编译器靠这个区分调用目标。它不是语法糖，是语言层强制要求：void foo(int) 和 void foo(double) 必须被视为两个独立函数，不能仅靠返回值区分（int foo() 和 double foo() 是非法重载）。
常见错误现象：error: 'func' declared as a function returning a function 或链接时报 undefined reference to 'func'，往往是因为头文件没包含、声明与定义参数不一致，或误用返回值重载。
- 重载解析发生在编译期，不涉及虚函数表或运行时多态
- const 成员函数和非 const 成员函数可构成重载（
void get() constvsvoid get()），因为隐式this参数类型不同（const T*vsT*） - 默认参数不参与重载决策，只影响调用时的实参匹配；多个重载都匹配且无更优者，会报
error: call of overloaded 'f(...)' is ambiguous
为什么链接器看不到 foo(int) 和 foo(double) 这种名字
因为 C++ 编译器把它们改名了——这就是 name mangling。C 目标文件里函数名基本是原样（如 _foo），而 C++ 必须编码参数类型信息进符号名，否则链接器无法区分重载版本。
例如，void print(int) 在 GCC 下可能变成 _Z5printi，其中 Z 表示 mangled name 开头，5print 是函数名长度+名字，i 是 int 的编码；void print(double) 则可能是 _Z5printd（d 代表 double）。MSVC 下规则完全不同（比如 ?print@@YAXH@Z），且不公开保证稳定。
立即学习“C++免费学习笔记（深入）”；
- name mangling 是编译器私有行为，标准未规定格式，GCC/Clang/MSVC 各自实现，互不兼容
-
extern "C"可禁用 mangling，让函数按 C 方式导出符号（常用于对接 C 库或避免跨编译器链接失败） - 用
nm（Linux/macOS）或dumpbin /symbols（Windows）能查看实际符号名；c++filt可反解 GCC/Clang 的 mangled 名
name mangling 怎么影响模板和内联函数
模板实例化和内联函数也会被 mangling，但逻辑更复杂：每个实例化都是独立函数，需唯一符号；内联函数虽可能不生成独立代码，但仍需可寻址符号（比如取地址或跨 TU ODR 使用）。
典型问题：inline void log(const char*) 在多个 .cpp 里定义，链接时不报错，因为编译器为每个 TU 生成独立 mangled 符号，并由链接器按“弱符号”规则合并；但若手动写了 extern inline 却忘了在某处提供外部定义，就会链接失败。
- 类内定义的成员函数默认 inline，其 mangling 包含类名、命名空间、模板参数等完整路径（如
_Z3barIiEvv中的IiE表示模板参数int） - lambda 表达式生成的闭包类型也有 mangling 名，捕获变量会影响类型签名，进而改变函数对象 operator() 的符号名
- 调试时看到一堆带长串编码的符号，基本就是 mangling 结果；GDB 中用
info functions能列出所有 mangled 名，set print demangle on可自动展开
跨编译器或动态库场景下最该警惕什么
只要涉及二进制接口（ABI），mangling 就是雷区。GCC 和 Clang 默认 ABI 兼容，但升级大版本可能变更 mangling 规则（如 GCC 5 引入新的 ABI，std::string 内存布局变化导致符号不兼容）；MSVC 完全不兼容 GCC/Clang 的 mangling，也无法直接加载对方生成的 .so/.dll。
- 写供外部调用的 C++ 动态库时，必须用
extern "C"导出稳定接口，否则换编译器或标准库版本就崩 - 静态库 (.a/.lib) 不暴露符号给最终链接器，看似安全，但若静态库内部调用了某个 mangled 函数，而主程序又定义了同名重载，可能引发 ODR 违规（One Definition Rule）
- 使用
-fno-rtti或-fno-exceptions会轻微影响 mangling（比如异常规范编码被省略），但 ABI 兼容性主要取决于编译器厂商和标准库实现，而非这些开关
真正难调试的是：符号看起来对得上，但运行时跳转到错误重载版本——这通常意味着头文件版本不一致，或模板实例化点分散导致不同 TU 看到不同的重载集。这时候得查预处理后的 .ii 文件，确认每个调用点实际绑定的是哪个声明。
