如何使用 BOOST_FOREACH 同时迭代两个向量？

Question

我想用 BOOST FOREACH 复制以下内容

std::vector<int>::const_iterator i1;
std::vector<int>::const_iterator i2;
for( i1 = v1.begin(), i2 = v2.begin();
     i1 < v1.end() && i2 < v2.end();
     ++i1, ++i2 )
{
     doSomething( *i1, *i2 );
}

Answer 1

同时迭代两个事物称为“zip”（来自函数式编程），并且 Boost 有一个 zip 迭代器：

zip 迭代器提供了并行迭代多个
同时控制序列。构建了 zip 迭代器
来自迭代器元组。移动 zip 迭代器会移动所有
并行迭代器。取消引用 zip 迭代器会返回一个元组
其中包含取消引用各个迭代器的结果。

请注意，它是一个迭代器，而不是范围，因此要使用 BOOST_FOREACH，您必须将其中两个填充到 iterator_range 或 pair。所以它不会很漂亮，但是稍微小心一点，您可能可以想出一个简单的 zip_range 并编写：

BOOST_FOREACH(boost::tuple<int,int> &p, zip_range(v1, v2)) {
    doSomething(p.get<0>(), p.get<1>());
}

或者 2 的特殊情况并使用 std::pair code> 而不是 boost::tuple。

我想，由于 doSomething 可能有参数 (int&, int&)，实际上我们想要一个 tuple 。希望它有效。

Answer 2

如果你使用 boost，我认为它应该像这样简单：

#include <boost/foreach.hpp>
#include <boost/range/combine.hpp>
std::vector<int> v1;
std::vector<int> v2;

// iterate over values
int i1, i2;
BOOST_FOREACH(boost::tie(i1, i2), boost::combine(v1, v2))
    std::cout << i1+i2 << "\n"; // sums two vectors

// iterate over references
typedef boost::tuple<int&, int&> int_ref_tuple;
BOOST_FOREACH(int_ref_tuple tup, boost::combine(v1, v2))
    tup.get<0>() = tup.get<1>(); // assigns one vector to another

奇怪的部分是 boost::combine 没有记录。无论如何，对我有用。

Answer 3

如果您想使用 BOOST_FOREACH 同时迭代两个向量，就像您在示例代码中所做的那样，那么您必须将这两个向量封装在一个包装类中，该类应该公开 begin 和 end 函数。这些函数返回自定义迭代器，用于迭代包装器，包装器内部将迭代两个向量。听起来不太好，但这就是你必须做的。

这是我第一次尝试实现这个（最小实现只是为了演示基本思想）：

template<typename T>
struct wrapper
{
    struct iterator
    {
         typedef typename std::vector<T>::iterator It;
         It it1, it2;
         iterator(It it1, It it2) : it1(it1), it2(it2) {}
         iterator & operator++()
         {
            ++it1; ++it2; return *this;
         }
         iterator & operator *()
         {
            return *this;
         }
         bool operator == (const iterator &other)
         {
             return !(*this != other);
         }
         bool operator != (const iterator &other)
         {
             return it1 != other.it1 && it2 != other.it2;
         }
    };
    iterator begin_, end_;
    wrapper(std::vector<T> &v1,  std::vector<T> &v2) 
      : begin_(v1.begin(), v2.begin()),end_(v1.end(), v2.end())
    {
    }
    wrapper(const wrapper & other) : begin_(other.begin_), end_(other.end_) {}
    iterator begin() 
    {
          return begin_;
    }
    iterator end() 
    {
          return end_;
    }    
};

以下是测试代码。因为它使用通常的 for 循环，因为 ideone 尚未安装 for boost for C++0x 或者我在包含它时做错了什么。

int main() {
        std::vector<int> v1 = {1,2,3,4,5,6};
        std::vector<int> v2 = {11,12,13,14,15};
        wrapper<int> w(v1,v2);
        for(wrapper<int>::iterator it = w.begin(); it != w.end(); ++it)
        {
             std::cout << *it.it1 <<", "<< *it.it2 << std::endl;
        }
        return 0;
}

输出：

1, 11
2, 12
3, 13
4, 14
5, 15

演示： http://ideone.com/Hf667

这仅适用于实验和学习目的，因为我没有声明它做到完美。可以有很多改进。 @Steve 已经发布了 boost 的解决方案。

Answer 4

感谢 Steve Jessop 的回答和精彩评论，我提出了以下解决方案，所以如果您觉得不错，请先投票给 Steve Jessop 的答案。 ;)

#include <iostream>
#include <vector>

#include <boost/typeof/typeof.hpp>
#include <boost/typeof/std/vector.hpp>

#include <boost/foreach.hpp>
#include <boost/assign/list_of.hpp>
#include <boost/tuple/tuple.hpp>
#include <boost/iterator/zip_iterator.hpp>
#include <boost/range/iterator_range.hpp>

using namespace boost;

int main(int argc, char **argv) {
    std::vector<int> vecFirst = assign::list_of(1)(2)(3)(43)(7)(13);
    std::vector<double> vecSecond = assign::list_of(53.45)(-23.545)(0.1574)(1.001)(0.0047)(9.7);

    BOOST_AUTO(zipSequence,
       make_iterator_range(
           make_zip_iterator(make_tuple(vecFirst.begin(), vecSecond.begin())), 
           make_zip_iterator(make_tuple(vecFirst.end(), vecSecond.end()))
       )
    );

    BOOST_FOREACH( BOOST_TYPEOF(*zipSequence.begin()) each, zipSequence) {
       std::cout << "First vector value : " << each.get<0>() 
                 << " - Second vector value : " << each.get<1>() 
                 << std::endl;
    }
}