28

是否有一个标准实现for_each,它调用元素和范围内的下一个?

以 range 为例{0, 1, 2, 3, 4, 5},我想f用每个元素及其后继者调用一个函数:{f(0, 1), f(1, 2), f(2, 3), f(3, 4), f(4, 5)} 注意最后一个元素是如何被遗漏的,因为它没有后继者。

如果将其推广到与元素本身一起传递的 n 个后继者,那也很好。

到目前为止,我一直通过带有迭代器的手写循环来解决这个问题。但是,我想更多地沿着基于 C++11 范围的路线进行或std::for_each避免样板代码。

例子

// today: handwritten loop
for(Range::iterator current = range.begin(); current != range.end(); ++current) 
   f(*current, *std::next(current));

// near future: wrapped version
for_each_pair(range.begin(), range.end(), f);

// slightly further future: generalized version
for_each_tuple<n>(range.begin(), range.end(), f);

附加问题

该函数的名称可以改进。对我来说for_each_pair/tuple听起来应该返回范围内所有大小为 n 的子集(这本身就是我想解决的另一个问题)。所以我想要一些更好的名字的建议,比如:

for_each_adjacent<n>

临时解决方案

我已经在CR上发布了我自己的解决方案。我不会在这里复制它,因为这是一个标准解决方案,并且已经有足够的自己动手的答案。

4

4 回答 4

5

您实际上可以滥用std::uniquestd::adjacent_find为此:谓词与迭代器范围内的每个连续对一起调用,并且只要谓词始终返回 false,它就不会修改任何内容或提前返回。

忽略那个特定的技巧,我会将其实现为迭代器适配器,而不是算法。也就是说,我将实现一个consecutive_tuple_iterator<N>返回所有 N 个连续项目的元组。然后你可以将它用于诸如count_ifand之类的东西includes,而不仅仅是for_each. (不过,它不适用于大多数修改算法。)

于 2013-11-12T11:45:31.723 回答
4

最简单的方法是将其编写为通用算法,然后多次应用。

 template< typename FwdIter, typename Func >
 Func for_each_pair( FwdIter iterStart, FwdIter iterEnd, Func func )
 {
     if( iterStart == iterEnd )
        return func;

     FwdIter iterNext = iterStart;
     ++iterNext;

     for( ; iterNext != iterEnd; ++iterStart, ++iterNext )
     {
          func( *iterStart, *iterNext );
     }
     return func;
}

当我被问到为什么它返回 func(而不是 void)时,这是 for_each 的典型特征,因为

  1. func 可以是一个对象
  2. 它是按值传递的。

func 可能“累积”某种状态,但累积它的是我们在该算法中制作的副本,而不是用户的原始对象。因此,我们将它们传回修改后的“func”对象。

于 2013-11-12T12:15:09.247 回答
4

使用 C++ 11 和用于迭代器的新迭代器辅助函数std::nextstd::prev,标准算法std::transform的第二个变体可用于迭代相邻元素。

这是一个从列表中生成相邻对列表的示例:

std::vector<int> nums{3, 4, 2, 9, 15, 267};
std::vector<std::pair<int,int>> num_pairs;
if (!nums.empty()) {
    std::transform(
        std::begin(nums), std::prev(std::end(nums)),
        std::next(std::begin(nums)),
        std::back_inserter(num_pairs),
        std::make_pair<
            decltype(nums)::const_reference,
            decltype(nums)::const_reference
        >
    );
}
于 2015-03-24T20:04:46.443 回答
1

不完全是你想要的,但看看cpplinq

int numbers[] = {0, 1, 2, 3, 4, 5};
auto pairs = cpplinq::from_array(numbers) 
          >> cpplinq::pairwise() 
          >> cpplinq::to_vector(); // yields (0,1), (1,2), (2,3), (3,4), (4,5)

for(auto p : pairs)
    f(p.first, p.second);
于 2013-11-12T12:13:30.233 回答