Это продолжение моего предыдущего вопроса, где очевидное согласие заключалось в том, что изменение в обработке 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
.)