Теперь я хочу создать шаблон, который будет подталкивать некоторые элементы к векторам и другим типам, поддерживающим операторы push_back.
Я могу сделать это вот так:
template<typename T>
T fill(size_t n) {
T v;
//(1)
for(size_t i = 0; i < n; ++i){
v.push_back(generate_some_how());
}
return v;
}
Это работает. Но теперь я хочу улучшить скорость для типов, которые поддерживают его, используя v.reserve(n); вместо (1). Но я хочу по-прежнему скомпилировать этот код для типов, которые не будут компилироваться reserve
Это простой способ достичь этого?
Я знаю, что я могу специализировать жестко кодированные типы, но это не кажется хорошим.
С++ 11 в порядке.
Простой пример с использованием С++ 11:
template<class T>
auto maybe_reserve(T& v, size_t n, int)
-> decltype(v.reserve(n), void())
{
v.reserve(n);
}
template<class T>
void maybe_reserve(T&, size_t, long){}
template<typename T>
T fill(std::size_t n) {
T v;
maybe_reserve(v, n, 0);
for(size_t i = 0; i < n; ++i){
v.push_back(generate_some_how());
}
return v;
}
Живой пример. Для пояснений посмотрите здесь.
Возможный подход в С++ 11:
template<typename T, typename = void>
struct reserve_helper
{ static void call(T& obj, std::size_t s) { } };
template<typename T>
struct reserve_helper<T, decltype(std::declval<T>().reserve(0), void(0))>
{ static void call(T& obj, std::size_t s) { obj.reserve(s); } };
template<typename T>
T fill(std::size_t n)
{
T v;
reserve_helper<T>::call(v, 10);
for(std::size_t i = 0; i < n; ++i){
v.push_back(generate_somehow());
}
return v;
}
Вот живой пример, показывающий, что вызов reserve() просто пропускается с UDT, который не работает 't определить любую функцию члена reserve().
Не слишком сложно.... вам нужно написать признак, который обнаруживает наличие функции-члена резерва с правильной подписью. С помощью этого инструмента в вашем поясе существуют разные подходы, вы можете написать функцию шаблона reserve_, которая использует эту черту для отправки на вызов reserve() или no-op и вызывать его из // (1), или вы можете использовать SFINAE либо в помощнике, либо в самом fill. Я бы попытался использовать вспомогательную функцию, так как большая часть кода в заполнении одинакова.
Определить, существует ли функция-член void reserve(std::size_t) в С++ 03:
template <typename T>
struct has_reserve {
typedef char yes;
typedef yes no[2];
template <typename U, U> struct ptrmbr_to_type;
template <typename U>
static yes& test(ptrmbr_to_type<void (T::*)(std::size_t),&U::reserve>*);
template <typename U> static no& test(...);
static const bool value = sizeof(test<T>(0))==sizeof(yes);
};