Функции шаблона с STL Векторы ломаются с новым распределителем
У меня есть тонна функций, которые определены как что-то вроде:
template<typename T>
void myFunction1(vector<T>& vin);
Дело в том, что я ввожу вектор STL и выполняю некоторую работу.
Недавно мне нужно было изменить распределитель по умолчанию на распределитель клиентов. Кажется, это нарушает каждую функцию, если я не изменю определения на:
template<typename T, typename Alloc>
void myFunction1(vector<T,Alloc>& vin);
Чтобы сделать это более сложным, я не буду использовать перегруженный распределитель во всех случаях ..
Означает ли это, что мне нужно переписать КАЖДУЮ функцию с двумя определениями, одно с шаблоном для распределителя, а другое определение без распределителя? Я действительно надеюсь, что это не ответ …
Решение
Вполне достаточно иметь один единственный шаблон функции, который соответствует шаблону полного класса. Гипотетически, это будет делать:
template <typename T, typename Alloc>
void myFunction1(std::vector<T, Alloc> & v);
каждый вектор имеет эти два аргумента, независимо от того, установлен ли по умолчанию один распределитель или нет.
Однако на самом деле более плодотворная идиома — сделать весь контейнер шаблоном:
template <typename V>
void myFunction1(V & v)
{
typedef typename V::value_type value_type;
// ...
}
Другие решения
Более простым решением может быть реализация ваших функций в терминах итераторов, как это делается в стандартных библиотечных алгоритмах:
template <typename Iterator>
void myFunction1(Iterator1 first, Iterator2 last) { .... }
Я думаю, что вы тоже изменили свой шаблон.
Но хорошая новость в том, что вы можете изменить свой шаблон так:
template <typename MyVector>
void myFunction1(MyVector& vin);
Вам не нужно предоставлять две перегрузки для каждого шаблона функции. Просто предоставьте двухпараметрический. std::vector имеет два параметра шаблона, поэтому оба будут выведены просто отлично.