关于::全局命名空间解析运算符的符号查找规则疑问

这个问题的核心是C++模板的两阶段名称查找规则，下面结合你的例子逐一拆解：

两阶段查找的核心逻辑 #

C++模板的名称查找分为两个阶段：

1. 模板定义阶段：查找非依赖名称（不依赖模板参数的名称）。这类名称必须在模板定义时就能找到，否则直接触发编译错误。
2. 模板实例化阶段：查找依赖名称（依赖模板参数的名称）。这类名称会等到模板被实例化时，结合实例化上下文的所有可见名称一起查找。

对应你的简化示例分析 #

看你简化后的代码：

template <typename T>
void func_using_dependent_type(T t)
{
    // non_existent_function(); // 无法编译
    non_existent_function(t); // 可以编译
    ::non_existent_function(t); // 无法编译
}

int main() {}

• non_existent_function();：调用没有依赖模板参数T，属于非依赖名称。模板定义阶段编译器就会去查找这个函数，找不到直接报错。
• non_existent_function(t);：调用的参数是t（类型为模板参数T），属于依赖名称。编译器在模板定义阶段不会强制检查这个函数是否存在，只有当模板被实例化时才会去查找。因为你的main里没有调用这个模板，所以不会触发实例化，也就不会报错。
• ::non_existent_function(t);：加上::后，明确指定要在全局命名空间查找该函数，此时这个名称变成了非依赖名称（全局命名空间不依赖模板参数）。模板定义阶段编译器就会去全局查找，找不到直接报错，和模板是否被实例化无关。

回到你最初的序列化示例 #

在MySerialiser的模板成员函数中：

template <typename T>
void read_or_write_type(T& type)
{
    serialiseDeserialise(type); // 可以编译
    // ::serialiseDeserialise(type); // 无法编译
}

• 不加::时，serialiseDeserialise(type)是依赖名称，实例化时（传入MySerialisableType）会查找全局的serialiseDeserialise(MySerialisableType&)，此时该函数已经定义，所以能找到并编译通过。
• 加::时，::serialiseDeserialise(type)变成非依赖名称，模板定义阶段编译器就会去全局查找，但此时serialiseDeserialise的定义在模板之后，编译器看不到这个函数，因此编译失败。

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