ODR（单一定义规则）是C++强制要求的底层契约：同一实体在整个程序中必须有且仅有唯一合法定义，违反则行为未定义；约束非内联函数、全局变量、类、模板、概念等，分“全程序唯一定义”和“每翻译单元字面一致定义”两类。
ODR 是什么：一句话说清本质
ODR（One Definition Rule，单一定义规则）不是“建议”，而是 C++ 标准强制要求的底层契约：**同一个实体，在整个程序中如何被定义，有且仅有明确、唯一的合法方式；违反它，程序行为未定义——编译器可以不报错，但运行结果不可预测。**
哪些东西受 ODR 约束
以下实体都必须遵守 ODR，包括但不限于：
- 非内联函数（普通函数、成员函数）
- 全局变量、静态成员变量（非 inline static）
- 类、结构体、联合体、枚举类型
- 模板（类模板、函数模板、别名模板）及其偏特化
- 概念（C++20 起）
- 类型别名（typedef 和 using 声明本身不是定义，但若出现在类定义内或作为别名模板，则参与 ODR 检查）
关键分两类：全局唯一 vs 每 TU 一份
ODR 的实际执行分两个层级，不能混为一谈：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
-
整个程序只能有一个定义：适用于非 inline 函数、非 inline 全局/静态变量。例如在 a.cpp 定义了
int g_val = 42;，又在 b.cpp 里再写一遍，链接时会报 “multiple definition” 错误。 - 每个翻译单元（TU）必须有且仅有一个定义，且所有 TU 中的定义必须字面完全一致：适用于类、模板、inline 函数、C++17 起的 inline 变量。它们常放在头文件中被多个 .cpp 包含——只要每次展开后记号序列（token sequence）完全相同，就合法。
什么算“定义”？声明和定义别搞混
这是 ODR 出错的高发区：
立即学习“C++免费学习笔记（深入）”；
-
声明只是告诉编译器“这个名字存在，类型是什么”，比如
extern int x;、class A;、void foo(); -
定义才真正分配存储或提供实现：
int x = 0;、class A { int m; };、void foo() { } - 函数声明加了函数体才是定义；类定义本身就是定义（哪怕空类
struct B {};）；const int N = 5;是定义（有初始化），而extern const int N;只是声明。
常见破防场景和解法
这些错误看似小，却直接触发 ODR 违规：
- 在头文件中写
int helper = 0;并被多个 .cpp 包含 → 改成inline int helper = 0;（C++17）或移到单个 .cpp 中定义 + 头文件用extern声明 - 两个头文件分别定义了同名但内容不同的
inline void log() { std::cout 和 <code>inline void log() { std::cout → 链接后行为未定义，必须保证所有 TU 中 inline 函数定义逐字符相同 - 类模板在不同 TU 中因宏开关导致成员函数体不同 → 不符合“相同记号序列”条件，ODR 违反
- 把
constexpr函数写在头文件里没问题（隐式 inline），但若加了static修饰，就变成内部链接，各 TU 独立一份——此时不参与跨 TU 的 ODR 检查，但也不共享行为
