Шаблоны функций для произвольных контейнеров STL, содержащих произвольные типы

Question

У меня есть произвольный контейнер STL C, который содержит элементы произвольного типа T. Я хочу создать std :: vector, который имеет копию всех элементов. Какой самый чистый способ сделать это?

template <typename C>
void myfunction(C container){

     /*Derive the type T of elements within the container*/

     std::vector<T> mystack;

    /* Iterate over container and push_back() the elements into mystack*/
} 

Answer 1

Структуры

STL, такие как vector и set, должны содержать тип value_type, который определен как T.

std::vector<typename C::value_type> mystack;

Кстати, вам не нужно перебирать контейнер самостоятельно. Просто используйте

template <typename C>
void myfunction(const C& container){
  std::vector<typename C::value_type> mystack(container.begin(), container.end());
  ...
}

Answer 2

Для контейнеров Кенни дал правильное решение.Тем не менее, многие функции в C ++ принимают пары итераторов вместо контейнеров ... ту же логику можно применить здесь.Итераторы используют iterator_traits для предоставления информации о связанных с ними типах:

template <typename It>
void myfunction(It start, It end) {
    // Get value for iterator:

    typedef typename std::iterator_traits<It>::value_type T;

    // Do something, e.g. calculate the minimum:

    T min_value = *std::min_element(start, end);
}

Кстати, typename необходимо в typedef, поскольку value_type является так называемой зависимой тип, т.е. это зависит от природы аргумента шаблона, и компилятор C ++ не может самостоятельно определить, что в этом контексте он ссылается на имя типа (а не, скажем, статический метод или переменную).