Cv-квалификации prvalues (пересмотренный)

Это продолжение моего предыдущего вопроса, где очевидное согласие заключалось в том, что изменение в обработке cv-квалификаций prvalues было довольно незначительным и несущественным изменением, предназначенным для устранения некоторых несоответствий (например, функции, возвращающие prvalues и объявлено с cv-квалифицированными типами возврата).

Тем не менее, я вижу другое место в стандарте, которое, похоже, полагается на prvalues, имеющие cv-квалифицированные типы: инициализация ссылок const с prvalues через временное преобразование материализации. Соответствующую формулировку можно найти в нескольких местах в 9.3.3/5

[...] Если преобразованный инициализатор является prvalue, его тип T4 настраивается на тип 'cv1 T4' ([conv.qual]) и применяется временное преобразование материализации ([conv.rval]) [...]

[...] В противном случае выражение инициализатора неявно преобразуется в значение типа 'cv1 T1'. Применяется временное преобразование материализации, и ссылка привязывается к результату.

Намерение, очевидно, состоит в том, чтобы убедиться, что при переходе к фактическому временному преобразованию материализации

7.3.4 Преобразование временной материализации
1 Prvalue типа T может быть преобразовано в xvalue типа T. Это преобразование инициализирует временный объект ([class.teilitary]) типа T из prvalue, оценивая prvalue с временным объектом в качестве его объекта результата. и создает значение x, обозначающее временный объект. [...]

тип T, который он получает в качестве входных данных, включает необходимые cv-квалификации.

Но как эта cv-квалификация выдерживает 7.2.2/2 в случае не-класса не-массива prvalue?

7.2.2 Тип
2 Если изначально значение prvalue имеет тип 'cv T', где T - неквалифицированный cv некласс, не массив, тип выражения корректируется до T перед любым дальнейшим анализом.

Или это?

Например. какие временные мы получаем в этом примере

const int &r = 42;

Временный const или нет? Можем ли мы сделать

const_cast<int &>(r) = 101; // Undefined or not?

без запуска неопределенного поведения? Если я не ошибаюсь, первоначальная цель заключалась в получении временного const int в таких случаях. Это все еще правда? (Для типов классов ответ ясен - мы получаем временный const.)

Ответ 1

Я думаю, что я могу опубликовать здесь ответ от Core отражателя о взаимодействии [dcl.init.ref]/5.3 и [expr.type]/2.

[Dcl.init.ref]/5.3:

Если преобразованный инициализатор является prvalue, его тип T4 настраивается на тип "cv1 T4" ([conv.qual]) и применяется временное преобразование материализации ([conv.rval]).

[Expr.type]/2:

Если изначально значение типа prvalue имеет тип "cv T", где T - неквалифицированный cv некласс, не относящийся к массиву, тип выражения корректируется до T перед любым дальнейшим анализом.

Так что ответ был

Я думаю, что ключевое слово здесь "изначально". Вы корректируете cv-квалификацию один раз, когда изначально формируется prvalue. Любая квалификация cv, добавленная в результате последующих корректировок, не подлежит дальнейшим изменениям.

Итак, const int &r = 42; приводит к материализации объекта const int в С++ 17.