函数返回的值会导致堆栈溢出吗？

Question

所以，我有以下代码，我在堆上有一个类x并返回它的value 。 假设如果在堆栈上声明res ，则会导致堆栈溢出。 那么，在下面的代码中，由于我返回的是存储在堆上的值，是否会导致堆栈溢出？ 我是否必须返回指向x的指针？

x func ()
{
   x* res = new x;
   // code
   return *res;
}

int main ()
{
   x* s = new x;
   *s = func();
}

另外，我知道我没有delete字符串。

编辑：从std::string更改为class x 。

Answer 1

详细说明我的评论。 通常，如果sizeof(X) （其中X是您的类型）不是非常大，则不应导致堆栈溢出 - 在精心设计的应用程序中不应该出现这种情况。

但是，您可以使用您的示例并检查在大型数据结构的情况下会发生什么：

// very bad 1MB structure
struct X
{
  char data[1024*1024];
};

int main() {
  std::cout << sizeof(X) << std::endl;
  auto x = foo();
  // data[0] is undefined, printing to prevent compiler from optimizing it out
  std::cout << x.data[0] << std::endl;
  return 0;
}

现在使用 valgrind 运行它并将堆栈大小设置为小于 1MB：

valgrind --main-stacksize=1000000 --leak-check=full --log-file=vg.valgrind ./xxx

您可能会得到与此类似的输出：

Process terminating with default action of signal 11 (SIGSEGV)
Access not within mapped region at address 0x1FFEEFFB60
Stack overflow in thread #1: can't grow stack to 0x1ffeeff000

注意：溢出是由函数调用本身引起的，而不是由存储返回值引起的，这个例子就足够了：

int main()
{
  foo();
  return 0;
}

但是，如果foo没有任何副作用，带有-O1或更高版本的 gcc 将优化它。 您可以使用-O0进行编译以查看简化示例中的溢出。

对struct X简单改进，以避免在堆栈上分配大量数据：

struct X
{
  X(): data(1024*1024, 'x') {}
  std::string data;
};

Answer 2

函数返回的值会导致堆栈溢出吗？

返回值可以存储在堆栈中。 如果存储在堆栈中的任何内容大于堆栈中的大小，都可能导致堆栈溢出。

在一个示例调用约定中，调用者为返回值分配堆栈空间，并在其后存储参数，在这种情况下，如果返回值溢出堆栈，那么它甚至在函数被调用之前发生。

...会导致堆栈溢出吗？

可能，是的。 这是一个演示： http : //coliru.stacked-crooked.com/a/daca31b6551d1be5

如果涉及避免创建临时对象的优化，则不能保证堆栈溢出。 启用优化的相同示例： http : //coliru.stacked-crooked.com/a/11fd38960fd62155

我必须返回一个指向 x 的指针吗？

如果sizeof非常大，那么您应该避免按值返回它，就像您应该避免使用自动存储声明变量，或创建临时对象，或作为值参数传递一样。

在这个例子中， std::unique_ptr可能是一个不错的选择。