ODR违规指同一实体在多个翻译单元中出现多于一个定义，导致链接时报“multiple definition”错误。常见原因是头文件中包含函数或变量的完整定义，应改用inline、static或extern等机制确保定义唯一性。
什么是ODR违规？链接时报 multiple definition of ...
ODR（One Definition Rule）不是“可以定义多次”，而是“**同一实体在所有翻译单元中必须有且仅有一个定义**”。违反它最直接的表现就是链接阶段报错：multiple definition of 'foo()' 或 duplicate symbol _bar in main.o and utils.o。这不是编译错误，所以容易被忽略——代码能编译通过，但连不起来。
常见诱因是把函数或变量的完整定义（而非声明）放进了头文件，又被多个 .cpp 文件包含。比如在 utils.h 里写了：
int helper() { return 42; }——这会让每个包含它的源文件都生成一份 helper 的定义，链接器懵了。
怎么写才不触发ODR？inline、static、extern 怎么选
核心思路：让编译器知道“这个定义允许出现在多个地方”，或者“这个定义只属于当前翻译单元”。
-
inline是首选：C++17 起，inline函数/变量天然满足 ODR（允许多个定义，只要语义一致）。适用于工具函数、短小的计算逻辑。inline int square(int x) { return x * x; } -
static用于内部链接：加在函数或变量前，表示“只在本文件可见”，各文件各自有一份，互不干扰。适合只在单个.cpp里用的辅助函数或常量。static const double PI = 3.14159;
-
extern配合分离声明/定义：头文件里只放声明（extern int global_counter;），定义放在唯一一个.cpp里（int global_counter = 0;）。这是全局变量的标准写法。
模板和 constexpr 为什么“例外”？
模板（包括函数模板、类模板）和 constexpr 函数默认就是 ODR-safe 的——它们的定义必须放在头文件里，且编译器会自动去重合并。但这不等于可以乱写：
立即学习“C++免费学习笔记（深入）”；
- 模板特化（尤其是显式特化）要小心：全特化是普通实体，需遵守 ODR；偏特化不算定义，但也不能在多个 TU 中重复声明。
-
constexpr变量（如constexpr int N = 10;）隐含inline，可放头文件；但constinit或带初始化器的const变量不是，仍需按规则处理。 - 如果模板内用了未声明的外部符号（比如调用了一个没声明的
log()），错误可能延迟到实例化时才暴露，定位更难。
容易被忽略的坑：内联命名空间、匿名命名空间、模板友元
这些地方看似“隔离”，实则对 ODR 很敏感：
- 匿名命名空间里的函数，等价于
static，安全；但若在头文件里写匿名命名空间，每个包含它的 TU 都会生成一份，名字不同但行为重复——虽不报 ODR 错，却浪费符号、增加二进制体积。 - 内联命名空间（
inline namespace v1 { ... }）主要用于 ABI 兼容，其内容参与查找，但定义仍受 ODR 约束——不能在多个 TU 中定义同名函数。 - 模板友元声明如果写成
friend void f();（非模板），它会在每个实例化点隐式生成一个独立的非模板函数定义，极易触发 ODR 违规。应显式声明为模板友元：friend void f<t>(T);</t>。
ODR 不是语法检查项，编译器不会主动警告你“这里可能重复定义”。它藏在链接阶段，而链接失败时往往只剩一串符号名。最稳妥的做法是：头文件只放声明、inline 或模板；所有非内联的定义，只出现在一个 .cpp 文件里。
