为什么在不同的命名空间中调用同名函数时会出现“模棱两可”错误？

如何解决为什么在不同的命名空间中调用同名函数时会出现“模棱两可”错误？

我在命名空间 make_heap() 中实现了一个名为 dsa 的函数。当我尝试调用它和 std::make_heap() 进行比较时出现错误。 GCC 告诉我：

重载'make_heap(dsa::Vector::iterator&,dsa::Vector::iterator&,std::greater)'的调用不明确

代码如下，有什么建议吗？

template<typename _Random_It>
void make_heap(_Random_It first,_Random_It last)
{
    // get true value_type from the iterators
    using value_type = typename std::iterator_traits<_Random_It>::value_type;

    make_heap(first,last,std::greater<value_type>());   // << error here
}

template<typename _Random_It,typename _Comp>
void make_heap(_Random_It first,_Random_It last,_Comp compare)
{
    if(first + 2 >= last)
    {
        return ;
    }

    for(size_t i = (last - first) / 2; i > 0; i--)
    {
        __heapify(first,i,compare);
    }
}

解决方法

ADL 反击：

make_heap(first,last,std::greater<value_type>()); 的参数 std::greater 位于 namespace std 中，因此非限定名称 make_heap 也会查看 namespace std。

“解决方案”是进行限定名称查找（或使用不冲突的名称）：

dsa::make_heap(first,std::greater<value_type>());

创建自己的 dsa::greater 可能是一个临时解决方案，但如果用户使用 make_heap 和迭代器“来自”std（或者 std::vector<int>::iterator（假设它不是指针） ) 或 dsa::vector<std::string>>::iterator)，您会遇到同样的问题。