Стандарт С++ специально запрещает вызов new в постоянном выражении (раздел N4296 5.20 [expr.const]):
Условное выражение e является выражением основной константы, если оценка e, следуя правилам абстрактной машины (1.9), не будет оценивать одно из следующих выражений:
...
- новое выражение (5.3.4);
Этот запрет (насколько я вижу) распространяется на все формы new, включая размещение new. Однако, поскольку размещение new фактически не выделяет какую-либо память и просто запускает конструкторы в заданном месте, и поскольку это право принимать адрес переменной в контексте constexpr (действительно, std::addressof будет constexpr в C + +17), мне кажется, что этот запрет можно (в принципе, по крайней мере) облегчить, чтобы позволить размещение новых в функциях constexpr.
Итак, мой вопрос: я что-то упускаю? Есть ли веская причина, почему размещение новых запрещено в constexpr функциях?
(Для контекста: текущие правила в значительной степени требуют, чтобы типы сумм с поддержкой constexpr, такие как std::variant, были реализованы как рекурсивный союз. Было бы лучше использовать что-то вроде std::aligned_storage и размещения new, но в настоящее время это невозможно.)
