Итак, есть фраза из рабочего проекта стандарта C++ (n4928):
[dcl.init.general] ¶ 16.6.1
Если выражение инициализатора является значением prvalue, а неквалифицированная cv версия исходного типа совпадает с целевой type, выражение инициализатора используется для инициализации целевого объекта [Пример 2: T x = T(T(T())); значение инициализирует x. — end example]
Для меня слова «используется для инициализации» звучат как бесконечная рекурсия... А если нет, то почему читатель Стандарта должен думать, что ни конструкторы копирования, ни перемещения T не вызываются? Похоже, авторы подразумевали это значение:
Если выражение инициализатора является значением prvalue, а неполная cv версия исходного типа совпадает с типом назначения, для инициализируемого объекта не вызываются конструкторы, и его начальное значение является значением выражения инициализатора. [Пример 2: T x = T(T(T())); ни конструкторы копирования, ни конструкторы перемещения не вызываются, но значение объекта x такое же, как и для T(), значение которого, в свою очередь, создается в соответствии с [expr.type.conv] ¶ 1. — end example]
Таким образом, в новой версии ¶ 16.6.1 и в этом примере T() с очевидным 2 явно больше нет рекурсии. Вызовы конструктора копирования или перемещения (которые рассматриваются в следующем абзаце [dcl.init.general] ¶ 16.6.2 относительно прямой инициализации из исходного типа того же класса) вместо этого будут обрабатываться ¶ 16.6.1. Таким образом, на самом деле не будет ни вызовов конструкторов копирования, ни перемещения (как и предполагалось).
Новая формулировка также будет такой же, как и старая фраза в [dcl.init.general] ¶ 16.9, и будет соответствовать еще более старому определению термина value в стандарте C99...
значение — точное значение содержимого объекта при интерпретации как имеющего определенный тип
В C++98 авторы написали два предложения и фактически указали, что означает инициализация выражением: оценка его значения. Я предлагаю очистить ¶ 16.6.1 аналогичной формулировкой (см. выше).
Инициализатор скаляра должен представлять собой одно выражение, возможно, заключенное в фигурные скобки. Начальным значением объекта является значение выражения (после преобразования);
Эта часть стандарта важна, поскольку она делает обязательной так называемую оптимизацию неименованного возвращаемого значения (URVO) для компиляторов, начиная с C++17...
Подробнее здесь: https://stackoverflow.com/questions/797 ... atory-copy
