La mécanique de l'extension via des fonctions libres ou des fonctions des membres

Eh bien, je peux vous dire comment détecter la présence de fonctions membres d'un certain nom (et de signature) à la compilation. Un de mes amis le décrit ici:

Détection de l'existence des fonctions des membres Au moment de la compilation p>

Cependant, cela ne vous mènera pas où vous voulez aller, car cela ne fonctionne que pour le type statique. Puisque vous voulez transmettre un "référence-to-véhicule", il n'ya aucun moyen de tester si le type dynamique (le type de l'objet de béton derrière la référence) a une telle fonction de membre. P>

si Vous vous contentez du type statique cependant, il existe une autre façon de faire une chose très similaire. Il implémente "si l'utilisateur fournit une fonction libre surchargée, appelez-la, sinon, essayez d'appeler la fonction membre" em>. Et cela va comme ça: p> xxx pré>

de cette façon, l'utilisateur peut fournir sa propre surcharge de "the_opération", Dans la même espace de noms que sa classe, il est donc trouvé par ADL. Bien sûr "The_Operation" de l'utilisateur doit être "plus spécialisé" que votre valeur par défaut Mise en œuvre - Sinon, l'appel serait ambigu. En pratique ce n'est pas un problème cependant, puisque tout ce qui restreint le type du paramètre plus qu'il ne s'agit d'une référence-to-const à tout ce que em> sera "Plus spécialisé". p>

Exemple: P>

namespace users_ns {

class foo {};

void the_operation(foo const& f)
{
    std::cout << "foo\n";
}

template <class T>
class bar {};

template <class T>
void the_operation(bar<T> const& b)
{
    std::cout << "bar\n";
}

} // namespace users_ns

Althument, parfois, les développeurs peuvent utiliser des fonctions libres ou des fonctions de classe, de manière interchangeable, il existe certaines situations, à utiliser l'une autre.

(1) Les fonctions d'objet / de classe ("méthodes) sont préférées lorsque la majeure partie de son purpouse affectez uniquement l'objet ou les objets sont intégrés à composer d'autres objets. P>

class MyStringClass {
  private:
    // ...
  protected:
    // ...
  // not a method, but declared, to allow access
  friend:
    bool AreEqual(MyStringClass A, MyStringClass B);
}

bool AreEqual(MyStringClass A, MyStringClass B) { ... }

Si vous recherchez simplement un exemple concret, tenez compte des éléments suivants: xxx

hasmoveforwardmember (2) est une métafonction Cela vérifie l'existence d'une fonction de membre de ce nom avec la signature Void (V :: *) (int) dans une classe donnée v . bougerforwarddispatcher (3) utilise ces informations pour appeler la fonction membre s'il existe ou redevient à appeler une fonction gratuite si elle ne le fait pas. déménageur déléguette simplement l'invocation de MoveForward à MoveForwardDisPatcher (5)

.

Comme posté, invoquera voiture :: mingleforward (1) , mais si cette fonction de membre est supprimée, renommée ou que sa signature a changé, NS :: Modifier sera appelé à la place.

Notez également que parce que déménageur est un modèle, une vérification SFINAE doit être mise en place pour conserver la sémantique de la seule autorisation d'autoriser les objets dérivés de NS :: Véhicule Pour être transmis pour V _ (4) . Pour démontrer, si on commencent (7) et décors (8) , déménageur sera appelé avec un objet de type non -hiclewithmoveforward (6) , que nous voulons interdire malgré le fait que hasmoveforwardmember :: valeur == vrai .

( NOTE : Si votre bibliothèque standard ne vient pas avec std :: activation_if et std :: is_base_of , utilisez le std :: tr1 :: ou boost :: variantes plutôt que disponible.)

La manière dont ce type de code est généralement utilisé consiste à appeler la fonction libre et à mettre en œuvre le fonction libre en termes de quelque chose comme bougerforwarddispatcher de telle sorte que la fonction libre appelle simplement la fonction de membre de l'objet transgé si elle existe, sans avoir à écrire des surcharges de cette fonction gratuite pour tout type possible que possible Fonction de membre.