GCC 和 clang 抛出"no matching function call"但 msvc (cl) 按预期编译和工作

gcc and clang throw "no matching function call" but msvc (cl) compiles and works as expected

本文关键字：cl 编译 工作 no 抛出 clang matching function GCC call msvc      更新时间：2023-10-16

我编写了一个小功能模板，该模板在新容器中连接了不同的容器：

#include <vector>
#include <unordered_set>
#include <string>
#include <iostream>
#include <iterator>
namespace impl
{
    template <typename OutIterator, typename Container, typename ...Containers>
    void join(OutIterator iterator, const Container& container, const Containers& ...containers)
    {        
        for (const auto& item : container)
            *iterator++ = item;
        join(iterator, containers...);  // gcc and clang cannot resolve this call
    }
    template <typename OutIterator, typename Container>
    void join(OutIterator iterator, const Container& container)
    {        
        for (const auto& item : container)
            *iterator++ = item;
    }
}
template <typename OutContainer, typename ...Containers>
OutContainer join(const Containers& ...containers)
{
    OutContainer container;
    auto it = std::inserter(container, container.end());
    impl::join(it, containers...);
    return container;
}
int main()
{
    using namespace std;
    vector<string> a = {"one"s, "two"s, "three"s};
    unordered_set<string> b = {"four"s, "five"s };
    auto res = join<unordered_set<string>>(a, b);
    for (auto& i : res)
        cout << i << "n";
    return 0;
}

使用/std：C 17使用MSVC(CL.EXE(编译和工作正常。但是，使用Clang-6.0或GCC-7.3编译时，会抛出编译器错误。IE。GCC说

no matching function for call to 'join(std::insert_iterator<std::unordered_set<std::__cxx11::basic_string<char> > >&)'

显然未定义具有此签名的功能。但是我不明白为什么它试图调用这样的功能。是否应该像这样解决

// in main()
join<unordered_set<string>>(a, b);
unordered_set<string> join(const vector<string>& a, const unordered_set<string>& b);
void impl::join(std::insert_iterator<unordered_set<string>> iterator, const vector<string>& a, const unordered_set<string>& b);
void impl::join(std::insert_iterator<unordered_set<string>> iterator, const unordered_set<string>& b);

为什么GCC尝试实例化join(std::insert_iterator<std::unordered_set<std::__cxx11::basic_string<char>>>&)？

这是使用编译器资源管理器的示例。

gcc和clang是正确的。MSVC仍然有适当的模板名称查找(即"两相查找"(的问题。

join，在 join(iterator, containers...)中，是一个因名称。查找该名称的候选人是：

  • 模板定义点上的所有名称。此查找只是找到自己(variadic的超载(，而不是其他过载(2-arg一个(，因为尚未声明。
  • ADL可以在其论点上找到的所有名称。这些参数都没有impl作为关联的名称空间，因此也找不到其他过载。

在这种情况下，修复是微不足道的：只需重新订购两个join()超载即可。这样可以确保通过第一个子弹点找到2-ARG join()。

请注意，在C 17中，您甚至不需要两个过载。只有一个很好：

template <typename OutIterator, typename Container, typename... Containers>
void join(OutIterator iterator, Container const& container, Container const&... containers) {
    for (auto const& item : container) {
        *iterator++ = item;
    }
    if constexpr(sizeof...(Containers) > 0) {
        join(iterator, containers...);
    }
}

还考虑使用std::copy()而不是循环。实际上允许：

template <typename OutIterator, typename... Containers>
void join(OutIterator iterator, Container const&... containers) {
    using std::begin;
    using std::end;
    (iterator = std::copy(begin(containers), end(containers), iterator), ...);
}
相关文章：