专门针对一组值的模板

Question

我可以专门化一个模板：

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）将代表一整套类型。

Answer 1

为了方便起见，我将编写一个类型特征类（因为标准库中没有一个）来检查类型是否与类型列表之一相同：

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一起使用，以有条件地启用重载 （ 不是专门化）：

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”）。