Justification de la recherche Koenig

Question

Quelle est la logique de Koenig lookup?

Ne peut pas éviter d'y penser comme quelque chose qui rend votre code beaucoup plus difficile à lire et plus instable.

Impossible de définir la recherche Koenig pour qu'elle ne fonctionne que pour des cas spécifiques (par exemple: opérateurs non membres) ou explicitement requise?

Answer 1

La motivation initiale, IIRC, était de pouvoir écrire

std::cout << 42; 

sans avoir à se qualifier std::operator<<(std::ostream&, int) explicitement.

Si vous souhaitez désactiver la recherche dépendante des arguments, vous pouvez qualifier explicitement le nom de la fonction, c'est-à-dire. utilisez std::swap au lieu de swap pour empêcher que swap soit recherché dans l'espace de noms de ses arguments. ADL peut également être utilisé avec SFINAE pour tester au moment de la compilation si certaines fonctions sont définies pour un type particulier (je vous laisse travailler comme un exercice, il y a au moins une question à ce sujet sur Stackoverflow).

Answer 2

Le cas d'utilisation le plus important pour les AVQ est pour les cas de ce genre.

namespace A 
{ 
    struct S {}; 
    S operator+(const S&, const S&); 
} 

namespace B 
{ 
    A::S test() 
    { 
     A::S a, b; 
     return a + b; 
    } 
} 

Il est également utile pour sélectionner la fonction swap correcte dans le code générique de sorte qu'il devrait appliquer non seulement aux operator fonctions. C'est déjà une partie assez complexe de la norme, en faisant des règles qui l'empêchaient de fonctionner dans certains cas ajouterait plus de complexité, quel serait le gain?

Je ne peux pas trouver de façon claire de le demander explicitement qui serait significativement moins prolixe que d'appeler directement une fonction dans un espace de noms différent et qui, dans tous les cas, rendrait les expressions plus complexes. Vous pensez quelque chose comme: return [[ use_adl ]] (a + b);return A::operator+(a, b);?