定义与单一定义规则（ODR）

定义是完全定义了声明中所引入的实体的声明。除了以下情况外的声明都是定义：

• 无函数体的函数声明

int f(int); // 声明但不定义 f

• 带有存储类说明符 extern 或者语言连接说明符（诸如 extern "C" ）而无初始化器的所有声明

extern const int a; // 声明但不定义 a
extern const int b = 1; // 定义 b

• 在类的定义中的非 inline (C++17 èµ·) 静态数据成员的声明

struct S {
    int n;               // 定义 S::n
    static int i;        // 声明但不定义 S::i
    inline static int x; // 定义 S::x
};                       // 定义 S
int S::i;                // 定义 S::i

struct S {
    static constexpr int x = 42; // 隐含为 inline，定义 S::x
};
constexpr int S::x; // 声明 S::x ，不是重复定义

• （通过前置声明或通过在其他声明中使用详细类型说明符）对类名字进行的声明

struct S; // 声明但不定义 S
class Y f(class T p); // 声明但不定义 Y 和 T（以及 f 和 p）

enum Color : int; // 声明但不定义 Color

• 模板形参的声明

template<typename T> // 声明但不定义 T

• 并非定义的函数声明中的形参声明

int f(int x); // 声明但不定义 f 和 x
int f(int x) { // 定义 f 和 x
     return x+a;
}

• typedef 声明

typedef S S2; // 声明但不定义 S2（S 可以是不完整类型）

using S2 = S; // 声明但不定义 S2（S 可以是不完整类型）

• using 声明

using N::d; // 声明但不定义 d

• 空声明（不定义任何实体）
• using 指令（不定义任何实体）

extern template f<int, char>; // 声明但不定义 f<int, char>

• 不是定义的显式特化声明

template<> struct A<int>; // 声明但不定义 A<int>

asm 声明不定义任何实体，但它被归类为定义。

如果必要，编译器就会隐式定义默认构造函数、复制构造函数、移动构造函数、复制赋值运算符、移动赋值运算符和析构函数。

如果任何对象的定义导致了具有不完整类型或抽象类类型的对象，则程序非良构。

单一定义规则（ODR）

任何变量、函数、类类型、枚举类型、概念 (C++20 起)或模板，在每个翻译单元中都只允许有一个定义（它们有些可以有多个声明，但定义只允许有一个）。

被 ODR 式使用（见下文）的非 inline 函数或变量，要求在整个程序（包括所有的标准或用户定义的程序库）中，有且仅有一个定义。编译器不要求对这条规则的违反进行诊断，但违反它的程序的行为是未定义的。

对于 inline 函数或 inline 变量 (C++17 起)来说，在 ODR 式使用了它的每个翻译单元中都需要一个定义。

在以需要将类作为完整类型的方式予以使用的每个翻译单元中，要求有且仅有该类的一个定义。

以下各种实体：类类型、枚举类型、 inline 函数、 inline 变量 (C++17 起)、类模板、非静态函数模板、类模板的静态数据成员、类模板的成员函数、模板部分特化、概念 (C++20 起)，在程序中可以出现多个定义，只要满足下列条件：

• 每个定义出现于不同翻译单元

• 每个定义都由相同的记号（token）序列构成（典型情况下是在同一个头文件中）
• 每个定义内进行的名字查找（在重载决议后）都找到相同实体，除了

• 具有内部链接或无链接的常量可以指代不同的对象，只要不 ODR 式使用它们，并在它们在各个定义中都具有相同的值

• 重载运算符（包括转换，分配和解分配函数），在各个定义中都代表相同的函数（除非它们代表的是在这个定义中所定义的函数）
• 它们具有相同的语言链接（比如包含文件时并未处于某个 extern "C" 块之中）
• 以上三条规则同样适用于各个定义中的每个默认实参
• 若该定义是带有隐式声明的构造函数的类定义，则在每个 ODR 式使用它的翻译单元中，必须为基类和成员调用相同的构造函数
• 若该定义是模板定义，则所有这些要求一同适用于定义点的各个名字和实例化点的各个待决名

若满足了所有这些要求，则程序的行为如同在整个程序中只有一个定义。否则程序非良构，不要求诊断。

注意：在 C 中，类型无全程序范围的 ODR ，而同一变量的 extern 声明甚至可以在不同翻译单元中具有不同的类型，只要它们是兼容的类型即可。在 C++ 中，用于同一个类型的声明的源代码记号，必须如上所述相同：如果一个 .cpp 文件定义了 struct S { int x; }; 而另一个 .cpp 文件定义了 struct S { int y; };，则它们链接到一起的程序的行为未定义。通常使用无名命名空间来解决这种问题。

ODR 式使用

非正式地说，若读取（除非它是编译时常量）或写入对象的值，取对象的地址，或将引用绑定到它，则对象被 ODR 式使用；若引用有被使用，且其所引用者在编译时未知，则引用被 ODR 式使用；而若调用函数或取其地址，则函数被 ODR 式使用。若 ODR 式使用了对象、引用或函数，则其定义必须存在于程序中的某处；违规常为连接时错误。

struct S {
    static const int x = 0; // 静态数据成员
    // 如果 ODR 式使用它，就需要一个类外的定义
};
const int& f(const int& r);
 
int n = b ? (1, S::x) // S::x 此处并未 ODR 式使用
          : f(S::x);  // S::x 此处被 ODR 式使用：需要一个定义

正式地说，

struct S { static const int x = 1; }; // 对 S::x 实施左值到右值转换产生常量表达式
int f() { 
    S::x;        // 弃值表达式不会 ODR 式使用 S::x
    return S::x; // 实施了左值到右值转换的表达式不会 ODR 式使用 S::x
}

在以上各项定义中，潜在求值的含义是，其表达式并非诸如 sizeof 这样的不求值表达式（或其子表达式）的操作数。而表达式 e 的潜在结果（potential result）集合是 e 中所出现的标识表达式（id-expression）的（可能为空的）集合。组合起来有：

• 当 e 是标识表达式时，表达式 e 就是其唯一的潜在结果

• 当 e 是类成员访问表达式 e1.e2 或 e1->e2 时，对象表达式 e1 的潜在结果就包括在集合中
• 当 e 是成员指针访问表达式 e1.*e2 或 e1->*e2，且其第二个操作数为常量表达式时，对象表达式 e1 的潜在结果就包括在集合中
• 当 e 是带有括号的表达式 (e1) 时，e1 的潜在结果被包括在集合中
• 当 e 泛左值条件表达式 e1?e2:e3，其中 e2 å’Œ e3 均为泛左值时，e2 å’Œ e3 的潜在结果的并集都包括在集合中
• 当 e 是逗号表达式 e1,e2 时，e2 的潜在结果被包括在潜在结果集合中
• 否则，集合为空。

struct S {
  static const int a = 1;
  static const int b = 2;
};
int f(bool x) {
  return x ? S::a : S::b;
  // x 是子表达式 "x" （ ? 的左边）的一部分，它应用了左值到右值转换，
  // 但对 x 实施这个转换不产生常量表达式，故 x 被 ODR 式使用
  // S::a 和 S::b 都是左值，并均作为泛左值条件表达式的结果的“潜在结果”
  // 该结果随即进行了为复制初始化返回值所要求的左值到右值转换，
  // 故而 S::a 和 S::b 未被 ODR 式使用
}

所有这些情况中，即便发生了复制消除，其所选择用于复制或移动一个对象的构造函数仍被 ODR 式使用。

引用