这句话在C ++ 11标准的第3.2.2段中意味着什么？

Question

该句是第3.2 / 2段的一部分：

名称显示为潜在评估表达式的变量是odr-used，除非它是满足出现在常量表达式（5.19）中的要求的对象，并且立即应用左值到右值转换（4.1） 。

粗体句子究竟是什么意思？

编辑 ：

这个被认为是重复的问题的答案，并没有说任何可以回答我的问题。

Answer 1

这意味着当你使用常量作为常量时，就像你实际上使用常量一样。

struct S {
  static const int i = 0;
};
int main() {
  return S::i;
}

虽然S::i有一个初始化器，但是它没有定义，但是你的问题中的文本对这样的用法做了一个特殊的例外，其中S::i仅被访问它的值。 在这种情况下，不需要定义。

另一方面，其他用途确实需要定义：

struct S {
  static const int i = 0;
};
int f(const int &i) {
  return i;
}
int main() {
  return f(S::i);
}

该程序无效，并被某些实现接受，但被其他人拒绝。 对f的调用需要存在S::i的实际定义，但如果f内联，则缺少定义可能未被诊断。

在我的系统上，如果没有优化地编译和链接第二个程序，我得到：

$ g++ test2.cc -o test2
/tmp/ccdEsfxs.o:test2.cc:function main: error: undefined reference to 'S::i'
collect2: error: ld returned 1 exit status

为了使其工作，需要提供定义，如下所示：

struct S {
  static const int i = 0;
};
const int S::i;