c++ ODR是什么 c++单一定义规则详解【核心】

ODR（单一定义规则）是C++强制要求的底层契约：同一实体在整个程序中必须有且仅有唯一合法定义，违反则行为未定义；约束非内联函数、全局变量、类、模板、概念等，分“全程序唯一定义”和“每翻译单元字面一致定义”两类。

ODR 是什么：一句话说清本质

ODR（One Definition Rule，单一定义规则）不是“建议”，而是 C++ 标准强制要求的底层契约：**同一个实体，在整个程序中如何被定义，有且仅有明确、唯一的合法方式；违反它，程序行为未定义——编译器可以不报错，但运行结果不可预测。**

哪些东西受 ODR 约束

以下实体都必须遵守 ODR，包括但不限于：

• 非内联函数（普通函数、成员函数）
• 全局变量、静态成员变量（非 inline static）
• 类、结构体、联合体、枚举类型
• 模板（类模板、函数模板、别名模板）及其偏特化
• 概念（C++20 起）
• 类型别名（typedef 和 using 声明本身不是定义，但若出现在类定义内或作为别名模板，则参与 ODR 检查）

关键分两类：全局唯一 vs 每 TU 一份

ODR 的实际执行分两个层级，不能混为一谈：

• 整个程序只能有一个定义：适用于非 inline 函数、非 inline 全局/静态变量。例如在 a.cpp 定义了 int g_val = 42;，又在 b.cpp 里再写一遍，链接时会报 “multiple definition” 错误。
• 每个翻译单元（TU）必须有且仅有一个定义，且所有 TU 中的定义必须字面完全一致：适用于类、模板、inline 函数、C++17 起的 inline 变量。它们常放在头文件中被多个 .cpp 包含——只要每次展开后记号序列（token sequence）完全相同，就合法。

什么算“定义”？声明和定义别搞混

这是 ODR 出错的高发区：

标签： c++ typedef