MSVC(/permissive-)下C++函数模板调用函数的作用域何时确定？

先看测试代码：

#include <fstream>

void Serialize(std::ostream& os, int& i)
{
    os << "int: " << i << '\n';
}

template<typename T>
void Write(std::ostream& os, T* pData)
{
    ::Serialize(os, *pData); // 此处使用了全局作用域运算符
}

struct SData
{
    int i = 42;
};

void Serialize(std::ostream& os, SData& rData)
{
    os << "SData: " << rData.i << '\n';
}

void Test()
{
    auto os = std::ofstream("c:/test.out");
    auto s = SData();
    Write(os, &s); // 实例化Write<SData>
}

int main([[maybe_unused]] int, [[maybe_unused]] char*[])
{
    Test();
}

核心原因：限定名查找与两阶段查找的规则差异 #

MSVC在/permissive-模式下的行为完全符合C++标准，问题出在::Serialize的写法触发了严格的限定名查找规则：

1. 限定名查找遵循「模板定义点」规则
   当你在模板中使用::Serialize这种明确指定全局作用域的限定名时，根据C++标准，编译器只会在模板定义的位置之前，全局作用域中已声明的名字里进行查找。你的SData版本Serialize是在Write模板定义之后才声明的，模板定义时这个名字并不存在于全局作用域，因此严格合规的编译器会直接报错。

2. 非限定名查找的「两阶段查找」规则
   如果去掉::，Serialize就变成了依赖模板参数T的名字（实参*pData的类型为T），此时编译器会触发两阶段查找：

   • 第一阶段：在模板定义点，查找不依赖模板参数的名字，同时确定ADL（实参相关查找）需要搜索的命名空间
   • 第二阶段：在模板实例化点（即Test函数中调用Write的位置），补充查找依赖模板参数的名字，同时执行ADL——此时SData的Serialize已在全局作用域声明，自然能被找到。

其他编译器/模式的行为解释 #

• MSVC /permissive模式：这是兼容旧代码的宽松模式，放宽了标准对限定名查找的要求，允许编译器在实例化点也查找全局名字，因此能编译通过。
• clang/clang-cl：它们默认可能启用了兼容扩展，或者对限定名查找的实现有差异，但严格来说，带::的写法不符合C++标准，理应触发编译错误。

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