模板编程：对重载函数的不明确调用

我正在实现排序算法作为个人训练（没有作业！）。 我有以下代码（不包括导入等）：

        template<class RandomIt, class Compare>
        void sort(RandomIt first, RandomIt last, Compare comp)
        {
            /* actual sorting code is here */
        }

        template<class RandomIt>
        void sort(RandomIt first, RandomIt last)
        {
            std::function<bool(decltype(*first), decltype(*last))> comp = [](decltype(*first) a, decltype(*last) b)
            {
                return a < b;
            };

            sort (first, last, comp);
        }

尝试使用测试数组调用此代码

    auto test_array_1 = std::make_unique <std::array < uint64_t,SORTING_TEST_LENGTH >> ();
    std::copy(std::cbegin(*template_array), std::cend(*template_array), std::begin(*test_array_1));

    sort(std::begin(*test_array_1), std::end(*test_array_1));

编译器抱怨“对重载函数的不明确调用”(VC++ C2668)。根据我的理解，这个调用不应该是含糊的。另外，在第二个排序函数中调用第一个排序函数的模板参数也没有任何效果。

我在这里缺少什么？为什么编译器认为第二个调用“不明确”？

问题有两个方面。

First, sort是通过 ADL 找到的，因此您会得到两个重载，并且它们都匹配。一般来说，命名功能相同std当您不尝试 ADL 超载时，由于 ADL 可能会引起歧义，因此函数会充满麻烦。

现在，只有当从以下位置传递类型时才会发生这种情况namespace std;有时迭代器来自这个命名空间，但在这种情况下不是：array使用原始指针迭代器。 ADL 发现的触发因素std::sort is the std::function.

这让我想到了下一个问题：通过这种方式，获得的很少，而失去的却很多。std::function在上面的代码中。将其替换为auto。将低级排序算法传递给内联比较对象。

你还是不想叫它sort。如果你称它为sort您需要使用命名空间来限定调用，或者(sort)阻止 ADL。

ADL 规则是，“常用”函数、参数命名空间中的函数、参数指向的命名空间以及参数的模板参数等都被考虑进行重载解析。这是参数相关查找，或 ADL，或 Koenig 查找。这意味着当使用来自另一个命名空间的类型时，可能会发生某种命名空间污染（这是可悲的），但它也使一些美妙的魔法发生（例如 std::cout