c++ - C++03 根据成员函数值查找元素
问题描述
我试图在基于成员函数的 std::vector 中找到一个元素,但不幸的是我无法访问完整的 C++11 兼容编译器。
我知道我可以使用仿函数来解决这个问题,但我想知道是否有一种“功能性”的方式来实现相同的结果。
以下是描述我的问题的片段:
#include <iostream>
#include <string>
#include <functional>
#include <algorithm>
#include <vector>
struct Class {
int type_;
Class(int type): type_(type) {
}
int GetType() {
return type_;
}
};
struct Functor {
Functor(int t): t_(t) {
}
bool operator()(Class c) {
return c.GetType() == t_;
}
int t_;
};
int main() {
// It also works
std::vector<Class> v2 { Class(1), Class(2), Class(3), Class(4), Class(5) };
auto it2 = std::find_if(v2.begin(), v2.end(), Functor(4));
std::cout << (it2 != v2.end() ? "Found!" : "Not found!") << std::endl;
// It would solve, but I can't use due to compiler limitations :(
it2 = std::find_if(v2.begin(), v2.end(), [](auto& v) { return v.GetType() == 4; });
std::cout << (it2 != v2.end() ? "Found!" : "Not found!") << std::endl;
// Is there any "functional based" solution to this, using std::mem_fun, std::bind1st, etc.?
// it2 = std::find_if(v2.begin(), v2.end(), ???);
return 0;
}
如果我的 std::vector 是由非复杂类型形成的,我会这样做:
std::vector<int> v1 { 1, 2, 3, 4, 5 };
auto it1 = std::find_if(v1.begin(), v1.end(), std::bind1st(std::equal_to<int>(), 4));
std::cout << (it1 != v1.end() ? "Found!" : "Not found!") << std::endl;
是否有任何解决方案可以编写类似于上面的代码?
编辑:
我正在使用 GCC 4.4.1
编辑2:
根据一些评论和@scohe001 的回复,我将解决重载全局 == 运算符的问题。
但是我的好奇心还没有得到满足:) 有没有办法使用 std 工具集来实现我的目标<funtional>
?
编辑3:
只是为了澄清:在阅读了回复和评论之后,我知道可以解决我在使用重载之前发布的简单示例,operator==(int)
并且还知道我可以使用 afunction object (functor)
来完成 lambda 表达式的相同工作。但是,我真正的问题是:仅使用<functional>
(std::mem_fun、std::bind1st、std::equal_to 等)中可用的工具集,我可以“模仿”lambda/functor 的行为吗?如果是这样,我如何“链接”函数调用来做到这一点?
编辑4:
显然,仅使用来自 的现有工具集没有办法解决我的问题<functional>
,所以我接受了@Caleth
的响应,一旦它更接近我想要做的事情。
解决方案
你必须自己写一个bind_both
适配器
it2 = std::find_if(v2.begin(), v2.end(), bind_both(std::equal_to<int>(), std::mem_fn_ref(&Class::getType), 4));
它将有一个组合爆炸的可能性
template <typename Binary, typename Left, typename Arg>
class bind_left_t : public std::unary_function<Arg, typename Binary::result_type> {
Binary b;
Left l;
typename Binary::second_argument_type r;
public:
bind_left_t(Binary b, Left l, typename Binary::second_argument_type r) : b(b), l(l), r(r) {}
typename Binary::result_type operator()( Arg & arg) const { return b(l(arg), r); }
typename Binary::result_type operator()(const Arg & arg) const { return b(l(arg), r); }
};
template <typename Binary, typename Right, typename Arg>
class bind_right_t : public std::unary_function<Arg, typename Binary::result_type> {
Binary b;
typename Binary::first_argument_type l;
Right r;
public:
bind_right_t(Binary b, typename Binary::first_argument_type l, Right r) : b(b), l(l), r(r) {}
typename Binary::result_type operator()( Arg & arg) const { return b(l, r(arg)); }
typename Binary::result_type operator()(const Arg & arg) const { return b(l, r(arg)); }
};
template <typename Binary, typename Left, typename Right, typename Arg1, typename Arg2>
class bind_both_t : public std::binary_function<Arg1, Arg2, typename Binary::result_type> {
Binary b;
Left l;
Right r;
public:
bind_both_t (Binary b, Left l, Right r) : b(b), l(l), r(r) {}
typename Binary::result_type operator()( Arg1 & arg1, Arg2 & arg2) const { return b(l(arg1), r(arg2)); }
typename Binary::result_type operator()(const Arg1 & arg1, Arg2 & arg2) const { return b(l(arg1), r(arg2)); }
typename Binary::result_type operator()( Arg1 & arg1, const Arg2 & arg2) const { return b(l(arg1), r(arg2)); }
typename Binary::result_type operator()(const Arg1 & arg1, const Arg2 & arg2) const { return b(l(arg1), r(arg2)); }
};
Arg
调用时,额外的模板参数(Arg1
和Arg2
)消除了三种形式之间的歧义bind_both
template <typename Binary, typename Left>
bind_left_t<Binary, Left, typename Left::argument_type> bind_both(Binary b, Left l, typename Binary::second_argument_type r)
{
return bind_left_t<Binary, Left, typename Left::argument_type>(b, l, r);
}
template <typename Binary, typename Right>
bind_right_t<Binary, Right, typename Right::argument_type> bind_both(Binary b, typename Binary::first_argument_type l, Right r)
{
return bind_right_t<Binary, Right, typename Right::argument_type>(b, l, r);
}
template <typename Binary, typename Left, typename Right>
bind_both_t<Binary, Left, Right, typename Left::argument_type, typename Right::argument_type> bind_both(Binary b, Left l, Right r)
{
return bind_both_t<Binary, Left, Right, typename Left::argument_type, typename Right::argument_type>(b, l, r);
}