C++ 11：</p> <pre><code>template<typename T> void f(T t) { ... } </code></pre> <p>，我想寫對於所有基本的整數類型專業化：對於整數類型

Question

假設我有一個模板函數模板功能專業化。做這個的最好方式是什麼？

我的意思是：

template<typename I where is_integral<I>::value is true> 
void f(I i) 
{ 
    ... 
} 

和編譯器會選擇整數類型的第二個版本，以及其他一切的第一個版本？

Answer 1

使用SFINAE

// For all types except integral types: 
template<typename T> 
typename std::enable_if<!std::is_integral<T>::value>::type f(T t) 
{ 
    // ... 
} 

// For integral types only: 
template<typename T> 
typename std::enable_if<std::is_integral<T>::value>::type f(T t) 
{ 
    // ... 
} 

注意，您必須包含完整的std::enable_if即使對於聲明也返回值。

Answer 2

使用C++ 11的std :: enable_if（http://en.cppreference.com/w/cpp/types/enable_if）可以用來做：

template<typename T, class = typename std::enable_if<std::is_integral<T>::value>::type> 
void f(T t) {...} 

Answer 3

您可以使用一個輔助的模板，你可以專注是這樣的：

#include <string> 
#include <iostream> 
#include <type_traits> 

template <typename T, bool = std::is_integral<T>::value> 
struct Foo { 
     static void bar(const T& t) { std::cout << "generic: " << t << "\n"; } 
}; 
template <typename T> 
struct Foo<T, true> { 
     static void bar(const T& t) { std::cout << "integral: " << t << "\n"; } 
}; 

template <typename T> 
static void bar(const T& t) { 
     return Foo<T>::bar(t); 
} 

int main() { 
     std::string s = "string"; 
     bar(s); 
     int i = 42; 
     bar(i); 
     return 0; 
} 

輸出：

generic: string 
integral: 42 

Answer 4

我會用重載決議。這使您不必使用總的SFINAE黑客。不幸的是，有很多地方你無法避免它，但幸運的是不是其中之一。

template<typename T> 
void f(T t) 
{ 
    f(t, std::is_integral<T>()); 
} 

template<typename T> 
void f(T t, std::true_type) 
{ 
    // ... 
} 

template<typename T> 
void f(T t, std::false_type) 
{ 
    // ... 
}