std :: remove_ifは述語を順番に呼び出すことが保証されていますか？

Question

std :: remove_ifは、（イテレータの順序に従って）各要素の述語を常に呼び出すか、順不同で呼び出すことができますか？

void processVector(std::vector<int> values) 
{ 
    values.erase(std::remove_if(values.begin(), values.end(), [](int v) 
    { 
     if (v % 2 == 0) 
     { 
      std::cout << v << "\n"; 
      return true; 
     } 
     return false; 
    })); 
} 

私が処理し、一定の基準を満たすベクトルのすべての要素を削除し、消去+ remove_ifは、そのための完璧なようだする必要があります。ここでは

は私がやりたいもののおもちゃの一例です。しかし、私が行う処理には副作用があり、処理が順番に行われるようにする必要があります（おもちゃの例では、値を元のベクトルの順序で印刷したいと仮定します）。

私の述語が各項目に対して順番に呼び出されると想定するのは安全でしょうか？

私は、C++ 17の実行ポリシーがこれを曖昧にしていると思いますが、C++ 17はまだ出ていないので、明らかに私を助けません。

編集：これは良い考えですか？または、これを達成するためのより良い方法がありますか？

Answer 1

標準では、述語の呼び出し順序を保証していません。

あなたが使用すべきものはstable_partitionです。あなたの述語に基づいてシーケンスを分割します。 stable_partitionは、両方のデータセットの相対的な順序が保証されているため、パーティション化されたシーケンスを歩き回り、 "副作用"を実行することができます。次に、vectorから要素を消去することができます。

stable_partitionここでは、erase_ifは「消去済み」要素の内容を未定義にしているため、ここで使用する必要があります。コードで

：

void processVector(std::vector<int> values) 
{ 
    auto it = std::stable_partition(begin(values), end(values), [](int v) {return v % 2 != 0;}); 

    std::for_each(it, end(values), [](int v) {std::cout << v << "\n";}); 

    values.erase(it, end(values)); 
} 

Answer 2

彼らは順序で処理されなければならないが、それはを保証ではありません。

std::remove_if() "removed"アイテムをコンテナの最後に移動しますが、実際にはerase()が呼び出されるまでコンテナから削除されません。どちらの操作も、std::vectorの既存のイテレータを無効にする可能性があります。