Recherche dépendante d'arguments et modèles de fonctions en C
La recherche dépendante d'arguments (ADL) est une fonctionnalité de langage qui permet au compilateur de rechercher des identifiants dans les espaces de noms associés aux arguments d’un appel de fonction. Bien qu'ADL trouve généralement des fonctions, il ne parvient pas à trouver des modèles de fonctions dans certains scénarios.
L'explication de la norme C
La section 14.8.1.6 de la norme C (2003) indique que :
"Mais lorsqu'un modèle de fonction avec des arguments de modèle explicites est utilisé, l'appel n'a pas la syntaxe correcte formulaire à moins qu'il n'y ait un modèle de fonction avec ce nom visible au moment de l'appel. Si aucun nom de ce type n'est visible, l'appel n'est pas syntaxiquement bien formé et la recherche dépendante de l'argument ne s'applique pas. "
Exemple
Considérons l'exemple suivant :
namespace ns { struct foo {}; template<int i> void frob(foo const&) {} void non_template(foo const&) {} } int main() { ns::foo f; non_template(f); // This is fine. frob<0>(f); // This is not. }
Le dernier appel dans le principal (frob<0>(f);) échoue à la compilation car aucun modèle de fonction portant le nom frob n'est visible dans la portée de l'appel. ADL ne trouve pas le frob<0> car les modèles de fonctions ne sont pas considérés comme des appels de fonction valides par la syntaxe du compilateur.
Considérations supplémentaires
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!