我编写了一个小函数模板,它将新容器中的不同容器连接起来:
#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;
}
使用MSVC(cl.exe)和/ std:c ++ 17代码编译并正常工作。但是当使用clang-6.0或gcc-7.3进行编译时,会抛出编译器错误。即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>>>&)
?
Here是使用编译器资源管理器的示例。
答案 0 :(得分:13)
gcc和clang是正确的。 MSVC仍然存在正确的模板名称查找问题(即“两阶段查找”)。
join
中的{p> join(iterator, containers...)
是一个从属名称。找到该名称的候选人是:
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), ...);
}