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 ?

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.
}

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!