Требуется ли mark_immutable_if_constexpr для большего количества контейнеров constexpr?

Question

В первом примере кода в принятом предложении C ++ 20 «Больше контейнеров constexpr» ( P0784 ) используется функция std::mark_immutable_if_constexpr. Была ли эта функция принята как часть того же предложения? Я вижу здесь , что G CC 10 поддерживает P0784 в наборе предложений, помеченных как "ослабление ограничений constexpr", но std::mark_immutable_if_constexpr не входит в G CC 10. Требуется ли std::mark_immutable_if_constexpr для использовать P0784?

Answer 1

Была ли эта функция принята как часть того же предложения?

Функция mark_immutable_if_constexpr отсутствует в предложении и отсутствует в C ++ 20. Он был удален из более раннего черновика:

Удалите непереходную обработку выделения, потому что EWG не понравилась mark_immutable_if_constexpr, и проблему статус-кво R4 потенциально трудно развить.

Вы также можете видеть, что формулировка для бумаги не вводит эту новую функцию.