Будет ли Consteval разрешить использование static_assert в аргументах функций? ⇐ C++

[Anonymous]

В настоящее время вы не можете использовать функцию static_assert для проверки параметров функции contexpr , даже если все вызовы ее действительно являются constexpr .
, что имеет смысл, потому что компилятор все еще должен создавать неконтекса-экстремацию этой функции в случае, если некоторые другие можно попробовать. Пространство имен.

c ++ 20 Однако введет новое постоянное ключевое слово , которое похоже на constexpr , но не позволяет вызовать функцию неконтексальным способом. В этом случае компилятор может точно знать, что параметры функции всегда будут известны во время компиляции. Следовательно, теоретически следует проверять их с помощью static_assert < /code>. < /P>

Вопрос: разрешает ли стандарт?#include

consteval char operator""_bchar(const char text[], const size_t length)
{
static_assert(length == 8, "Binary char has to have 8 digits!"); //

Подробнее здесь: https://stackoverflow.com/questions/572 ... -arguments