Инкремент boost :: variant value

Question

У меня есть переменная варианта, где различные типы реализуют все operator++. Я хотел бы применить инкремент непосредственно к переменной варианта. Есть ли простой способ сделать это? Или мне нужно применить его в коммутаторе на каждом типе?

Простой пример с СТЛ итераторов:

typedef boost::variant< 
    std::vector<double>::iterator, 
    std::vector<double>::reverse_iterator, 
    std::set<double>::iterator, 
    std::set<double>::reverse_iterator 
> AnyIterator; 

void incr(AnyIterator& ai) 
{ 
    ++adi; // this doesn't compile: no match for operator++ blah blah blah 

    // Have I really to write this kind of ugly thing ? 
    if(ai.type() == typeid(std::vector<double>::iterator)) 
    ++boost::get<std::vector<double>::iterator>(ai); 
    else if(ai.type() == typeid(std::vector<double>::reverse_iterator)) 
    ++boost::get<std::vector<double>::reverse_iterator>(ai); 
    else if(ai.type() == typeid(std::set<double>::iterator)) 
    ++boost::get<std::set<double>::iterator>(ai); 
    else if(ai.type() == typeid(std::set<double>::reverse_iterator)) 
    ++boost::get<std::set<double>::reverse_iterator>(ai); 
} 

Примечание: Я использую GCC 4.8.1 и Повысьте 1,57. Я не хочу решения с C++ 11, я не могу использовать его из-за совместимости со старыми версиями gcc.

Answer 1

Вы можете определить общий функтор, а затем использовать boost::apply_visitor с этим функтора:

namespace detail { 
struct incrementer { 
    template< typename T > 
    void operator()(T& x) const { ++x; } 
    typedef void result_type; 
}; 
} 

void incr(AnyIterator& ai) 
{ 
    boost::apply_visitor(detail::incrementer(),ai); 
}