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

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!