模板编程：对重载函数的模糊调用

Question

我正在实施一种排序算法作为个人培训（没有家庭作业！）。 我有以下代码（不包括进口等）：

        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）。根据我的理解，这个电话不应该是模棱两可的。同样在第二个排序函数中调用第一个排序函数的模板参数没有任何效果。

我在这里缺少什么？为什么编译器会认为第二次调用“模棱两可”？

Answer 1

问题有两个方面。

首先，sort 是通过 ADL 找到的，所以你得到两个重载，它们都匹配。一般来说，当您不尝试 ADL 重载时，将函数命名为与 std 函数相同的名称是令人担忧的，因为可能会导致 ADL 引起歧义。

现在，这只发生在从namespace std; 传递类型时，有时迭代器来自这个命名空间，但在这种情况下不是：array 使用原始指针迭代器。 ADL 查找std::sort 的触发器是std::function。

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

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

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