noexcept-ctcheck или несколько простых макросов, чтобы компилятор помогал при написании noexcept кода

[Goron_Dekar]

О! Не мне одному нужно больше контрактного программирования в плюсах.

[Goron_Dekar]

Мне вот очень не хватает контракта на constexpr. Сейчас заворачиваю такие блоки в шаблон, но это костыль.

[eao197]

Мне вот очень не хватает контракта на constexpr.

А что это такое?

[Goron_Dekar]

Если грубо, механизма, позволяющего пометить участок кода как участок, гарантированно вычисляемый на этапе компиляции. С остановкой компиляции при возникновении в этом участке исполняемого блока, попадающего в исполняемый код.

[eao197]

Так вроде consteval из C++20 это решает или нет?

[eao197]

Я бы скорее подёргал libclang и написал простенький линтер

Для тех, кто никогда не дергал libclang, этот линтер простеньким точно не будет.