c++ - NRVO 和 move

Question

我已经阅读了一些关于 move 函数的帖子(例如 http://www.cprogramming.com/c++11/rvalue-references-and-move-semantics-in-c++11.html)，并且我想观察 move 运算符的运行情况。所以我尝试了以下代码:

#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 获取相同的地址，因为 move 运算符是为 vector 实现的。我得到的正是这个，但有和没有标志 -std=c++11。那是我了解 NRVO ( c++11 Return value optimization or move? ) 的时候，所以我用标志 -fno-elide-constructors 禁用了它，现在地址不同了，即使有标志 -std= C++11。我的代码有问题还是我对 move 运算符的理解有误？

据我了解，按值返回应该足以让 move 运算符启动 ( 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

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