Comment utiliser activate_if pour sélectionner des fonctions membres en fonction des arguments du modèle ?

Sélection d'une fonction membre à l'aide de différentes conditions activate_if

La métafonction activate_if est utilisée pour spécifier les paramètres de fonction de modèle et sélectionner les fonctions membres appropriées en fonction de celles-ci. . Considérez le code suivant :

<code class="cpp">template<typename T>
struct Point
{
  // Check if T is int and call MyFunction for int
  void MyFunction(typename std::enable_if<std::is_same<T, int>::value, T &>::type* = 0)
  {
    std::cout << "T is int." << std::endl;
  }

  // Check if T is not int and call MyFunction for non-int
  void MyFunction(typename std::enable_if<!std::is_same<T, int>::value, float &>::type* = 0)
  {
    std::cout << "T is not int." << std::endl;
  }
};</code>

Cependant, ce code peut provoquer des erreurs de compilation indiquant qu'"aucun type nommé 'type' dans 'struct std::enable_if'".

Comprendre activate_if

enable_if garantit que seules les surcharges de fonctions viables sont prises en compte lors de la résolution des surcharges. Si une substitution d'argument de modèle échoue, cette surcharge est supprimée de l'ensemble candidat.

Dans l'exemple ci-dessus, l'argument de modèle T est déjà connu lors de l'instanciation des fonctions membres. Pour implémenter le comportement souhaité, nous pouvons créer un argument de modèle factice par défaut T et exécuter SFINAE en l'utilisant :

<code class="cpp">template<typename T>
struct Point
{
  template<typename U = T>
  typename std::enable_if<std::is_same<U, int>::value>::type
    MyFunction()
  {
    std::cout << "T is int." << std::endl;
  }

  template<typename U = T>
  typename std::enable_if<std::is_same<U, float>::value>::type
    MyFunction()
  {
    std::cout << "T is not int." << std::endl;
  }
};</code>

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!