c++ - 返回 C++ 堆栈变量

Question

在这个例子中，为什么可以返回一个堆栈变量？当 t() 返回时，为什么它不返回垃圾，因为堆栈指针已经递增？

#include << string >>
#include << vector >>
#include << iostream >>

using namespace std;

class X{
public:

  X() { cout << "constructor" << endl; }

  ~X() { cout << "destructor" << endl; }

};

vector <X> t()
{
  cout << "t() start" << endl;

  vector<X> my_x;

  int i = 0;

  printf("t: %x %x %x\n", t, &my_x, &i);

  my\_x.push\_back(X()); my\_x.push\_back(X()); my\_x.push\_back(X());

  cout << "t() done" << endl;

  return my_x;
}

int main()
{

  cout << "main start" << endl;

  vector <X> g = t();


  printf("main: %x\n", &g);

  return 0;

}

输出:

./a.out
main start
t() start
t: 8048984 bfeb66d0 bfeb667c
constructor
destructor
constructor
destructor
destructor
constructor
destructor
destructor
destructor
t() done
main: bfeb66d0
destructor
destructor
destructor

Answer 1

基本上，当您返回堆栈变量 my_x 时，您会调用复制构造函数来创建变量的新拷贝。 这不是真的，在这种情况下，多亏了强大的编译器。

编译器使用一种称为按值优化返回 的技巧，使变量 my_x 真正构造在 main 方法中为 g 分配的内存位置。这就是您看到打印相同地址 bfeb66d0 的原因。这避免了内存分配和复制构造。

有时由于代码的复杂性，这根本不可能，然后编译器重置为默认行为，创建对象的拷贝。