std::enable_if : paramètre vs paramètre de modèle

Je suis en train de construire une entrée vérificateur doit avoir des fonctions spécifiques pour l'entier et/ou double (par exemple "isPrime" devrait être disponible uniquement pour les entiers).

Si je suis en utilisant enable_if comme un paramètre il fonctionne parfaitement :

template <class T>
class check
{
public:
   template< class U = T>
   inline static U readVal(typename std::enable_if<std::is_same<U, int>::value >::type* = 0)
   {
      return BuffCheck.getInt();
   }

   template< class U = T>
   inline static U readVal(typename std::enable_if<std::is_same<U, double>::value >::type* = 0)
   {
      return BuffCheck.getDouble();
   }   
};

mais si je suis en utilisant comme modèle paramater (tel que démontré sur http://en.cppreference.com/w/cpp/types/enable_if )

template <class T>
class check
{
public:
   template< class U = T, class = typename std::enable_if<std::is_same<U, int>::value>::type >
   inline static U readVal()
   {
      return BuffCheck.getInt();
   }

   template< class U = T, class = typename std::enable_if<std::is_same<U, double>::value>::type >
   inline static U readVal()
   {
      return BuffCheck.getDouble();
   }
};

alors que j'ai l'erreur suivante :

error: template<class T> template<class U, class> static U check::readVal()’ cannot be overloaded
error: with template<class T> template<class U, class> static U check::readVal()’

Je ne peux pas comprendre ce qui est mauvais dans la deuxième version.

  • Probablement pas pertinentes, mais dans VS2010 je ne peux pas le faire parce que le modèle par défaut, les arguments sont autorisés uniquement pour les modèles de classe - je ne sais pas à propos de g++
  • C'est pédant, mais le inline mot clé sur un membre de méthode ou modèle n'est pas nécessaire, et certainement pas un membre qui est également un modèle 😉