为何函数内用ranges::sort可消歧义，全局作用域却不行？

这是C++名字查找规则与using声明作用域共同作用的结果，核心差异在于名字隐藏和重载集合合并的区别：

一、函数内using ranges::sort;消除歧义的原因 #

当你在函数作用域内添加using ranges::sort;时：

• 该声明会将std::ranges::sort的所有重载版本引入当前函数的局部作用域。
• 根据C++的名字查找优先级，局部作用域的声明会隐藏外层（包括全局）作用域的同名名字。也就是说，在这个函数里，sort只会关联到std::ranges::sort的重载，全局作用域中来自std::sort的同名名字会被完全屏蔽，自然不会出现调用歧义。

对应你的测试场景：

• 注释(1)（不引入std::ranges命名空间）、启用(2)（函数内声明后调用）：局部sort仅指向std::ranges::sort，调用时无歧义。
• 注释(1)、启用(3)（函数开头声明）：效果和(2)完全一致，局部声明屏蔽全局同名，消除歧义。

二、全局作用域using std::ranges::sort;引发歧义的原因 #

当你在全局作用域添加using std::ranges::sort;时：

• 该声明会在全局作用域注册sort名字，关联到std::ranges::sort的重载集合。
• 同时你已经写了using namespace std;，这会将std::sort的重载集合也引入全局作用域。此时全局作用域存在两个同名的sort重载集合（分别来自std::sort和std::ranges::sort）。
• 当在函数内调用sort时，名字查找会合并这两个重载集合：
  • 对于sort(v.begin(), v.end())：std::sort和std::ranges::sort都有匹配的迭代器版本，重载决议无法区分，触发歧义。
  • 对于sort(v)：虽然std::sort没有范围版本，但全局作用域的sort名字同时关联两个集合，编译器仍会尝试匹配所有可能的重载，最终因存在不匹配的候选导致歧义。

全局作用域消除歧义的替代方案 #

如果想在全局层面避免歧义，可选择以下方式：

• 移除using namespace std;，显式指定命名空间调用（如std::ranges::sort(v)或std::sort(v.begin(), v.end())）。
• 给std::ranges起别名，比如namespace rs = std::ranges;，之后用rs::sort调用。

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