iterador de salida de C++ borrado por tipo

Question

Cómo borrar tipo de iteradores de salida como std::insert_iterator y std::back_insert_iterator? ¿Es posible usar boost any_iterator para hacerlo?

#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 no está diseñado para su uso con iteradores de salida, que es lo que back_insert_iterator es (o, para el caso, iteradores de entrada).

back_insert_iterator se define a heredar de iterator<output_iterator_tag, void, void, void, void> es decir, su value_type, reference_type, distance_type y pointer_type son todos void, pero any_iterator espera para poder indirecta a través de su iterador respaldo a un valor no nulo. Tal vez sería mejor llamar any_value_iterator; pero luego es una plantilla de clase detail.

Answer 2

Así que implementé mi propio uso de 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); 
    }