Здравствуйте. Такой вопрос: стало ли легальным использовать throw в constexpr

Question

Здравствуйте. Такой вопрос: стало ли легальным использовать throw в constexpr

функциях начиная с 20-го стандарта? То есть именно можно ли бросать эксепшн в констекпр выражении? Насколько мне известно, До двадцатого стандарта даже такая идиома существовала, ибо констекпр функции инстанцируются лениво, и если дойдёт до throw, то будет ошибка компиляции. Однако... В С++20 разрешили try/catch в констекспр функциях. При этом Кажется логичным, что разрешено и бросать исключения. Однако такое впечатление, что это в принципе ifndr и в 20-ом, и до стандарте. Может, я неправильно понял стандарт...
https://eel.is/c++draft/dcl.constexpr#6
https://eel.is/c++draft/expr.const#5.25

#c++ #embedded #programming #russian

0

26.09.2020

14 ответов

18 просмотров

Liber Azerate Автор вопроса

Kirill Bolshakov
В constexpr не может быть ifndr

А это что? https://eel.is/c++draft/dcl.constexpr#6

0

26.09.2020

Ofee Oficsu

throw всё ещё запрещён в core constant expression

0

26.09.2020

Liber Azerate Автор вопроса

Ofee Oficsu
throw всё ещё запрещён в core constant expression

Ну я уже сказал, да. Однако зачем вообще тот же try/catch, если бросать нельзя, ничего бросать тоже не должно, как я понял?..

0

26.09.2020

Ofee Oficsu

Liber Azerate
Ну я уже сказал, да. Однако зачем вообще тот же tr...

Как по мне, мотивацию достаточно хорошо поясняет этот пропозал, аналогично с исключениями. Можно даже вот такие интересные вещи делать

0

26.09.2020

PRoSToC0der

Ofee Oficsu
Как по мне, мотивацию достаточно хорошо поясняет э...

у тебя ссылка на пропозал про asm-вставки в constexpr функциях

0

26.09.2020

Ofee Oficsu

PRoSToC0der
у тебя ссылка на пропозал про asm-вставки в conste...

Я не ошибся, мне кажется, что мотивация из этого пропозала довольно лаконично пояснеет мотивацию того же самого для try/catch и некоторых других конструкций, если я правильно понял суть вопроса

0

26.09.2020

Liber Azerate Автор вопроса

Ofee Oficsu
Я не ошибся, мне кажется, что мотивация из этого п...

Но в целом, это было доступно и до 20-го стандарта, просто менее явно, о чём, фактически, говорит пропозал. Я и упоминал об этой идиоме, она ранее тоже использовалась. Смысла в constexpr try/catch до сих пор не увидел.

0

26.09.2020

PRoSToC0der

Ofee Oficsu
Я не ошибся, мне кажется, что мотивация из этого п...

а, понял тебя, согласен

0

26.09.2020

Ofee Oficsu

Liber Azerate
Но в целом, это было доступно и до 20-го стандарта...

Если я правильно понимаю содержимое этой страницы, throw был разрешён в constexpr и ранее, но всегда был запрещён в core constant expression. Изменения в C++20 же касаются только dynamic_cast и typeid, бросающих исключения. Теперь они, как и throw могут находиться в теле constexpr-функции. Или речь ещё о каких-то изменениях в C++20?

0

26.09.2020

Liber Azerate Автор вопроса

Ofee Oficsu
Если я правильно понимаю содержимое этой страницы,...

То есть изменения только для того, чтобы подобные вещи, в том числе и try/catch, Могли находиться внутри констекспр функции?

0

26.09.2020

Ofee Oficsu

Liber Azerate
То есть изменения только для того, чтобы подобные ...

Да, собственно, на cppreference так и написано: >> Even though try blocks and inline assembly are allowed in constexpr functions, throwing exceptions or executing the assembly is still disallowed in a constant expression.

0

26.09.2020

Liber Azerate Автор вопроса

Ofee Oficsu
Да, собственно, на cppreference так и написано: >>...

Хорошо, спасибо. Всё понятно

0

26.09.2020

Liber Azerate Автор вопроса

Ofee Oficsu
Да, собственно, на cppreference так и написано: >>...

Впрочем, это всё ещё ifndr, очевидно https://godbolt.org/z/6rE7oh

0

26.09.2020