Spécialiser modèle pour un ensemble de valeurs

Question

je peux spécialiser un modèle:

template <class T> T f(T x){ ... } 
template <> int f(T x) { ... } 

Pour autant que je sache, je ne peux pas se spécialiser pour un ensemble de T? Par exemple, pour plusieurs types numériques, tels que:

template <class T> T f(T x){ ... } 
template <> (int, double) f(T x) { ... } 

Les paranthèses ronds (int, double) représenterait donc un ensemble de types.

Answer 1

j'écrire une classe de trait de type pour la commodité (car il n'y en a pas dans la bibliothèque standard) pour vérifier si un type est le même que celui d'une liste de types:

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 { }; 

Maintenant, vous peut l'utiliser avec enable_if pour permettre conditionaly la surcharge (pas spécialisation):

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() { /* ... */ } 

Cela signifie malheureusement que l'appel à f est ambigu si T se trouve dans la liste des types. Si vous avez vraiment besoin de deux surcharges, vous pouvez corriger cela en faisant la même chose avec l'autre surcharge, seulement avec la condition enable_if inversée (en faisant "disable_if").