Praktyczne ograniczenia dotyczące liczby obliczeń constexpr

Question

W ramach eksperymentu właśnie skompilowałem kod, aby wygenerować std::array<uint32_t, 256> w czasie kompilacji. Same treści tabel są dość typową tabelą odnośników CRC - jedyną nową rzeczą jest użycie funkcji constexpr do obliczania wpisów w przeciwieństwie do umieszczania automatycznie generowanej magicznej tabeli bezpośrednio w kodzie źródłowym.

W każdym razie, to ćwiczenie mnie zainteresowało: czy istnieją jakiekolwiek praktyczne ograniczenia dotyczące wielkości obliczeń, które kompilator byłby skłonny zrobić, aby ocenić funkcję lub definicję zmiennej w czasie kompilacji? na przykład coś takiego jak parametr gcc -ftemplate-depth tworząc praktyczne ograniczenia ilości metaprogramowania szablonu. (Również zastanawiać, czy nie może być praktyczne ograniczenia na długość opakowania parametr - co ograniczenia rozmiaru kompilacji std::array utworzony za pomocą std::integer_sequence pośredni obiektu).

Answer 1

Zalecenia te można znaleźć w [implimits] ¶2:

(2.35)   —   Recursive constexpr function invocations [512]

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

GCC i Clang umożliwiają regulację poprzez -fconstexpr-depth (która jest flaga szukałeś).

Ewaluacja stałego wyrażenia praktycznie działa w piaskownicy, ponieważ undefined behavior must be preempted by the implementation. Mając to na uwadze, nie rozumiem, dlaczego implementacja nie mogła wykorzystać wszystkich zasobów komputera-hosta. Z drugiej strony nie polecałbym pisania programów, których kompilacja wymaga gigabajtów pamięci lub innych nierozsądnych zasobów ...