在视觉 2019 中复制 Elision

Question

我试图测试一个小代码来检查我的编译器（在 Visual Studio 2019 下）是否确实复制省略，因为在 C++17 下的某些情况下它不再是可选的。

所以我尝试了下面的代码：

#include <iostream>
#include <vector>
using namespace std;

struct myStruct
{
    myStruct() { cout << "default ctor" << endl; }
    myStruct(const myStruct& str) { cout << "copy ctor" << endl; }
    myStruct& operator=(myStruct other) { cout << "Copy assignement" << endl; return *this; }
    myStruct(myStruct&& str) noexcept { cout << "move ctor" << endl; }
    myStruct& operator=(myStruct&& other) { cout << "move assignement" << endl; return *this; }
    ~myStruct() { cout << "deleted" << endl; }
};

myStruct get()
{
    myStruct s;
    return s;
}

int main()
{
    vector<myStruct> vect;
    vect.reserve(10);
    cout << "Creating The Vector" << endl;
    vect.push_back(get());
    vect.push_back(get());
    cout << "Cretion End" << endl;
    return 0;
}

因此，据我所知，调用函数 get() 将触发 RVO，因此我只会得到 ctor 调用。 但是当我运行程序时，我得到（我在调用 get() 函数后在与复制相关的行前添加了 <<<< ）：

Creating The Vector
default ctor
move ctor
deleted
move ctor  <<<<
deleted    <<<<
default ctor
move ctor
deleted
move ctor  <<<<
deleted    <<<<
Cretion End
deleted
deleted

尝试使用 gcc 时，我得到：

Creating The Vector
default ctor
move ctor
deleted
default ctor
move ctor
deleted
Cretion End
deleted
deleted

所以似乎微软仍然没有实现复制省略，或者我的代码有问题所以我错过了复制省略的真正魅力？

先感谢您

Answer 1

在这种情况下，任何（当前存在的）C++ 版本都不需要删除任何副本。 标准规定了几个副本：从s到get的返回值对象的副本，以及从引用参数到push_back到vector内部对象的副本。 后一个副本不能被删除，前一个副本的删除根本不能保证发生。

如果您在谈论 C++17 的保证省略，这仅适用于使用纯右值来初始化对象（该类型）。 这在这里永远不会发生（在传递给调用push_back的临时参数之外，但这对于任何版本的 C++ 都是正常的），所以它不适用。

这是一个简单的测试：如果假设副本的源对象有一个变量名，则省略（如果适用）不是强制性的。