为什么此功能调用不拒绝不合适的过载？

Question

考虑以下代码：

#include<vector>
#include<ranges>
#include<algorithm>
//using namespace std;
using namespace std::ranges;
int main()
{
    std::vector<int> a = {};
    sort(a);
    return 0;
}

它运行正常。

显然，它称之为此过载函数（严格地说）：

template<random_access_range _Range,
     typename _Comp = ranges::less, typename _Proj = identity>
  requires sortable<iterator_t<_Range>, _Comp, _Proj>
  constexpr borrowed_iterator_t<_Range>
  operator()(_Range&& __r, _Comp __comp = {}, _Proj __proj = {}) const
  {
return (*this)(ranges::begin(__r), ranges::end(__r),
           std::move(__comp), std::move(__proj));
  }

但是，在我们介绍了名称空间std之后，函数调用变得模棱两可（获得编译错误）：

#include<vector>
#include<ranges>
#include<algorithm>
using namespace std;
using namespace std::ranges;
int main()
{
    std::vector<int> a = {};
    sort(a);
    return 0;
}

除了先前的重新加载

 2045 |   inline constexpr __sort_fn sort{};

，还有许多其他过载函数就像：

template<class _ExecutionPolicy, class _RandomAccessIterator> __pstl::__internal::__enable_if_execution_policy<_ExecutionPolicy, void> std::sort(_ExecutionPolicy&&, _RandomAccessIterator, _RandomAccessIterator)

所以

template<class _RAIter, class _Compare> constexpr void std::sort(_RAIter, _RAIter, _Compare)

我的问题是：

1. std ::范围中排序函数的呼唤是最好的匹配功能，不是吗？为什么后来在STD中发现的这些功能会引起歧义，而不是由于Sfinae原则而被放弃？
2. 如果sort（a）在我们引入命名空间std后可以看到std中的功能，那么根据a的ADL，在第一个代码中不应该同样可见。 ？

Answer 1

问题是std :: ranges :: Sort实际上不是函数模板。它是一些具有特殊名称查找属性的可叫实体，有时称为a niebloid 。结果，它的行为不像名称查找中的函数（模板）。

您将两个std :: Ranges :: Sort和std :: sort以通常的不合格的名称查找找到。 std :: sort是一个函数（模板），但是std :: ranges :: sort不是。

如果不合格的名称查找找到了多个实体，而不是所有实体都是函数或功能模板，则名称查找模棱两可，并且程序通常不构建。

那就是这里发生的事情。

Answer 2

问题是std :: ranges :: Sort是作为函数对象而不是函数实现的。来自 name lookup 规则：

对于函数和功能模板名称，名称查找可以将多个声明与相同名称相关联，并且可以从与参数有关的查找中获取其他声明。 [...]

对于所有其他名称（变量，名称空间，类等），名称查找必须产生单个声明才能使程序编译。

std :: Ranges :: Sort是一个变量，因此名称查找失败（因为有多个声明匹配名称sort）。和std :: ranges算法被明确实现为函数对象（引用 std :: ranges :: sort cppReference ）：

此页面上描述的类似功能的实体是 niebloids ，即：[...]

实际上，它们可以作为函数对象或特殊编译器扩展。

实现。

因此，只要标准库实施std :: ranges :: sort作为函数对象（以及libstdc ++和libc ++似乎都这样做），就无法制作sort name Lookup工作，如果您在全局名称空间中介绍了std :: ranges和std。