Такой вопрос, почему constexpr member variable можно менять в constexpr

Почему менять constexpr static/global variable нельзя — очевидно, ни одна constexpr функция (UPD: вызываемая в core constant expression) не должна мутировать глобальное состояние, частью которого является такая переменная. А вот что такое constexpr member variable?.. Как такое объявить?

0

22.11.2021

Tim Pavlov Автор вопроса

Ofee Oficsu
Почему менять constexpr static/global variable нел...

в этом вопросе четко видно что она все же может менять глобальную переменную: https://stackoverflow.com/questions/51053280/modifying-a-global-variable-in-a-constexpr-function-in-c17 причем со static-ом это тоже работает, я подумал что может constexpr функция нормально справляется с переменными в ее же области видимости, но не нашел нигде четкого объяснения этому

0

22.11.2021

Tim Pavlov Автор вопроса

Tim Pavlov
в этом вопросе четко видно что она все же может ме...

но, опять же, так и не понял почему это работает

0

22.11.2021

Ofee Oficsu

Tim Pavlov
в этом вопросе четко видно что она все же может ме...

Обратите внимание, что вызов Foo(false) — это вызов рантайм функции, для которых совершенно допустимо менять глобальное состояние. Но стоит изменить код таким образом: constexpr int _ = Foo(false); и ни один компилятор это не скомпилирует. Потому что вызов теперь происходит на этапе компиляции

0

22.11.2021

Tim Pavlov Автор вопроса

Ofee Oficsu
Обратите внимание, что вызов Foo(false) — это вызо...

только что проверил с помощью static_assert, работает без ошибок

0

22.11.2021

magras · Accepted Answer

magras

Кажется при каких-то условиях contexpr неявно добавляет const. Если интересно много и подробно у Матросова был доклад о всех тонкостях constexpr спецификатора.

0

21.11.2021

170 похожих чатов

Такой вопрос, почему constexpr member variable можно менять в constexpr

8 ответов

Похожие вопросы