consteval функции в контексте где ожидается constant expression, например, в static_assert или как параметры шаблонов, это баг или фича?) та же история и с if consteval.
https://t.me/supapro/1094316
Даже так, вот начало треда: https://t.me/supapro/1091437
Спасибо, насчёт возвращаемых типов теперь понятно, правда со static_assert все равно как-то не ясно, имхо могло бы пригодиться.
Я полагаю, что мало смысла вставлять сложные костыли в стандарт ради того, что делается через throw "error message";
нужно передать их в функцию как constant expression в каком то виде
Да, делал через throw "", можно вообще assert туда добавить, но было бы классно если бы сообщение об ошибке было покрасивее)
Ну а проверка параметров функции на тему constexpr они или нет, видимо, не сработает по той же причине?) Потому что опять же тогда можно возвращать разные типы, как например если был бы operator[] для тупла...
Обсуждают сегодня