[解決済み] C++の標準ライブラリにはなぜtransform_ifがないのですか？

疑問点

連続したコピーを行いたい場合、ユースケースが発生しました (1. copy_if で可能）、しかし、値のコンテナからその値へのポインタのコンテナへのコピー（2. transform ).

利用可能なツールでは する を2ステップ以内で行うことができます。

#include <vector>
#include <algorithm>

using namespace std;

struct ha { 
    int i;
    explicit ha(int a) : i(a) {}
};

int main() 
{
    vector<ha> v{ ha{1}, ha{7}, ha{1} }; // initial vector
    // GOAL : make a vector of pointers to elements with i < 2
    vector<ha*> ph; // target vector
    vector<ha*> pv; // temporary vector
    // 1. 
    transform(v.begin(), v.end(), back_inserter(pv), 
        [](ha &arg) { return &arg; }); 
    // 2. 
    copy_if(pv.begin(), pv.end(), back_inserter(ph),
        [](ha *parg) { return parg->i < 2;  }); // 2. 

    return 0;
}

もちろん remove_if で pv を追加することで、一時的なものは不要になります。 を実装する (単項演算のために)このようなものを実装することは難しくありません。

template <
    class InputIterator, class OutputIterator, 
    class UnaryOperator, class Pred
>
OutputIterator transform_if(InputIterator first1, InputIterator last1,
                            OutputIterator result, UnaryOperator op, Pred pred)
{
    while (first1 != last1) 
    {
        if (pred(*first1)) {
            *result = op(*first1);
            ++result;
        }
        ++first1;
    }
    return result;
}

// example call 
transform_if(v.begin(), v.end(), back_inserter(ph), 
[](ha &arg) { return &arg;      }, // 1. 
[](ha &arg) { return arg.i < 2; });// 2.

1. 利用可能なC++標準ライブラリツールで、よりエレガントな回避策はありますか？
2. なぜ transform_if がライブラリに存在しないのはなぜですか？既存のツールの組み合わせは十分な回避策であり、かつ/またはパフォーマンス的によく動作すると考えられますか？

どのように解決するのですか?

標準ライブラリは初歩的なアルゴリズムを好んで使用します。

コンテナとアルゴリズムは、可能であれば互いに独立したものであるべきです。

同様に、既存のアルゴリズムから構成できるアルゴリズムは、省略記法としてまれにしか含まれません。

もしあなたが変換を必要とするならば、あなたはそれを簡単に書くことができます。もしあなたが/today/にそれを必要とし、既製品から構成され、オーバーヘッドを発生させないならば、範囲ライブラリの 遅延範囲 のようなものを使うことができます。 ブースト・レンジ , などです。

v | filtered(arg1 % 2) | transformed(arg1 * arg1 / 7.0)

コメントで@hvdさんが指摘されているように transform_if をダブルで使うと、別の型になります ( double この場合)。合成順序は重要で、Boost Rangeを使えば、こうも書けます。

 v | transformed(arg1 * arg1 / 7.0) | filtered(arg1 < 2.0)

となり、意味合いが違ってきます。これは要点を突いています。

ほとんど意味がない を含めることができます。 std::filter_and_transform , std::transform_and_filter , std::filter_transform_and_filter などなど、標準ライブラリに .

サンプルを見る ライブオンコリル

#include <boost/range/algorithm.hpp>
#include <boost/range/adaptors.hpp>

using namespace boost::adaptors;

// only for succinct predicates without lambdas
#include <boost/phoenix.hpp>
using namespace boost::phoenix::arg_names;

// for demo
#include <iostream>

int main()
{
    std::vector<int> const v { 1,2,3,4,5 };

    boost::copy(
            v | filtered(arg1 % 2) | transformed(arg1 * arg1 / 7.0),
            std::ostream_iterator<double>(std::cout, "\n"));
}