这问题涉及到C++中**ODR-use（单定义规则）**的细节，以及编译器/链接器的优化行为，咱们一步步来解析：

先明确第一个示例的注释错误 #

你提到的第一个代码片段里的注释是错的——表达式&S::x确实属于对S::x的odr-use：

struct S { static const int x = 1; };
void f() { &S::x; } // 注释错误：此表达式确实odr-use了S::x
int main(){ f(); }

为什么第一个示例链接器不报错？ #

根据C++标准的[basic.def.odr]/10条款，当一个实体被odr-use但没有定义时，标准允许无需诊断（no diagnostic required）——也就是说编译器和链接器不一定必须报错，这给了实现一定的灵活性。

具体到这个例子，编译器很可能做了优化：因为&S::x是一个被丢弃的表达式（没有被赋值、传递或使用），编译器可以直接优化掉这个操作，让f()变成一个空函数。此时编译后的代码根本没有引用S::x的符号，链接器自然不会检测到“未定义的符号”问题。

第二个示例为什么会触发链接报错？ #

再看第二个代码片段：

#include<iostream>
struct S { static const int x = 1; } s;
int main() { std::cout << &s.x << '\n'; }

这里&s.x的结果被传递给了std::cout，需要实际生成这个地址的引用，编译器无法优化掉这个操作。此时链接器会查找S::x的定义，但我们只在类内做了初始化（类内初始化const静态整数成员不算定义），没有在类外提供定义（比如const int S::x;），所以链接器会抛出“未定义符号”的错误。

总结一下 #

• 两个例子中取静态const成员地址的操作都属于odr-use，都需要类外的定义才能符合标准；
• 第一个例子因为表达式被丢弃，编译器优化掉了对S::x的引用，所以链接器没报错；
• 第二个例子中地址被实际使用，编译器无法优化，链接器找不到定义就报错了；
• 标准的“no diagnostic required”条款允许这种不一致的行为，因为实现可以根据优化策略决定是否触发诊断。

内容的提问来源于stack exchange，提问作者João Afonso