使用 boost::bind 迭代 std::map

Question

我做了一个小例子来了解boost::bind () 是如何处理集合的。我有一个名为 Data 的类：

class Data
{
public:
    void print ();
    const std::string& get () const;
    std::string& get () ;
};

我创建了一个名为 samples 的数据对象 std::vector，并且我能够以与 std::mem_fun_ref 相同的方式使用 bind。

std::for_each (samples.begin (),samples.end (),std::mem_fun_ref (&Data::print));
std::for_each (samples.begin (),samples.end (),boost::bind (&Data::print,_1));

基本思想是bind返回一个bind_t<RetType=void, ObjType=Data, ArgType=void>类型的函数对象。成员函数作为第一个参数允许编译器推导出RetType、ObjType 和ArgType。占位符_1对应算法必须提供的数据对象。

然后std::for_each按以下方式调用函数对象“for each”元素：

for ( ; first!=last; ++first ) f(*first);

bind_t::operator(ObjType& obj) 被调用，它的定义应该是这样的：

return (obj.*_method ());

我创建了一个名为 Filter 的类，它对数据元素执行一些处理。

class Filter
{
    void filter (Data& data);
    ...
};

如果我想对向量中的数据元素应用过滤器，我会通过以下方式调用bind：

std::for_each (samples.begin (),samples.end (),boost::bind (&Filter::filter,filter,_1));

for_each 将Data 对象传递给bind_t::operator()。在这种情况下，函数对象已经有了对象并且只需要参数，所以在这种情况下占位符 _1 指的是参数。

我的问题来了：

如果我必须遍历 std::map 而不是向量，如何使用 bind？

（抱歉所有的解释，我只是想确保我了解bind 的工作方式）

Answer 1

#include <boost/bind.hpp>
#include <algorithm>
int main()
{
  struct Sample
  {
    int i_;
    double d_;
  };
  typedef std::map<int, Sample> Samples;
  struct Filter
  {
    void filter(const Sample &s)
    {
    }
  };
  Filter filter;
  Samples samples;
  std::for_each(samples.begin(), samples.end(), boost::bind(&Filter::filter, filter, boost::bind(&Samples::value_type::second, _1))); 
}

Answer 2

当然，您可以使用bind() 来迭代std::map<...>。但是，请注意std::map<K, V> 中的元素具有std::pair<K const, V> 类型，即绑定函数需要是访问此类型对象的电缆。也就是说，我不知道单独使用bind() 可以将此参数转换为您真正感兴趣的参数（即V）。为此，您可能需要调用一个辅助函数来进行转换。如果你bind() 这个函数以及bind() 可以做一个合适的组合，即我认为这样的事情应该可以工作：

template <typename Result>
struct project2nd {
    typedef Result const& result_type;
    template <typename T>
    result_type operator()(std::pair<T, Result> const& arg) const {
        return arg.second;
    }
};
...
... bind(&Filter::filter, filter, bind(project2nd<Data>(), _1)) ...

对于bind() 与函数对象一起工作，它似乎需要一些有关相关类型的信息：函数调用运算符的结果无法推断，但显然在内部需要。我认为bind() 足够聪明，可以通过引用。否则需要将类型更改为Result。另外，我不知道bind() 是否也需要了解参数类型。如果是这样，project2nd 类 tmeplate 需要将这两种类型都作为参数。