如何在 for_each 中组合函数和谓词？

Question

如何使用 for_each() 在容器的某些部分上调用函数？

我创建了一个 for_each_if() 来执行 a

for( i in shapes )
    if( i.color == 1 )
        displayShape(i);

并且调用看起来像

for_each_if( shapes.begin(), shapes.end(),
                       bind2nd( ptr_fun(colorEquals), 0 ),
                       ptr_fun( displayShape ) );

bool colorEquals( Shape& s, int color ) {
    return s.color == color;
}

但是，我觉得模仿类似 STL 的算法不是我应该做的事情。

1. 有没有办法仅使用现有的 STL 关键字来生成此内容？

   我不想想做

    for_each(shapes.begin(),shapes.end(),
                      bind2nd( ptr_fun(display_shape_if_color_equals), 0 ) );
   

   因为，在更复杂的情况下，函子名称会误导函子的含义

2. *有没有办法访问结构体的成员（例如colorEquals) 对于像 for_each 这样的函数，无需创建函数？ *

Answer 1

要将常规 for_each 与 if 一起使用，您需要一个模拟 if 条件的函子。

#include <algorithm>
#include <vector>
#include <functional>
#include <iostream>
#include <boost/bind.hpp>

using namespace std;

struct incr {
  typedef void result_type;
  void operator()(int& i) { ++i; }
};

struct is_odd {
  typedef bool return_type;
  bool operator() (const int& value) {return (value%2)==1; }
};


template<class Fun, class Cond>
struct if_fun {
  typedef void result_type;
  void operator()(Fun fun, Cond cond, int& i) {
    if(cond(i)) fun(i);
  }
};


int main() {
  vector<int> vec;
  for(int i = 0; i < 10; ++i) vec.push_back(i);

  for_each(vec.begin(), vec.end(), boost::bind(if_fun<incr, is_odd>(), incr(), is_odd(), _1));
  for(vector<int>::const_iterator it = vec.begin(); it != vec.end(); ++it)
    cout << *it << " ";
}

不幸的是，我的模板 hackery 还不够好，无法使用 bind1st 和 bind2nd 来管理它，因为它会以某种方式与作为 unary_function 返回的绑定器混淆，但使用 boost::bind< 看起来相当不错/代码> 无论如何。我的示例并不完美，因为它不允许传递给 if_fun 的 Func 返回，我想有人可以指出更多缺陷。欢迎提出建议。

Answer 2

您可以使用 C++20 范围。这是一个我们将 std::vector 的所有偶数加一的示例。

#include <ranges>
#include <algorithm>
#include <vector> 

namespace ranges = std::ranges;

std::vector<int> vec = {1, 2, 3, 4, 5};
const auto even = [](int i) { return 0 == i % 2; };
ranges::for_each(vec | std::views::filter(even), [](int& i){ i+=1;});

您可以在编译器资源管理器上找到一个活生生的示例此处

Answer 3

使用升压范围适配器要简洁得多。

using boost::adaptor::filtered;
using boost::bind;

class Shape {
  int color() const;
};

void displayShape(const Shape & c);

bool test_color(const Shape & s, int color ){
    return s.color() == color;
}

boost::for_each
    ( vec | filtered(bind(&test_color, _1, 1)
    , bind(&displayShape, _1)
    )

请注意使用新的范围库来抽象
支持范围和范围适配器的迭代器
库来组成操作管道。

所有基于标准 stl 迭代器的算法都具有
已移植到基于范围的算法。

想象一下

typedef boost::unordered_map<int, std::string> Map;
Map map;
...
using boost::adaptor::map_keys;
using boost::bind
using boost::ref
using boost::adaptor::filtered; 

bool gt(int a, int b)
{ return a > b };

std::string const & get(const Map & map, int const & a)
{ return map[a] }

// print all items from map whose key > 5
BOOST_FOREACH
    ( std::string const & s
    , map 
        | map_keys 
        | filtered(bind(>, _1, 5)) 
        | transformed(bind(&get, ref(map), _1))
    )
    {
        cout << s;
    }

阅读范围适配器< /a> 和 范围算法。

Answer 4

模仿类似 STL 的算法正是您应该做的。这就是它们出现在 STL 中的原因。

具体来说，您可以使用仿函数而不是创建实际的函数并绑定它。这确实整洁多了。

template<typename Iterator, typename Pred, typename Operation> void 
for_each_if(Iterator begin, Iterator end, Pred p, Operation op) {
    for(; begin != end; begin++) {
        if (p(*begin)) {
            op(*begin);
        }
    }
}
struct colorequals {
    colorequals(int newcol) : color(newcol) {}
    int color;
    bool operator()(Shape& s) { return s.color == color; }
};
struct displayshape {
    void operator()(Shape& s) { // display the shape }
};
for_each_if(shapes.begin(), shapes.end(), colorequals(0), displayshape());

这通常被认为是惯用的方法。