Стандарт Visual Studio соответствует, когда, по -видимому, не вызывает копию при вызове функции ⇐ C++

[Anonymous]

Посмотрите на эту программу (Godbolt): < /p>

Код: Выделить всё

#include 

struct Foo {
~Foo() {
printf("~Foo\n");
}
};

void foo(Foo) {
}

int main() {
foo(Foo());
}

На основании моего предыдущего вопроса эта программа не должна материализировать foo () в Main , но просто использовать ее в качестве инициализатора при вызове Foo . Таким образом, должен быть только один экземпляр foo , параметр foo () . Однако с MSVC код печатает < /p>

Код: Выделить всё

~Foo
~Foo

Таким образом, было создано два экземпляра, предположительно, один для параметра временного в основном , и один для параметра foo () (примечание: с GCC, только один ~ foo line напечатана). Foo , тогда только одна строка ~ foo напечатана).


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