ODR（One Definition Rule）要求程序中每个类型、函数、变量最多只能有一个定义，类和内联函数可在多翻译单元中出现但必须完全一致，违反会导致未定义行为。
ODR，即 One Definition Rule（唯一定义规则），是 c++ 中一个核心的语言约束，用于确保程序中每个类型、函数、变量等实体在所有翻译单元中具有一致且唯一的定义。违反 ODR 会导致未定义行为，即使代码能编译通过，也可能在运行时出现难以排查的错误。
什么是 ODR？
ODR 要求：
- 在**整个程序中**，任何给定的类型（如 class、Struct、union）、模板、内联函数、非内联函数、全局变量或静态数据成员，最多只能有一个定义。
- 对于需要被多次“看到”的实体（如类定义、内联函数），可以在多个翻译单元中存在，但这些定义必须完全一致——包括语法、顺序、命名空间层级等。
简单说：你不能在一个 .cpp 文件里定义一个类 A 有成员 x，在另一个 .cpp 里定义同样的类 A 却只有成员 y；也不能在一个地方定义函数返回 int，另一处返回 double。
ODR 在不同类型中的体现
类的定义可以出现在多个翻译单元（比如通过头文件包含），但所有定义必须字节级一致。
立即学习“C++免费学习笔记（深入）”；
例如：
// a.h struct Point { int x, y; };
如果某个源文件修改了这个结构：
这会违反 ODR，结果是未定义行为，链接器不会报错，但程序可能崩溃或逻辑异常。
函数定义
普通函数（非 inline）在整个程序中只能有一个定义。
例如：
// func.h void foo(); <p>// file1.cpp void foo() { /<em> 实现 </em>/ }</p><p>// file2.cpp void foo() { /<em> 又实现一次 </em>/ } // 链接错误：多重定义</p>
这种情况通常会被链接器捕获，报 “symbol multiply defined” 错误。
而内联函数允许在多个翻译单元中定义，前提是所有定义相同：
// inline_func.h inline void bar() { /* 函数体 */ }
只要每个包含该头文件的 .cpp 都看到相同的实现，就符合 ODR。
变量定义
全局变量或静态变量也受 ODR 约束。
// global.h extern int counter; // 声明 <p>// file1.cpp int counter = 0; // 定义</p><p>// file2.cpp int counter = 1; // 错误！重复定义，链接时报错</p>
若使用 inline 变量（C++17 起），可在头文件中定义：
这不会违反 ODR，因为 inline 变量允许多重定义，系统保证只有一份实体存在。
链接一致性与 ODR 的关系
ODR 不仅是编译期概念，更涉及链接阶段的一致性。
即使两个翻译单元都正确编译，但如果它们对同一个类的理解不同（例如因宏定义差异导致结构布局不同），就会产生“静默 ODR 违规”。
常见场景：
- 头文件中类定义被条件编译影响：
- 模板实例化依赖的类型在不同 TU 中表现不一致。
#ifdef DEBUG int debug_info; #endif
一个文件用 -DDEBUG 编译，另一个没定义，导致类大小或布局不同。
这类问题通常不会引发编译或链接错误，但运行时行为不可预测，比如访问错位成员、虚表混乱等。
如何避免 ODR 问题？
- 将类、函数声明放在头文件，定义放在 .cpp 文件（除非是 inline 或模板）。
- 避免在头文件中写非 inline 的函数或变量定义。
- 使用 include guard 或 #pragma once 防止头文件重复包含导致的重复定义。
- 保持构建环境一致：所有源文件应使用相同的宏定义、编译选项和头文件版本。
- 尽量不在头文件中使用条件编译改变类型结构。
- C++17 后可使用 inline variables 和 constexpr functions 安全地在头文件中定义共享实体。
基本上就这些。ODR 看似简单，实则深刻影响着 C++ 程序的正确性和可维护性。理解它有助于写出更健壮、跨模块一致的代码。