Как объявить этот алгоритм?

Question

Я хочу объявить алгоритм, который принимает пару итераторов и критерий. Затем он возвращает вектор элементов из диапазона итераторов, которые соответствуют критерию.

template <typename TIterator, typename TCriterium> 
std::vector< Type that I will get after dereferencing TIterator > 
filter (TIterator begin, TIterator end, TCriterium passes); 

Я могу использовать возможности C++ 11, такие как decltype или auto. Я пробовал:

#include <vector> 

template <typename TIterator, typename TCriterium> 
auto filter (TIterator begin, TIterator end, TCriterium passes) 
         -> std::vector< decltype(*begin) > 
{ 
} 

int main() 
{ 
    std::vector<int*> vector; 
    filter(vector.begin(), vector.end(), 0); 
    return 0; 
} 

Но это не работает. Я получаю:

/usr/include/c++/4.7/ext/new_allocator.h:59: 
error: forming pointer to reference type 'int*&' 

Answer 1

Вы могли бы использовать:

std::vector<typename std::iterator_traits<TIterator>::value_type> 

В качестве типа возвращаемого вашей функции, которые затем стали:

#include <vector> 
#include <iterator> 

// ... 

template <typename TIterator, typename TCriterium> 
std::vector<typename std::iterator_traits<TIterator>::value_type> filter(
    TIterator begin, TIterator end, TCriterium passes) 
{ 
    // Body... 
} 

Если вы хотите пойти decltype путь, то вы можете сделать:

#include <vector> 
#include <type_traits> 

// ... 

template <typename TIterator, typename TCriterium> 
auto filter (TIterator begin, TIterator end, TCriterium passes) 
    -> std::vector< typename std::decay<decltype(*begin)>::type > 
{ 
} 

Answer 2

Возможно, вы посмотрите на std::remove_reference и заголовок type_traits для управления типами

Answer 3

Используйте std::vector<typename std::iterator_traits<TIterator>::value_type> или, возможно, std::vector<typename std::decay<decltype(*begin)>::type>. Я бы предпочел первый.

Answer 4

*begin является ссылкой, так что вам нужно удалить, что:

-> std::vector< std::remove_reference<decltype(*vector)>::type > 

хотя, прочитав другие ответы, я бы, вероятно, предпочитают использовать iterator_traits здесь.

Answer 5

Вы можете использовать std::iterator_traits получить тип используемого итератора:

template <typename TIterator, typename TCriterium> 
auto filter (TIterator begin, TIterator end, TCriterium passes) 
        -> std::vector<std::iterator_traits<TIterator>::value_type>