C++ Academy · Lezione

consteval e constinit

Parole chiave moderne per il tempo di compilazione

consteval e constinit è una lezione C++ Academy gratuita su CoddyKit. Questa è la lezione 4 di 4. Puoi leggere la lezione completa qui gratuitamente — poi esercitati direttamente nel browser con un editor di codice integrato e un tutor IA disponibile 24/7. Fa parte del percorso di apprendimento C++ Academy, e i tuoi progressi si sincronizzano tra il web e l'app CoddyKit. Il corso C++ Academy include 4 lezioni in totale.

Oltre constexpr

C++20 aggiunge due parole chiave che rendono più precisa la programmazione a tempo di compilazione: consteval per funzioni garantitamente valutate in fase di compilazione e constinit per un'inizializzazione garantita a tempo di compilazione.

consteval: funzioni immediate

Una funzione consteval deve essere valutata in fase di compilazione. A differenza di constexpr, non può mai essere eseguita a tempo di esecuzione.

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

int main() {
    constexpr int c = cube(3);   // OK: compile time
    return c;
}

consteval rifiuta le chiamate a tempo di esecuzione

Chiamare una funzione consteval con un valore noto soltanto a tempo di esecuzione genera un errore di compilazione: la garanzia viene fatta rispettare.

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

int main() {
    int n = 4;
    // int bad = cube(n);   // ERROR: n is not a constant
    return cube(2);
}

Perché consteval

Lo usi quando un calcolo non ha senso a tempo di esecuzione, ad esempio per generare una tabella costante o convalidare un literal in fase di compilazione.

constexpr e consteval a confronto

Le funzioni constexpr possono essere eseguite in fase di compilazione; le funzioni consteval lo fanno sempre. Scelga consteval per vietare l'uso accidentale a tempo di esecuzione.

constinit: inizializzazione statica garantita

constinit garantisce che una variabile statica o locale al thread venga inizializzata in fase di compilazione, eliminando il problema dell'ordine di inizializzazione statica.

constinit int globalCount = 10;   // initialized at compile time

int main() {
    return globalCount;
}

constinit non è const

A differenza di constexpr, una variabile constinit può ancora essere modificata dopo l'inizializzazione a tempo di compilazione: pone vincoli soltanto sul modo in cui viene inizializzata.

constinit int counter = 0;

int main() {
    counter = 5;   // OK: constinit allows mutation
    return counter;
}

Risolvere il problema dell'ordine di inizializzazione

Per le variabili statiche non locali distribuite tra unità di traduzione, constinit impone un'inizializzazione statica (a tempo di compilazione), così il valore è pronto prima dell'avvio di qualsiasi inizializzazione dinamica.

Confronto tra le tre parole chiave

constexpr: può essere valutato in fase di compilazione ed è const. consteval: deve essere valutato in fase di compilazione (funzioni). constinit: impone l'inizializzazione a tempo di compilazione, ma lascia il valore modificabile.

Supporto del compilatore

Queste sono funzionalità di C++20. Compili con -std=c++20 (o una versione successiva) su GCC/Clang, oppure con /std:c++20 su MSVC.

Scegliere lo strumento giusto

Scelga consteval per imporre un calcolo a tempo di compilazione e constinit per rendere deterministica l'inizializzazione statica: insieme rendono più sicuro il C++ a tempo di compilazione.

Verifica rapida

Verifichi la propria comprensione di consteval e constinit.

Riepilogo

Ha imparato a usare le parole chiave di C++20 consteval (funzioni che devono essere eseguite in fase di compilazione) e constinit (inizializzazione a tempo di compilazione garantita per le variabili statiche, che restano modificabili). Insieme a constexpr, offrono un controllo preciso sulla valutazione in fase di compilazione.

Domande Frequenti

La lezione «consteval e constinit» è gratuita?

Sì — il testo completo di «consteval e constinit» è gratuito qui sul web. Per esercitarvi in modo interattivo (un editor di codice integrato e un tutor IA 24/7) e sbloccare il resto del corso C++ Academy, passa a CoddyKit PRO. Il corso C++ Academy include 4 lezioni in totale.

Cosa imparerò in «consteval e constinit»?

Parole chiave moderne per il tempo di compilazione Eserciti C++ Academy con codice pratico che esegui direttamente nel browser, e un tutor IA 24/7 risponde alle tue domande mentre lavori sulla lezione.

Ho bisogno di esperienza per iniziare C++ Academy?

Non è richiesta alcuna esperienza precedente. C++ Academy su CoddyKit è strutturato per principianti e studenti avanzati, quindi puoi iniziare da qui o dall'inizio e procedere al tuo ritmo. Questa è la lezione 4 di 4.

Quanto tempo richiede la lezione «consteval e constinit»?

La maggior parte delle lezioni CoddyKit richiede circa 5–10 minuti. Ogni lezione è breve e interattiva, quindi fai progressi costanti e riprendi esattamente da dove hai lasciato su web e app.

Posso scrivere ed eseguire codice in questa lezione C++ Academy?

Sì. Ogni lezione C++ Academy include un editor di codice integrato, quindi scrivi ed esegui codice reale direttamente nel tuo browser e ricevi feedback istantaneo dall'IA — nessuna configurazione locale necessaria.

Tutte le lezioni di questo corso

← Torna a C++ Academy