什么是ODR？编译器报 multiple definition of ... 就是它在发脾气
ODR（One Definition Rule）不是“只能写一次函数”，而是要求：**同一实体（函数、变量、类、模板等）在程序中所有翻译单元（即每个 .cpp 文件）里，最多只能有一个定义；如果出现多次定义，且定义内容不完全一致，行为未定义；即使一致，链接阶段也大概率报错**。
典型表现就是链接失败时出现：
ld: multiple definition of 'foo()'或
error LNK2005: foo already defined in a.obj。这不是编译错误，所以
g++ -c 能过，g++ *.o -o prog 才崩。
头文件里直接写函数实现？这是最常见 ODR 违反点
很多人把工具函数写在 utils.h 里，还带函数体：
/* utils.h */
void log_message(const char* s) {
printf("[LOG] %s\n", s);
}一旦两个 .cpp 都 #include "utils.h"，就生成两份 log_message 定义，链接器拒绝合并。
立即学习“C++免费学习笔记（深入）”；
正确做法：
- 头文件只放声明：
void log_message(const char* s); - 实现放到单独的
utils.cpp中 - 或者——用
inline显式标记（C++17 起对inline变量也支持）：inline void log_message(const char* s) { printf("[LOG] %s\n", s); }，此时允许多个翻译单元含相同定义，链接器会自动去重 - 避免用
static函数“掩耳盗铃”：static void helper() {...}看似安全，但会导致每个.cpp都有一份独立副本，浪费空间，且无法跨文件复用
全局变量和 const 全局变量的陷阱
const 修饰的全局变量默认有内部链接（internal linkage），看似安全，但容易误判：
-
const int MAX_SIZE = 100;在头文件中 → 每个.cpp各有一份，不违反 ODR（因为是 internal linkage） -
extern const int MAX_SIZE = 100;或int GLOBAL_COUNTER = 0;在头文件中 → 直接爆炸，多个定义 - 正确方式：
// config.h extern const int MAX_SIZE; // config.cpp const int MAX_SIZE = 100;
- C++17 起推荐用
inline constexpr替代：inline constexpr int MAX_SIZE = 100;
，既保证唯一定义，又支持常量折叠
模板和内联函数为什么“例外”？别误会成豁免权
模板定义通常必须放在头文件里，因为实例化发生在使用点。这看起来像“多份定义”，但 ODR 允许——前提是所有翻译单元看到的模板定义**字面完全相同**（包括宏展开后）。
容易踩的坑：
- 在不同
.cpp中包含同一模板头文件，但其中夹杂了条件编译：#ifdef DEBUG template
→ 若一个void f(T x) { /* A 版本 */ } #else template void f(T x) { /* B 版本 */ } #endif .cpp以DEBUG编译，另一个不启用，ODR 违反，结果未定义（可能静默出错） - 模板特化必须在所有用到它的翻译单元前声明，且定义位置要统一（通常也在头文件）
- 不要试图用
static或inline“修复”普通非模板函数的头文件定义——该报错还是报错，只是掩盖症状
ODR 的核心不在“能不能写”，而在“链接器能否无歧义地选出唯一一份”。很多链接错误表面是符号重复，根子是头文件管理失当。检查时优先 grep 所有 .h 文件里的函数体、变量初始化、非 inline/constexpr 的定义——那里最藏不住问题。
