C++静态成员变量初始化时未限定名查找的作用域规则疑问

为什么标记(1)处调用的是A::f()而非全局f() #

该现象是C++中类/命名空间外部成员定义的名称查找规则决定的：
当在类作用域之外定义类的静态成员时，该成员定义中使用的未限定名，查找顺序和在类内部直接使用名称的规则完全一致。
对于代码中的int A::sX = f();：

• 编译器解析到A::sX时，就会将后续初始化表达式的查找上下文切换到类A的作用域内
• 首先在类A的作用域中查找未限定名f，找到了静态成员函数A::f()，匹配成功后就停止向外层作用域查找，自然不会调用全局的f()

如果需要强制调用全局作用域的f()，可以写为：

int A::sX = ::f(); // 前缀::表示从全局作用域开始查找

ADL是否在此场景生效 #

ADL（参数依赖查找）不会在此处生效：
ADL的触发前提是函数调用存在实参，编译器会根据实参的类型关联的命名空间/类补充查找对应的函数。本次场景中f()没有任何入参，不会触发ADL逻辑，此处的名称查找是普通的未限定名查找。

命名空间外部成员定义的查找规则详解 #

对应的规则本质和类静态成员的查找逻辑同源：
当在命名空间外部定义该命名空间的成员时，成员定义中使用的未限定名，查找顺序和在命名空间内部使用名称的规则完全一致。
对应示例：

namespace X {
    extern int x;
    int n = 1;
};
int n = 2;
int X::x = n;

• 编译器解析到X::x时，将后续n的查找上下文切换到命名空间X内部
• 首先在X内部查找到n=1，匹配成功后停止查找，不会使用全局作用域的n=2，所以X::x最终值为1。

该规则的设计初衷是保证类/命名空间成员的外部定义行为，和内部定义行为保持一致，避免出现内外定义语义不一致的问题。

内容的提问来源于stack exchange，提问作者Zoso