Maison > développement back-end > C++ > Pourquoi la recherche dépendante des arguments ne parvient-elle pas à trouver des modèles de fonctions avec des arguments de modèle explicites en C ?

Pourquoi la recherche dépendante des arguments ne parvient-elle pas à trouver des modèles de fonctions avec des arguments de modèle explicites en C ?

Patricia Arquette
Libérer: 2024-12-09 05:42:10
original
915 Les gens l'ont consulté

Why Does Argument Dependent Lookup Fail to Find Function Templates with Explicit Template Arguments in C  ?

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&amp;) {}
    void non_template(foo const&amp;) {}
}

int main() {
    ns::foo f;
    non_template(f); // This is fine.
    frob<0>(f); // This is not.
}
Copier après la connexion

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

  • Pour les noms de fonctions simples (sans arguments de modèle), ADL peut toujours rechercher des modèles de fonction même si leurs noms ne sont pas visibles.
  • Cependant, si le modèle de fonction est appelé avec des arguments de modèle explicites, un modèle de fonction portant ce nom spécifique doit être visible dans le cadre de l'appel pour qu'ADL réussisse.
  • Dans certains cas, l'utilisation de déclarations peut rendre visible un modèle de fonction, permettant à ADL de le trouver.

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!

source:php.cn
Déclaration de ce site Web
Le contenu de cet article est volontairement contribué par les internautes et les droits d'auteur appartiennent à l'auteur original. Ce site n'assume aucune responsabilité légale correspondante. Si vous trouvez un contenu suspecté de plagiat ou de contrefaçon, veuillez contacter admin@php.cn
Derniers articles par auteur
Tutoriels populaires
Plus>
Derniers téléchargements
Plus>
effets Web
Code source du site Web
Matériel du site Web
Modèle frontal