Почему множественный вызов конструктора создаёт только один объект?

Question

[yatanai]

Почему при написание кода типа

#include <iostream>

using namespace std;

struct Foo
{
    Foo()                noexcept { wcout << L"ctor default\n"; }
    Foo(const Foo&  a_f) noexcept { wcout << L"ctor copy\n"; }
    Foo(      Foo&& a_f) noexcept { wcout << L"ctor move\n"; }
    ~Foo()               noexcept { wcout << L"dtor\n"; }
    Foo& operator=(      Foo&& a_f) noexcept { wcout << "assign move\n"; return *this; }
    Foo& operator=(const Foo&  a_f) noexcept { wcout << "assign copy\n"; return *this; }
};
void main()
{
    Foo x{ Foo(Foo{}) };
}

//Вывод: ctor default
//Вывод: dtor

Я наблюдаю только конструктор для объекта "х" без создания временных объектов Foo? Почему происходит такая оптимизация, где за это почитать, отключается ли и можно ли как-то на этом спотыкнуться?

UPD: Я ожидаю что в выводе будет несколько вызовов ctor move и один ctor default, но этого не происходит

Comments

[Wataru]

Передайте компилятору флаг -O0.

[yatanai]

Wataru, Я пользуюсь msvc, и ни при каких флагах компиляции поведение не изменяется.

[res2001]

yatanai, Ну значит в MSVC эта оптимизация не отключается.
Надо усложнить тест. Создайте несколько реальных объектов и используйте std::move для вызова конструктора перемещения.

[kamenyuga]

Тут же только временные объекты. Чаще такое происходит во время вызова функций и методов, там это называется в общем случае copy elision. А тут речь про инициализацию временными объектами. Это назывется - выражение для инициализации превращается компилятором в prvalue, которая не предполагает обязательного создания временного объекта. Так что вся цепочка временных объектов просто не создается. Инициализация в плюсах тема страшная. Она называется Declarators -> Initializers. Например, https://timsong-cpp.github.io/cppwp/n4659/dcl.init

Answer 1

[Mercury13]

Прочитайте про избавление от копирования, которое сделали обязательной функциональностью Си+17.
https://en.cppreference.com/w/cpp/language/copy_elision