調用函數，如果有，則忽略

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

一個簡單的例子：

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()的調用或no-op並從// (1)調用它，或者您可以在幫助程序中使用SFINAE或fill本身。我會嘗試使用輔助函數，因爲填充中的大部分代碼都是相同的。

檢測是否void reserve(std::size_t)構件函數存在於C++ 03：使用C++ 11

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()被簡單地與沒有定義任何reserve()構件功能的UDT跳過。