C++模板函数重载冲突：不同命名空间的max为何触发调用歧义

这是C++标准明确规定的函数名查找规则，具体对应到你的代码场景逻辑如下：

• 当你调用没有加任何命名空间前缀的非限定名函数max(_1, _2)时，编译器除了会查找全局作用域的同名函数外，还会自动查找所有实参类型所属的命名空间里的同名函数，将这些函数都加入重载决议的候选集合。
• 你的两个实参_1、_2的类型都是core::type_t，该类型定义在core命名空间下，所以core命名空间里的core::max也会被加入候选集。
• 全局作用域的max和core::max都是接受万能引用的函数模板，对传入的core::type_t&类型实参的匹配度完全相同，没有优先级高低之分，因此编译器判定重载歧义。

你使用::max(_1, _2)调用时，::前缀强制要求编译器仅在全局作用域查找max函数，不会触发ADL规则去其他命名空间查找同名函数，因此不会出现候选集冲突的问题。

// 修复后的main函数示例
int main() {
  core::type_t _1;
  core::type_t _2;
  ::max(_1, _2); // 仅匹配全局作用域的max，无歧义
}

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