时间戳

首页 > 解决方案 > Visual 2019 中的复制省略

c++ - Visual 2019 中的复制省略

问题描述

我试图测试一个小代码来检查我的编译器（在 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

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

先感谢您

标签： c++visual-c++visual-studio-2019copy-elision

解决方案

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

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

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

推荐阅读