Comment pouvons-nous garantir l'évaluation de la longueur des chaînes au moment de la compilation ?

Calcul de la longueur d'une chaîne au moment de la compilation

Pour calculer la longueur d'un littéral de chaîne au moment de la compilation, l'extrait de code ci-dessous utilise une fonction récursive :

<code class="cpp">#include <cstdio>

int constexpr length(const char* str)
{
    return *str ? 1 + length(str + 1) : 0;
}

int main()
{
    printf("%d %d", length("abcd"), length("abcdefgh"));
}</code>

Cette fonction calcule avec succès les longueurs comme prévu, comme en témoigne le code assembleur généré à partir de clang, qui montre les résultats calculés au moment de la compilation.

Garantie standard pour Évaluation au moment de la compilation

Cependant, il est crucial de noter que l'évaluation des expressions constantes au moment de la compilation n'est pas explicitement garantie par la norme. Bien que la section 5.19 du projet de norme C comprenne une citation non normative indiquant que les expressions constantes peuvent être évaluées pendant la traduction, cela ne fournit pas de garantie définitive.

Assurer l'évaluation au moment de la compilation

Pour garantir qu'une fonction est évaluée au moment de la compilation, Bjarne Stroustrup recommande d'attribuer son résultat à une variable constexpr. Cela peut être vu dans l'exemple suivant :

<code class="cpp">constexpr int len1 = length("abcd");</code>

De plus, Bjarne Stroustrup décrit deux cas spécifiques où l'évaluation au moment de la compilation est garantie :

1. Lorsqu'une fonction est utilisée là où un une expression constante est requise, comme un tableau lié.
2. Lorsqu'une fonction est utilisée pour initialiser un constexpr.

Par conséquent, pour une évaluation fiable au moment de la compilation, il est conseillé de suivre l'une ou l'autre de ces deux approches.

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!