Constexpr hesaplaması miktarıyla ilgili pratik sınırlamalar

Question

Bir deneme olarak, derleme zamanında bir std::array<uint32_t, 256> oluşturmak için bazı kodları bir araya getirdim. Tablo içerikleri kendileri oldukça tipik bir CRC arama tablosudur - sadece yeni bir şey hakkında, otomatik olarak bir sihirli tabloyu doğrudan kaynak koduna koymak yerine, girdileri hesaplamak için constexpr işlevlerinin kullanılmasıdır.

Her neyse, bu alıştırma beni meraklandırdı: bir derleyicinin derleme zamanında bir constexpr işlevini veya değişken tanımını değerlendirmek için yapmaya istekli olduğu hesaplama miktarı üzerinde herhangi bir pratik sınırlama var mıdır? Örneğin. şablon metaprogramlama değerlendirme miktarına pratik sınırlar yaratan gcc -ftemplate-depth parametresi gibi bir şey. (Parametre paketin uzunluğu ile ilgili pratik sınırlama olabilir eğer de merak - bir std::integer_sequence ara nesne kullanılarak oluşturulan bir derleme zamanında std::array boyutunu sınırlar.)

Answer 1

bu için

Tavsiyeler [implimits] ¶2 bulunabilir:

(2.35)   —   Recursive constexpr function invocations [512]

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

GCC ve Clang (aradığınız bayrağı olan) -fconstexpr-depth aracılığıyla vermeyi hedeflemiştir.

Sabit ifade değerlendirmesi, bir kum havuzunda çalışır, çünkü undefined behavior must be preempted by the implementation. Bunu akılda tutarak, uygulamanın neden ana makinenin tüm kaynaklarını kullanamadığını anlamıyorum. Daha sonra, derleme, bellek veya diğer mantıksız kaynakları gigabayt gerektiren programlar yazma tavsiye etmem ...