在头文件中使用常量与ODR兼容

Question

在看另一个问题时，我意识到我不能通过头文件使用来自匿名名称空间的对象或函数，因为这会在类定义或内联函数中导致ODR冲突。如果是这种情况，那么是否可以安全地在内联函数或类中使用命名的const或constexprstatic对象？例如，如果constant在namespace下面的内部，那么它将是不安全的，但是使用静态链接的常量可以吗？

// some header file to be included by multiple .cpp files
static const/*expr*/ int CONSTANT = 2;

inline int f() {
  return CONSTANT;
}

class Cls {
  int mem = CONSTANT;
};

Answer 1

这个代码是可以的。整段(C++14[basic.def.odr/6.2])为：

在d的每个定义中，根据3.4查找的相应名称应指在d定义内定义的实体，或者在重载html" target="_blank">解析和部分模板专门化匹配后应指同一实体，但如果对象在d的所有定义中具有相同的文字类型，并且对象是用常量表达式初始化的，并且对象没有ODR使用，并且对象在d的所有定义中具有相同的值，则名称可指具有内部或无链接的非易失性常量对象；而且

此用法与“except...and...and...”部分中的所有条件都匹配：

• 名称constant实际上是指具有内部链接的非易失性const对象
• 它在f()的所有定义中具有相同的文字类型。
• 它是用常量表达式2初始化的。
• 它不是ODR使用的。
• 它在f()的所有定义中具有相同的值。

“it is not ODR used”的意思是“it is onot ODR used inf()”--也就是说，如果您碰巧在程序的其他地方ODR useconstant,它不会破坏f()。