Maison >développement back-end >C++ >Les paramètres de fonction peuvent-ils dépendre du modèle en raison des fonctions Consteval ?

Les paramètres de fonction peuvent-ils dépendre du modèle en raison des fonctions Consteval ?

Linda Hamilton
Linda Hamiltonoriginal
2024-10-23 17:46:41233parcourir

Can Function Parameters Be Template Dependent Because of Consteval Functions?

Les fonctions Consteval peuvent-elles activer les paramètres de modèle en fonction des arguments de la fonction ?

En C 17, définir une fonction constexpr qui renvoie une constante de compilation cela peut paraître logique, mais c'est interdit. Le compilateur exige des instructions d'exécution à l'exécution, empêchant l'instanciation de modèles impliquant de telles fonctions.

C 20 introduit des fonctions consteval, assurant leur évaluation au moment de la compilation. Avec cela, beaucoup s'attendaient à ce que cette contrainte disparaisse, permettant un code comme :

<code class="cpp">consteval int foo(int i) {
    return std::integral_constant<int, i>::value;
}</code>

Cependant, la réponse est toujours un non résolu.

Malgré les changements potentiels du journal , il n'en demeure pas moins que les définitions de fonctions non-modèles ne sont saisies qu'une seule fois. Autoriser un tel code permettrait potentiellement la déclaration de variables avec des types non compatibles ODR comme std::integral_constant, ce qui est hautement indésirable.

Le document implique également que les paramètres ne doivent pas être traités comme expressions constantes de base. Un exemple illustre ceci :

<code class="cpp">consteval int sqrsqr(int n) {
  return sqr(sqr(n)); // Not a constant-expression at this  point,
}                     // but that's okay.</code>

En résumé, les paramètres de fonction n'évolueront pas vers des expressions constantes en raison d'incohérences de frappe potentielles.

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!

Déclaration:
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