C++ Academy · Leçon

Fonctions constexpr et if constexpr

Évaluer du code à la compilation avec constexpr et effectuer des branchements avec if constexpr

Fonctions constexpr et if constexpr est une leçon C++ Academy gratuite sur CoddyKit. Ceci est la leçon 4 sur 4. Tu peux lire la leçon complète ci-dessous gratuitement — puis la pratiquer en direct dans le navigateur avec un éditeur de code intégré et un tuteur IA 24/7. Elle fait partie du parcours d'apprentissage C++ Academy, et ta progression se synchronise sur le web et l'application CoddyKit. Le cours C++ Academy comprend 4 leçons au total.

Évaluation au moment de la compilation

Le mot-clé constexpr indique au compilateur « évaluez ceci au moment de la compilation lorsque c’est possible ». Les calculs effectués à la compilation n’ont aucun coût à l’exécution.

Variables constexpr

Une variable constexpr doit être initialisée avec une expression constante. Le résultat est fixé au moment de la compilation.

constexpr int BUFFER_SIZE = 1024;
constexpr double PI = 3.14159265358979;

Fonctions constexpr

Marquez les fonctions comme constexpr pour permettre leur exécution au moment de la compilation lorsqu’elles sont appelées avec des arguments constants.

constexpr int factorial(int n) {
    return (n <= 1) ? 1 : n * factorial(n - 1);
}

constexpr int five_fact = factorial(5);  // computed at compile time

Solution de repli à l’exécution

Une fonction constexpr peut également être appelée avec des valeurs connues uniquement à l’exécution ; elle s’exécute alors au moment de l’exécution.

int n = read_input();
int result = factorial(n);   // runtime call

Restrictions applicables aux fonctions constexpr

Avant C++14 :

Une seule instruction return
Aucune boucle
Aucune modification de l’état local

C++14 a assoupli ces restrictions ; C++17 et C++20 en ont ajouté d’autres (try-catch, allocation dynamique, fonctions virtuelles).

consteval (C++20)

Forcez l’évaluation au moment de la compilation avec consteval. Appeler une fonction consteval avec des arguments non constants constitue une erreur.

consteval int square(int x) { return x * x; }

constexpr int c = square(5);    // OK
int x = 5;
// int r = square(x);            // ERROR

constinit (C++20)

constinit garantit que la variable est initialisée au moment de la compilation, tout en autorisant sa modification à l’exécution.

if constexpr (C++17)

if constexpr est une branche évaluée au moment de la compilation. La branche non sélectionnée n’est même pas compilée, ce qui est utile pour les modèles.

template <typename T>
void print(const T& value) {
    if constexpr (std::is_pointer_v<T>) {
        std::cout << "pointer: " << *value;
    } else {
        std::cout << value;
    }
}

Éliminer SFINAE

if constexpr remplace les schémas SFINAE complexes par une logique conditionnelle claire. Associé aux caractéristiques de type, il rend le code générique bien plus facile à lire.

Algorithmes exécutés à la compilation

Le C++ moderne vous permet d’écrire des algorithmes étonnamment complexes qui s’exécutent entièrement au moment de la compilation : hachage de chaînes, génération de tables, analyseurs miniatures.

constexpr auto fnv1a(std::string_view s) {
    uint32_t h = 2166136261u;
    for (char c : s) {
        h = (h ^ static_cast<uint8_t>(c)) * 16777619u;
    }
    return h;
}

constexpr auto x = fnv1a("hello");

Modèles et constexpr

Les fonctions constexpr génériques forment une combinaison puissante : écrivez du code générique et flexible du point de vue des types, qui s’évalue au moment de la compilation.

Diagnostics

Les erreurs de compilation dans le code constexpr sont signalées avec des emplacements détaillés. Les compilateurs modernes sont particulièrement efficaces pour localiser l’étape fautive.

Vérification rapide

Que fait if constexpr qu’un if classique ne fait pas ?

Récapitulatif

constexpr permet l’évaluation au moment de la compilation ; consteval l’impose ; constinit garantit l’initialisation à la compilation. if constexpr effectue un branchement à la compilation : la branche non sélectionnée n’est jamais instanciée, ce qui remplace SFINAE dans de nombreux cas.

Questions Fréquemment Posées

La leçon « Fonctions constexpr et if constexpr » est-elle gratuite ?

Oui — le texte complet de « Fonctions constexpr et if constexpr » est gratuit à lire ici sur le web. Pour la pratiquer de manière interactive (un éditeur de code intégré et un tuteur IA 24/7) et déverrouiller le reste du cours C++ Academy, passe à CoddyKit PRO. Le cours C++ Academy comprend 4 leçons au total.

Qu'est-ce que j'apprendrai dans « Fonctions constexpr et if constexpr » ?

Évaluer du code à la compilation avec constexpr et effectuer des branchements avec if constexpr Tu pratiques C++ Academy avec du code pratique que tu exécutes directement dans le navigateur, et un tuteur IA 24/7 répond à tes questions au fur et à mesure que tu avances dans la leçon.

Dois-je avoir de l'expérience pour commencer C++ Academy ?

Aucune expérience préalable n'est requise. C++ Academy sur CoddyKit est structuré pour les débutants jusqu'aux apprenants avancés, donc tu peux commencer ici ou depuis le début et avancer à ton rythme. Ceci est la leçon 4 sur 4.

Combien de temps prend la leçon « Fonctions constexpr et if constexpr » ?

La plupart des leçons CoddyKit prennent environ 5–10 minutes. Chacune est courte et interactive, tu progresses régulièrement et tu repiques exactement où tu t'es arrêté sur le web et l'app.

Peux-tu écrire et exécuter du code dans cette leçon C++ Academy ?

Oui. Chaque leçon C++ Academy inclut un éditeur de code intégré, tu écris et exécutes du vrai code directement dans ton navigateur et tu reçois des retours IA instantanés — aucune configuration locale requise.

Toutes les leçons de ce cours

Modèles de fonctions et de classes : révision
Spécialisation partielle et complète des modèles
Modèles variadiques et paquets de paramètres
Fonctions constexpr et if constexpr

← Retour à C++ Academy