Fonctions et paramètres de modèle constitutifs dépendants des arguments de fonction

En C Compile-Time.

C 20 Fonctions Consévales

C 20 introduit des fonctions conscients, qui doivent être évaluées au temps de compilation, supprimant la contrainte d'exécution. Cependant, la question demeure: cela signifie-t-il que les paramètres de modèle peuvent maintenant dépendre des arguments de fonction?

Aucune indemnité pour les paramètres de modèle dépendants

Malgré l'introduction des fonctions constantes, la réponse est non. Le document reconnaît que les paramètres ne sont pas destinés à être traités comme des expressions constantes de base. Cela est dû à des écarts de frappe potentiels, comme le montre l'exemple dans l'article:

consteval int sqrsqr(int n) {
  return sqr(sqr(n)); // Not a constant-expression at this  point,
}                     // but that's okay.

Par conséquent, les paramètres de fonction ne seront jamais considérés comme des expressions constantes, empêchant les paramètres du modèle d'être dépendants d'eux.