我正在尝试使用ANSI C ++ for_each语句迭代并打印标准向量的元素。如果我将for_each调用为非重载函数,但是如果我调用了一个重载函数,则会产生编译器错误。
这是一个最小的测试程序,用于显示编译器错误发生的位置:
#include <algorithm>
#include <iostream>
#include <vector>
struct S {
char c;
int i;
};
std::vector<S> v;
void print_struct(int idx);
void print_struct(const struct S& s);
// f: a non-overloaded version of the preceding function.
void f(const struct S& s);
int main()
{
v.push_back((struct S){'a', 1});
v.push_back((struct S){'b', 2});
v.push_back((struct S){'c', 3});
for (unsigned int i = 0; i < v.size(); ++i)
print_struct(i);
/* ERROR! */
std::for_each(v.begin(), v.end(), print_struct);
/* WORKAROUND: */
std::for_each(v.begin(), v.end(), f);
return 0;
}
// print_struct: Print a struct by its index in vector v.
void print_struct(int idx)
{
std::cout << v[idx].c << ',' << v[idx].i << '\n';
}
// print_struct: Print a struct by reference.
void print_struct(const struct S& s)
{
std::cout << s.c << ',' << s.i << '\n';
}
// f: a non-overloaded version of the preceding function.
void f(const struct S& s)
{
std::cout << s.c << ',' << s.i << '\n';
}
我使用以下命令在openSUSE 12.2中编译了这个:
g++-4.7 -ansi -Wall for_each.cpp -o for_each
完整的错误消息是:
for_each.cpp: In function ‘int main()’:
for_each.cpp:31:48: error: no matching function for call to ‘for_each(std::vector<S>::iterator, std::vector<S>::iterator, <unresolved overloaded function type>)’
for_each.cpp:31:48: note: candidate is:
In file included from /usr/include/c++/4.7/algorithm:63:0,
from for_each.cpp:5:
/usr/include/c++/4.7/bits/stl_algo.h:4436:5: note: template<class _IIter, class _Funct> _Funct std::for_each(_IIter, _IIter, _Funct)
/usr/include/c++/4.7/bits/stl_algo.h:4436:5: note: template argument deduction/substitution failed:
for_each.cpp:31:48: note: couldn't deduce template parameter ‘_Funct’
我没有在Stack Overflow上或在网络上看到任何针对此特定错误的搜索结果。任何帮助将不胜感激。
答案 0 :(得分:6)
名称是指过载集。您需要指定所需的过载:
std::for_each(v.begin(), v.end(), (void (&)(S const&)) print_struct);
另一种方法是使用 多态可调用函数对象 作为帮助器:
struct PrintStruct
{
template <typename T> void operator()(T const& v) const
{ return print_struct(v); }
};
int main()
{
PrintStruct helper;
std::vector<S> sv;
std::vector<int> iv;
// helper works for both:
std::for_each(sv.begin(), sv.end(), helper);
std::for_each(iv.begin(), iv.end(), helper);
答案 1 :(得分:4)
std::for_each
声明如下:
template<class InputIter, class Func>
void for_each(InputIter first, InputIter last, Func func);
正如您所看到的,它将任何作为第三个参数提供。没有任何限制,它必须是某个签名的可调用类型或完全可调用类型。
在处理重载函数时,除非你给它们一些 context 来选择正确的函数,否则它们本质上是模棱两可的。在调用重载函数时,此上下文是您传递的参数。但是,当您需要指针时,您不能将参数用作上下文,for_each
参数也不会被视为上下文,因为它需要任何内容。
作为函数参数可以作为选择正确重载的有效上下文的示例,请参阅:
// our overloads
void f(int){}
void f(double){}
typedef void (*funcptr_type)(int);
void g(funcptr_type){}
// ...
g(&f); // will select 'void f(int)' overload, since that's
// the only valid one given 'g's parameter
正如您所看到的,您在这里给出了一个清晰的上下文,它可以帮助编译器选择正确的重载,而不是模糊不清。 std::for_each
的参数不提供这样的上下文,因为它们会带来任何内容。
有两种解决方案:
f
所做的那样)请注意,在C ++ 11中,您还可以将lambda用作第二个选项:
std::for_each(v.begin(), v.end(), [](const S& s){ print_struct(s); });
关于您的代码的一些注意事项:
(struct S){'a', 1}
是复合文字而非标准C ++ struct S
,只需S
就足够了