Praktische Einschränkungen für die Menge der consExpr Berechnung

Question

Als ein Experiment, ich nur einige Code zusammen, um eine std::array<uint32_t, 256> zur Kompilierzeit zu erzeugen. Der Tabelleninhalt selbst ist eine ziemlich typische CRC-Nachschlagetabelle - über die einzige neue Sache ist die Verwendung von constexpr Funktionen, um die Einträge zu berechnen, anstatt eine automatisch erzeugte magische Tabelle direkt in den Quellcode zu setzen.

Wie auch immer, diese Übung hat mich neugierig gemacht: Gibt es irgendwelche praktischen Einschränkungen in Bezug auf die Menge an Berechnungen, die ein Compiler machen würde, um eine constexpr Funktion oder eine Variablendefinition zur Kompilierzeit auszuwerten? z.B. etwas wie gcc -ftemplate-depth Parameter schafft praktische Grenzen für die Menge der Vorlage Metaprogrammierung Auswertung. (Ich frage mich auch, ob es praktische Grenzen sein könnte auf die Länge eines Parameters Pack -, die die Größe eines Compile-Zeit begrenzen würde std::array erstellt ein std::integer_sequence Zwischen Objekt.)

Answer 1

Empfehlungen für eine solche in [implimits] ¶2 zu finden:

(2.35)   —   Recursive constexpr function invocations [512]

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

GCC und Clang ermöglichen die Anpassung über -fconstexpr-depth (die das Flag Sie suchen).

Konstante Ausdruck Auswertung läuft praktisch in einer Sandbox, weil undefined behavior must be preempted by the implementation. In diesem Sinne sehe ich nicht, warum die Implementierung nicht die gesamten Ressourcen des Host-Rechners nutzen konnte. Andererseits würde ich nicht empfehlen, Programme zu schreiben, deren Kompilierung Gigabytes Speicher oder andere unvernünftige Ressourcen benötigt ...