Pourquoi les marques Const améliorent les avantages des fonctions Constexpr

C 11 a introduit le spécificateur constexpr, permettant d'utiliser les fonctions dans des expressions constantes. Bien qu'elle impose des exigences strictes sur le comportement des fonctions, elle présente un avantage crucial.

Prévenir les dépendances inattendues

Considérons un scénario dans lequel une fonction de bibliothèque renvoie initialement une constante, comme illustré. dans Awesome_lib.hpp :

inline int f() { return 4; }

En l'absence de constexpr, le code client pourrait utiliser cette fonction à des fins nécessitant des constantes de compilation, telles que des arguments de modèle ou des dimensions de tableau.

#include 
#include 

std::array;   // needs CT template arg
int my_c_array[f()];             // needs CT array dimension

Cependant, si l'implémentation de f() changeait pour récupérer sa valeur à partir d'un fichier de configuration, ce code client serait interrompu. Ce changement modifierait effectivement l'utilisation de l'interface à l'insu du codeur client.

En marquant la fonction comme constexpr, le programmeur reconnaît que le code client peut raisonnablement s'attendre à sa nature constante. Cela garantit que l'utilisation de la fonction de bibliothèque n'est pas compromise par les modifications d'implémentation. Le compilateur applique cette attente, garantissant que le code client ne dépend pas de fonctions non constantes.

Comparaison avec le spécificateur const de fonction membre

Similaire au spécificateur const pour fonctions membres, le spécificateur constexpr empêche le code client de s'appuyer sur des fonctionnalités qui pourraient ne pas être disponibles à l'avenir. Cependant, ils diffèrent dans leurs mécanismes d'application.

Le spécificateur const garantit que les autres fonctions membres au sein d'une fonction membre constante sont également constantes, alors que constexpr n'applique pas les résultats constants au moment de la compilation pour toutes ses utilisations. Cette flexibilité permet des fonctions hybrides qui peuvent renvoyer des résultats au moment de la compilation lorsque cela est possible, mais revenir aux calculs d'exécution dans des contextes non constexpr.