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 ceux-ci. . Considérez le code suivant :

template
struct Point
{
  // Check if T is int and call MyFunction for int
  void MyFunction(typename std::enable_if<:is_same int>::value, T &>::type* = 0)
  {
    std::cout ::value, float &>::type* = 0)
  {
    std::cout 
Cependant, ce code peut provoquer des erreurs de compilation indiquant qu'"aucun type nommé 'type' dans 'struct std::enable_if'".
Comprendre activer_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 :
template
struct Point
{
  template
  typename std::enable_if<:is_same int>::value>::type
    MyFunction()
  {
    std::cout 
  typename std::enable_if<:is_same float>::value>::type
    MyFunction()
  {
    std::cout