“使用 ODR” 是什么意思？

Question

这只是在another question 的上下文中出现的。

显然，类模板中的成员函数只有在使用 ODR 时才会被实例化。 有人可以解释这到底是什么意思。 wikipedia article on One Definition Rule (ODR) 没有提到“ODR-use”。

然而标准将其定义为

名称显示为潜在求值表达式的变量 是 odr-used 除非它是满足要求的对象 出现在常量表达式 (5.19) 和左值到右值 立即应用转换 (4.1)。

在 [basic.def.odr] 中。

编辑：显然这是错误的部分，整个段落包含不同事物的多个定义。这可能与类模板成员函数相关：

一个非重载函数，其名称显示为 潜在评估的表达式或一组候选者的成员 函数，如果在从一个引用时通过重载决议选择 可能求值的表达式，是 odr 使用的，除非它是纯粹的 虚函数及其名称没有明确限定。

但我不明白，这条规则如何跨多个编译单元起作用？如果我显式实例化类模板，是否所有成员函数都实例化了？

Answer 1

这只是一个任意定义，标准用于 指定何时必须为实体提供定义（如 反对只是一个声明）。标准不只是说 “使用”，因为这可以根据不同的情况进行不同的解释 语境。并且某些 ODR 使用并不真正对应于哪一个 通常会与“使用”相关联；例如，一个虚拟 函数总是被 ODR 使用，除非它是纯的，即使它不是 实际上在程序的任何地方调用。

完整的定义在§3.2，第二段，虽然这 包含对其他部分的引用以完成 定义。

关于模板，使用 ODR 只是问题的一部分； 另一部分是实例化。特别是，§14.7 涵盖 当模板被实例化时。但两者是相关的：while §14.7.1（隐式实例化）中的文本相当长， 基本原则是只有在以下情况下才会实例化模板 它被使用，在这种情况下，使用意味着 ODR 使用。因此， 类模板的成员函数只会被实例化 如果它被调用，或者它是虚拟的并且类本身是 实例化。标准本身在许多方面都依赖于此 地方：std::list<>::sort在个人上使用< 元素，但您可以在元素类型上实例化列表 不支持<，只要你不调用sort 它。

Answer 2

简单来说，odr-used 意味着某些东西（变量或函数）在必须存在其定义的上下文中使用。

例如，

struct F {
   static const int g_x = 2;
};

int g_x_plus_1 = F::g_x + 1; // in this context, only the value of g_x is needed.
                             // so it's OK without the definition of g_x

vector<int>  vi;
vi.push_back( F::g_x );      // Error, this is odr-used, push_back(const int & t) expect
                             // a const lvalue, so it's definition must be present

注意，上面的 push_back 在 MSVC 2013 中通过，这种行为不符合标准，gcc 4.8.2 和 clang 3.8.0 都失败了，错误信息是： 未定义对F::g_x的引用