c++ - NRVO 和移动

Question

我已经阅读了一些关于移动函数的帖子（例如http://www.cprogramming.com/c++11/rvalue-references-and-move-semantics-in-c++11.html），我想观察移动运算符的实际操作。所以我尝试了以下代码：

#include <vector>
#include <cassert>
#include <functional>
#include <algorithm>
#include <iostream>
using namespace std;

vector<double> operator+(const vector<double>& a, const vector<double>& b){
  assert(a.size()==b.size());
  vector<double> result(a.size(),0);
    transform (a.begin(), a.end(), b.begin(), result.begin(), std::plus<double>());
  cout<<&result<<endl;
  return result;
}

int main(int argc, char const *argv[]) {
  vector<double> a,b;
  for (int i=0;i<10;i++){
    a.push_back(i);
    b.push_back(1);
  }
  std::vector<double> c=a+b;
  cout<<&c<<endl;
  return 0;
}

我希望为局部变量 result 和 c 获得相同的地址，因为移动运算符是为 vector 实现的。我得到了确切的结果，但有和没有标志-std=c++11。那是我了解 NRVO (c++11 Return value optimization or move?) 的时候，所以我使用标志 -fno-elide-constructors 禁用它，现在地址不同了，即使使用标志 -std=c++11。我的代码有问题还是我对移动运算符的理解有问题？

据我了解，按值返回应该足以让移动运算符启动 (C++11 rvalues and move semantics confusion (return statement))。

PS：我尝试使用 GCC 6.3.0_1 和 Apple LLVM 版本 8.1.0。

编辑

正如所指出的，我应该检查result.data() 而不是&result（见下文）。但在那种情况下，我总是找到相同的地址，即使没有std=c++11 和-fno-elide-constructors。请参阅接受的答案及其评论部分。

Answer 1

移动构造函数通过窃取旧对象的资源来构造一个新对象。它根本不合并临时对象：如果没有省略构造，您仍然有两个对象。

Answer 2

将移动视为优化的副本。它仍然是一个副本，因此它仍然是一个不同的向量，但它已将基础数据从一个向量“移动”到另一个向量。通过比较数据的地址可以看出：

cout<<result.data()<<endl;

和

cout<<c.data()<<endl;

另一方面，复制省略完全消除了副本。