我可以专门化一个模板：
template <class T> T f(T x){ ... }
template <> int f(T x) { ... }
据我所知，我不能专攻一整套T？例如对于几种数字类型，例如：
template <class T> T f(T x){ ... }
template <> (int, double) f(T x) { ... }
圆括号 (int, double) 将代表一整套类型。
【问题讨论】：
std::enable_if 创建重载或使用标签调度。
为了方便起见，我会编写一个类型特征类（因为标准库中没有）来检查一个类型是否与类型列表中的一个相同：
template<typename T, typename U, typename... Ts>
struct is_any_of : is_any_of<T,Ts...> { };
template<typename T, typename... Ts>
struct is_any_of<T,T, Ts...> : std::true_type { };
template<typename T, typename U>
struct is_any_of<T,U> : std::false_type { };
现在您可以将它与enable_if 一起使用来有条件地启用重载（not 特化）：
template <class T> T f() { /* ... */ }
// unlike normal functions, function templates can be overloaded on return types!
template<typename T>
std::enable_if<
is_any_of< T, int, double, float, short, std::complex<double> >::value,
T
>::type
f() { /* ... */ }
不幸的是，如果在类型列表中找到T，则对f 的调用是不明确的。如果您确实需要两个重载，您可以通过对另一个重载执行相同的操作来解决此问题，只需将 enable_if 的条件反转（有效地执行“disable_if”）。
【讨论】：