Limiti pratici sulla quantità di calcolo di constexpr

Question

Come esperimento, ho appena messo insieme un po 'di codice per generare un std::array<uint32_t, 256> in fase di compilazione. I contenuti della tabella sono una tipica tabella di ricerca CRC - l'unica novità è l'uso delle funzioni constexpr per calcolare le voci anziché mettere una tabella magica autogenerata direttamente nel codice sorgente.

In ogni caso, questo esercizio mi ha incuriosito: ci sarebbero state delle limitazioni pratiche sulla quantità di calcolo che un compilatore sarebbe disposto a fare per valutare una funzione constexpr o una definizione di variabile al momento della compilazione? per esempio. qualcosa come il parametro -ftemplate-depth di gcc che crea limiti pratici sulla quantità di valutazione della metaprogrammazione del modello. (Mi chiedo anche se ci potrebbero essere limitazioni pratiche per la lunghezza di un pacchetto parametro - che limiterebbe la dimensione di una fase di compilazione std::array creato utilizzando un oggetto intermedio std::integer_sequence.)

Answer 1

Raccomandazioni per tale possono essere trovati in [implimits] ¶2:

(2.35)   —   Recursive constexpr function invocations [512]

(2.36)   —   Full-expressions evaluated within a core constant expression [1 048 576]

GCC e Clang permettono una regolazione tramite -fconstexpr-depth (che è la bandiera che stavi cercando).

La valutazione delle espressioni costanti viene eseguita praticamente in una sandbox, perché undefined behavior must be preempted by the implementation. Con questo in mente, non vedo perché l'implementazione non possa utilizzare l'intera risorsa della macchina host. Inoltre, non consiglierei di scrivere programmi la cui compilazione richiede gigabyte di memoria o altre risorse irragionevoli ...