Можно ли вот так почистить фразу из рабочего проекта C++ n4928 (относительно обязательного копирования при инициализации ⇐ C++

[Anonymous]

Итак, из рабочего проекта стандарта C++ (n4928) есть фраза:
[dcl.init.general] 9.5.1 \ 16.6.1

Если выражение инициализатора является prvalue и cv-неквалифицированной
версией источника type совпадает с типом назначения, выражение
инициализатора используется для инициализации целевого объекта.
[Пример 2: T x = T(T(T())); значение инициализирует x. — end example]

Для меня слова «используется для инициализации» звучат как бесконечная рекурсия... А если нет, то почему читатель Стандарта должен думать, что конструкторы-копии T не вызываются? Похоже, авторы имели в виду следующее значение:

Если выражение инициализатора является значением prvalue, а cv-unqualified
версия исходного типа совпадает с типом назначения,
начальное значение инициализируемого объекта является значением
выражения инициализатора. [Пример 2: T x = T(T(T())); конструкторы
не вызываются, но значение объекта x такое же, как и для T(). — end
example]

Это соответствовало бы старой фразе в [dcl.init.general] 9.5.1 \ 16.9 и еще более старому определению термина value в стандарте C99... Где я ошибаюсь?

значение — точное значение содержимого объекта при интерпретации
как имеющего определенный тип

Эта часть стандарта важна, поскольку она делает обязательной так называемую оптимизацию неименованного возвращаемого значения (URVO) для компиляторов, начиная с C++17...

Подробнее здесь: https://stackoverflow.com/questions/797 ... atory-copy