std :: for_eachは複数のイテレータの範囲で作業しています

Question

ラムダ表記により、stlアルゴリズムのアクセシビリティが向上しました。私はそれがいつ役に立つのか、良い時代のfor-loopsにいつ陥るのかを決めることを学んでいます。 対応する要素が関連しているが、なんらかの理由で同じクラスにパックされないように、同じサイズの2つ（またはそれ以上）のコンテナを繰り返し処理する必要が生じることがよくあります。

それは次のようになります達成するためにforループを使用して機能：

template<typename Data, typename Property> 
void foo(vector<Data>& data, vector<Property>& prop) { 
    auto i_data = begin(data); 
    auto i_prop = begin(prop); 
    for (; i_data != data.end(); ++i_data, ++i_prop) { 
     if (i_prop->SomePropertySatistfied()) { 
      i_data->DoSomething(); 
     } 
    } 
} 

for_eachを使用するためには、私は複数の範囲を扱うことのバージョンが必要です。以下のようなもの：このバージョンで

template<typename InputIter1, typename InputIter2, typename Function> 
Function for_each_on_two_ranges(InputIter1 first1, InputIter1 last1, InputIter2 first2, Function f) { 
    for (; first1 != last1; ++first1, ++first2) { 
     f(*first1, *first2); 
    } 
    return f; 
} 

、上記のコードは次のようになります。

template<typename Data, typename Property> 
void foo_two_ranges(vector<Data>& data, vector<Property>& prop) { 
    for_each_on_two_ranges(begin(data), end(data), begin(prop), [](Data& d, Property& p) { 
     if (p.SomePropertySatistfied()) { 
      d.DoSomething(); 
     } 
    }); 
} 

は、STLのアルゴリズムを使用して同じ結果を達成するための同等の方法はありますか？

EDITは私が範囲::ブースト上で実行されているブースト:: for_eachの形で私の質問に正確な答えを見つけました。私は完全性のためにサンプルコードを使って答えを加えました。

Answer 1

1）STLのアルゴリズムは、for_each_on_two_rangesが必要な場合には、すべての可能なケースをカバーするものではありません。 STLの美しさは拡張性があり、あなたはそれを有用な新しいアルゴで拡張しました。

2）これでうまくいかない場合は、古い旧式のfor-loopsを使用する必要はありません。代わりに新しいfor-loopsを使用することができます。

もう1つの答えとして、boost::zip_iteratorはあなたの友人ですが、使用するのは難しくありません。ここでzip関数はboost::zip_iteratorを返すbegin()とend()部材とアダプタを作成することzip_iterator

template<typename Data, typename Property> 
void foo(vector<Data>& data, vector<Property>& prop) { 
    for (auto i : redi::zip(data, prop)) 
     if (i.get<1>().SomePropertySatistfied()) 
      i.get<0>.DoSomething(); 
} 

を用いて実施される範囲のアダプタを使用して溶液ですので、ループ変数は、それぞれ下にあるコンテナの要素のタプル（ありますそして、あなたはまた、for_each

でそれを使用することができ

）それはあなたがコンテナの任意の数のためにそれを行うことができ可変長テンプレートですので、あなたは for_each_for_three_rangesと for_each_for_four_rangesなどを記述する必要はありませんように10

auto z = redi::zip(data, prop); 
typedef decltype(z)::iterator::reference reference; 

for_each(begin(z), end(z), [](reference i) { 
    if (i.get<1>().SomePropertySatistfied()) { 
     i.get<0>().DoSomething(); 
    } 
}); 

Answer 2

std::transformは、2つのシーケンスを並列に処理する過負荷を持ちます。あなたは何かを収集することに興味がない場合は、結果を吸収するためにnull出力イテレータが必要になります。

Answer 3

いくつかの回答が示唆するようにboost :: zip_iteratorとboost :: iterator_rangeを読んだところ、私はextension algorithms in boost::rangeを見つけ、2つの範囲に対して書いたアルゴリズムの正確な並列性を確認しました。例えば

作業コードは、@ジョナサンWakelyが提案するものと心の中で類似したいくつかのラッパーとユーティリティ機能は、これをさらに使いやすくすることができます

#include <boost/range/algorithm_ext/for_each.hpp> 

template<typename Data, typename Property> 
void foo_two_ranges(vector<Data>& data, vector<Property>& prop) { 
    auto rng1 = boost::make_iterator_range(data.begin(), data.end()); 
    auto rng2 = boost::make_iterator_range(prop.begin(), prop.end()); 
    boost::for_each(rng1, rng2, [](Data& d, Property& p) { 
     if (p.SomePropertySatistfied()) { 
      d.DoSomething(); 
     } 
    }); 
} 

だろう。