1

我正在阅读 C++ 中的复制省略。我对使用这种复制省略的 C++ 中的 STL 有疑问。

以下代码：

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

vector<int> merge(vector<int> &arrA, vector<int> &arrB)
{
    int x;
    vector<int> result;

    for(x = 0; x < arrA.size(); x++)
    {
        result.push_back(arrA[x]);
    }
    for(x = 0; x < arrB.size(); x++)
    {
        result.push_back(arrB[x]);
    }
    cout << "fun return: " << &result <<endl;
    return result;
}


int main(int argc, char const *argv[])
{
    vector<int> arrA;
    arrA.push_back(1);
    vector<int> arrB;
    arrB.push_back(2);
    vector<int> res;

    res = merge(arrA, arrB);
    cout << "return: "  << &res <<endl;

    return 0;
}

所以我在做一个简单的任务（合并）向量A和B（不要注意过程，只关注函数和返回。

vector<int> merge(vector<int> &arrA, vector<int> &arrB)

使用以下定义，它返回一个vector<int>（无参考）

这也是return result;在函数范围内声明的变量。

我试图查看这些向量所在的内存地址。输出：

==5036== Memcheck, a memory error detector
==5036== Copyright (C) 2002-2013, and GNU GPL'd, by Julian Seward et al.
==5036== Using Valgrind-3.10.0.SVN and LibVEX; rerun with -h for copyright info
==5036== Command: ./a.out
==5036== 
fun return: 0xffefffe40
return: 0xffefffe20
==5036== 
==5036== HEAP SUMMARY:
==5036==     in use at exit: 0 bytes in 0 blocks
==5036==   total heap usage: 5 allocs, 5 frees, 28 bytes allocated
==5036== 
==5036== All heap blocks were freed -- no leaks are possible
==5036== 
==5036== For counts of detected and suppressed errors, rerun with: -v
==5036== ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 0 from 0)

两者的内存地址不同，所以我在想只要它不会创建复制构造器，它最后将是相同的内存地址（0xffeffe40）这是否意味着它是复制构造的？

这种方法是复制省略吗？

  • 如果不是：为什么不是复制省略？
  • 如果是：我怎么知道它真的在做复制省略？

还有一个重要的问题：如果这不是复制省略，有可能做到吗？在 STL 中进行复制省略需要什么？

4

1 回答 1

1

对于复制省略，您首先需要拥有“复制”，即您的res向量必须是从返回值构造的复制。
否则你只会有一个任务，这需要摆脱向量中的任何内容，因此不能省略。

请注意，它仍然是一个移动分配，因此缺点不会太大（您也可以使用 memcheck 对其进行测试）。

于 2016-10-09T03:30:53.360 回答