Pourquoi aucun de ces modèles de fonctions ne correspond-il aux instanciations ?
Question
Le code suivant ne parvient pas à se compiler avec Intel C++ 2013.
#include <type_traits>
#include <iostream>
template <
typename T,
typename std::enable_if<std::is_integral<T>::value>::type
>
void myfunc( T a)
{
std::cout << a << std::endl;
}
template <
typename T,
typename std::enable_if<!std::is_integral<T>::value>::type
>
void myfunc( T a)
{
std::cout << a << std::endl;
}
int main()
{
double a;
int b;
myfunc(a);
myfunc(b);
return 0;
}
Voici le résultat de l'erreur :
ConsoleApplication1.cpp(33): error : no instance of overloaded function "myfunc" matches the argument list
1> argument types are: (double)
1> myfunc(a);
1> ^
1>
1>ConsoleApplication1.cpp(34): error : no instance of overloaded function "myfunc" matches the argument list
1> argument types are: (int)
1> myfunc(b);
1> ^
1>
Où est-ce que je me trompe ?
La solution
La manière habituelle et correcte d'utiliser enable_if
dans une fonction est de la coller dans le type de retour.
template <typename T>
typename std::enable_if<std::is_integral<T>::value>::type myfunc(T a) {
std::cout << a << " (integral)" << std::endl;
}
template <typename T>
typename std::enable_if<!std::is_integral<T>::value>::type myfunc(T a) {
std::cout << a << " (non-integral)" << std::endl;
}
Pour votre variante, la bonne méthode est :
template <typename T,
typename = typename std::enable_if<std::is_integral<T>::value>::type>
void myfunc(T a) {
std::cout << a << " (integral)" << std::endl;
}
...le "enable_if" est un argument de modèle par défaut.Et cela ne fonctionne pas dans votre cas car cette fonction n'est pas surchargée.
Licencié sous: CC-BY-SA avec attribution
Non affilié à StackOverflow