Итак, из рабочего проекта стандарта 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(). — end example]
Таким образом, в новой версии параграфа 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
