c++ - 型消去された C++ 出力反復子

Question

出力イテレータから型をstd::insert_iteratorandとして消去する方法はstd::back_insert_iterator? ブーストany_iteratorを使用してそうすることは可能ですか?

#include <boost/range.hpp>
#include <boost/range/detail/any_iterator.hpp>
#include <vector>

typedef boost::range_detail::any_iterator<
    int, boost::incrementable_traversal_tag, int &, std::ptrdiff_t > It;

int main()
{
    std::vector<int> v;
    It outIt( v.begin() ); // compiles
    It inserter( std::back_inserter(v) ); // does not compile
    return 0;
}

Answer 1

any_iteratorは、出力イテレータback_insert_iterator（または、さらに言えば、入力イテレータ）で使用するようには設計されていません。

back_insert_iteratorは、から継承するように定義されています。iterator<output_iterator_tag, void, void, void, void>つまり、、、value_typeおよびはすべてですが、バッキングイテレータを介して非void値に間接化できることを期待しています。おそらくそれはより良い名前になるでしょう; しかし、それはクラステンプレートです。reference_typedistance_typepointer_typevoidany_iteratorany_value_iteratordetail

Answer 2

そこで、Boost を使用して独自のものを実装しました。

#include <boost/function_output_iterator.hpp>
#include <boost/function.hpp>

template < class T >
class AnyInserter : public boost::function_output_iterator< boost::function< void ( const T & value ) > >
{
private:
    typedef typename boost::function_output_iterator< boost::function< void ( const T & value ) > > BaseType;
    template < class OutIt > struct Insert
    {
        Insert( OutIt it ) : m_it(it) {}
        void operator () ( const T & value ) { m_it++ = value; }
        OutIt m_it;
    };
public:
    template < class OutIt >
        explicit AnyInserter( const OutIt & it ) : BaseType( Insert< OutIt >(it) ) {}
};

template < class OutIt >
    inline AnyInserter< typename OutIt::container_type::value_type >
    makeAnyInserter( const OutIt & it ) 
    {
        return AnyInserter< typename OutIt::container_type::value_type >(it);
    }