Функция вызова, если есть, игнорировать иначе

Question

Теперь я хочу создать шаблон, который будет подталкивать некоторые элементы к векторам и другим типам, поддерживающим операторы 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

Это простой способ достичь этого?

Я знаю, что я могу специализировать жестко кодированные типы, но это не кажется хорошим.

C++ 11 в порядке.

Answer 1

Простой пример использования C++ 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; 
} 

Live example. Для объяснения, посмотрите here.

Answer 2

Не слишком сложно .... вам нужно написать признак, который обнаруживает наличие функции-члена запаса с правильной подписью. С помощью этого инструмента в вашем поясе существуют разные подходы, вы можете написать функцию шаблона reserve_, которая использует эту черту для отправки либо на вызов reserve(), либо без оператора, и вызывать его из // (1), или вы можете использовать SFINAE либо в помощнике, либо в режиме fill. Я бы попытался использовать вспомогательную функцию, так как большая часть кода в заполнении одинакова.

Detect, если void reserve(std::size_t) функция член существует в C++ 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); 
}; 

Answer 3

Возможный подход в C++ 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; 
} 

Вот live example показывает, что вызов reserve() просто пропускается с UDT, который не определяет какой-либо функции reserve() члена.