Выполнение взаимозаменяемого итератора вперёд/назад для диапазона

Question

Я хотел иметь возможность повторять коллекции (я буду делать это только на векторах, если это важно) в обратном порядке с простым стилем for (const auto& item : collection), и я нашел этот ответ, который отлично работал : https://stackoverflow.com/a/28139075/2195721. Но я хотел, чтобы иметь возможность перебирать вперед или назад, так что я изменил код, как показано здесь:

#include <iterator> 
#include <iostream> 
#include <vector> 

template <typename T> 
struct reversable_wrapper { 
    T& iterable; 
    bool reverse; 

    reversable_wrapper(T&& iterable) : reversable_wrapper(iterable, true) {}; 
    reversable_wrapper(T&& iterable, bool reverse) : iterable(iterable), reverse(reverse) {}; 
}; 

template <typename T> 
auto std::begin (reversable_wrapper<T> w) 
{ 
    if (w.reverse) return std::rbegin(w.iterable); 
    else return std::begin(w.iterable); 
} 

template <typename T> 
auto std::end (reversable_wrapper<T> w) 
{ 
    if (w.reverse) return std::rend(w.iterable); 
    else return std::end(w.iterable); 
} 

template <typename T> 
reversable_wrapper<T> reverse (T&& iterable) { return reversable_wrapper<T>(iterable); } 

template <typename T> 
reversable_wrapper<T> forward (T&& iterable) { return reversable_wrapper<T>(iterable, false); } 

int main() 
{ 
    std::vector<int> vec = {1,2,3}; 
    for (const auto& i : reverse(vec)) std::cout<<i<<std::endl; 
    return 0; 
} 

В общем, что я хотел достичь был for (const auto& item : cond ? forward(coll) : reverse(coll)). Тем не менее, этот код дает мне следующие ошибки:

> $ g++ -std=c++14 iterators.cpp -o iterators 
iterators.cpp: In instantiation of ‘auto std::begin(reversable_wrapper<T>) [with T = std::vector<int>&]’: 
iterators.cpp:37:37: required from here 
iterators.cpp:18:38: error: inconsistent deduction for ‘auto’: ‘std::reverse_iterator<__gnu_cxx::__normal_iterator<int*, std::vector<int> > >’ and then ‘__gnu_cxx::__normal_iterator<int*, std::vector<int> >’ 
    else return std::begin(w.iterable); 
            ^
iterators.cpp: In instantiation of ‘auto std::end(reversable_wrapper<T>) [with T = std::vector<int>&]’: 
iterators.cpp:37:37: required from here 
iterators.cpp:25:36: error: inconsistent deduction for ‘auto’: ‘std::reverse_iterator<__gnu_cxx::__normal_iterator<int*, std::vector<int> > >’ and then ‘__gnu_cxx::__normal_iterator<int*, std::vector<int> >’ 
    else return std::end(w.iterable); 

Я не могу понять, какую из подписей я могу дать std::begin и std::end преодолеть это, и если это вообще возможно.

Я использую g ++ 5.4.0.

Answer 1

Ваша проблема в том, что вы пытаетесь вернуть из своих функций один из std::vector::iterator или std::vector::reverse_iterator. К сожалению, это несвязанные типы.

Я думаю, что ваш единственный шанс написать reversible_iterator_wrapper, который содержит оба типа, и переводит его аргументы вправо. Это будет утомительно. Самый простой (но не самый эффективный) вариант, вероятно, включает в себя виртуальные функции!