Optimisation des expressions constantes : la longueur des chaînes peut-elle être déterminée au moment de la compilation ?

Dans la quête d'optimisation du code, un développeur tente de calculer la longueur d'une chaîne littérale au moment de la compilation à l'aide d'une fonction récursive. Cette fonction évalue la chaîne caractère par caractère et renvoie la longueur.

Observations initiales :

La fonction semble fonctionner comme prévu, renvoyant les longueurs correctes au moment de l'exécution et générant code assembleur qui suggère que le calcul a lieu au moment de la compilation. Cela soulève la question :

Est-il garanti que la fonction de longueur s'exécutera au moment de la compilation ?

Le point de vue de la norme :

Les expressions constantes ne doivent pas être explicitement évaluées au moment de la compilation par le standard C. Cependant, une note non normative suggère cette possibilité.

Application de l'exécution au moment de la compilation :

Pour garantir l'évaluation au moment de la compilation, la fonction peut être affectée à un constexpr variable. Selon les directives C 11, le marquage d'une variable constexpr nécessite son évaluation au moment de la compilation.

Considérations supplémentaires :

Bjarne Stroustrup, le créateur de C , résume les conditions de évaluation au moment de la compilation comme :

1. Exigence d'expression constante : Lorsqu'il est utilisé dans des emplacements qui exigent des expressions constantes (par exemple, limites de tableau, étiquettes de cas).
2. Initialisation d'une constexpr : Lorsque la fonction est utilisée pour initialiser une variable constexpr.

Conclusion :

Bien que cela ne soit pas explicitement indiqué dans le L'évaluation standard au moment de la compilation des fonctions constexpr peut être garantie en utilisant des expressions constantes ou en initialisant des variables constexpr. Cela ouvre des possibilités d'optimisation des chaînes et d'autres calculs au moment de la compilation, permettant une exécution de code plus efficace.