タイプ消去C++出力イテレータ

Question

タイプを出力イテレータから消去するにはstd::insert_iteratorと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、reference_type、distance_typeとpointer_typeは全てvoidであるが、非ボイド値へのバッキング・イテレータを介して間接的にできるようにany_iterator期待します。おそらくany_value_iteratorという名前の方がいいでしょう。それはdetailクラステンプレートです。

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); 
    }