Qu'est-ce que “l'Expression SFINAE”?

Expression SFINAE s'explique assez bien dans le papier que vous lié, je pense. C'est SFINAE sur des expressions. Si l'expression à l'intérieur de decltype n'est pas valide, bien, coup de pied la fonction de la salle VIP de surcharges. Vous pouvez trouver le normatif libellé à la fin de cette réponse.

Une note sur VC++: Ils n'ont pas la mettre en œuvre complètement. Sur des expressions simples, il pourrait fonctionner, mais sur d'autres, il ne sera pas. Voir une discussion dans les commentaires sur cette réponse pour les exemples qui échouent. Pour faire simple, cela ne fonctionne pas:

#include <iostream>

//catch-all case
void test(...)
{
  std::cout << "Couldn't call\n";
}

//catch when C is a reference-to-class type and F is a member function pointer
template<class C, class F>
auto test(C c, F f) -> decltype((c.*f)(), void()) //'C' is reference type
{
  std::cout << "Could call on reference\n";
}

//catch when C is a pointer-to-class type and F is a member function pointer
template<class C, class F>
auto test(C c, F f) -> decltype((c->*f)(), void()) //'C' is pointer type
{
  std::cout << "Could call on pointer\n";
}

struct X{
  void f(){}
};

int main(){
  X x;
  test(x, &X::f);
  test(&x, &X::f);
  test(42, 1337);
}

Avec Clang, ce extrants attendus:

Pourrait appeler avec référence

Pourrait appeler avec le pointeur

Ne pouvais pas appeler

Avec MSVC, je reçois... eh bien, une erreur de compilateur:

1>src\main.cpp(20): erreur C2995: "l'inconnu du type de test(C,F)' : modèle de fonction a déjà été défini 
1> src\main.cpp(11) : voir la déclaration de 'test' 

Il semble également que GCC 4.7.1 n'est pas tout à fait à la hauteur:

source.cpp: En substitution de " modèle decltype (c.*f(), void())) test(C, F) [avec C = X* F = void (X::*)()]': 
source.rpc:29:17: obligatoire à partir d'ici 
source.rpc:11:6: erreur: ne peut pas appliquer pointeur de membre de " f " à "c", ce qui est de la non-type de classe 'X*' 
source.cpp: En substitution de " modèle decltype (c.*f(), void())) test(C, F) [avec C = int; F = int]': 
source.rpc:30:16: obligatoire à partir d'ici 
source.rpc:11:6: erreur: 'f' ne peut pas être utilisé comme un pointeur de membre, car il est de type 'int' 

Un usage courant de l'Expression SFINAE est lors de la définition des traits, comme un trait de vérifier si une classe de sport une certaine fonction de membre:

struct has_member_begin_test{
  template<class U>
  static auto test(U* p) -> decltype(p->begin(), std::true_type());
  template<class>
  static auto test(...) -> std::false_type;
};

template<class T>
struct has_member_begin
  : decltype(has_member_begin_test::test<T>(0)) {};

Exemple vivant. (Qui, de façon surprenante, fonctionne à nouveau sur GCC 4.7.1.)

Voir aussi cette réponse de la mine, qui utilise la même technique dans un autre environnement (aka sans traits).

---

Normatif libellé:

§14.8.2 [temp.deduct]

p6 À certains points dans le modèle argument processus de déduction, il est nécessaire de prendre un type de fonction qui rend l'utilisation de paramètres de modèle et de remplacer ces paramètres de modèle avec le modèle correspondant arguments. Ceci est fait au début de l'argument de modèle déduction lors de toute explicitement spécifié modèle arguments sont remplacées dans le type de fonction, et de nouveau à la fin de l'argument de modèle déduction lors de n'importe quel modèle les arguments qui ont été déduites ou obtenus à partir des arguments par défaut sont substitués.

p7 La substitution se produit dans tous les types et expressions qui sont utilisés dans le type de fonction et paramètre de modèle déclarations. Les expressions ne comprennent pas seulement des expressions constantes tels que ceux qui apparaissent dans les limites du tableau ou comme nontype arguments de modèle mais aussi des expressions générales (c'est à dire, non des expressions constantes) à l'intérieur de sizeof, decltype, et d'autres contextes qui permettent non des expressions constantes.

p8 Si une substitution des résultats dans un type non valide ou d'une expression, le type de déduction échoue. Un type non valide ou d'une expression en est une qui serait mal formé s'écrit à l'aide de la substitution des arguments. [...]