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

[Anonymous]

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

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

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

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

Таким образом, в новой версии параграфа 16.6.1 и в этом примере T() явно больше нет рекурсии с очевидными двумя вызовами конструктора копирования или перемещения (которые обрабатываются в следующем параграфе [dcl.init.general] 9.4.1 \ 16.6.2 относительно прямой инициализации из исходного типа того же класса) вместо этого будет рассматриваться в параграфе 16.6.1. Таким образом, на самом деле не будет ни вызовов конструкторов копирования, ни перемещения (как и предполагалось).
Новая формулировка также будет такой же, как и старая фраза в [dcl.init.general] 9.4.1 \ 16.9, и будет соответствовать еще более старому определению термина value в стандарте C99...

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

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

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