C++ 定义返回数组的函数

知识点小结

最近遇到的一个问题是写C++的时候想要函数的返回值为一个数组，所以在定义函数返回值的类型的时候使用了指针。但是这时候返回的不能是在函数内部定义的数组首地址，因为这个地址在函数执行完成之后就会删除，导致调用这个函数的其他函数不能得到这个返回的数组。后来发现可以借用new及其初始化解决这个问题，在函数内部不定义返回的地址，而是直接在return后面new一个新的区域储存需要返回的内容。这里需要注意的是，C++中new是可以直接进行初始化的。简单的代码演示如下，用一个函数返回一个两个数组成的数组。

int* return_array(int a, int b)
{
  int arr[] = {a, b};
  return arr;
  /*这种情况是错误的，仅有数组的第一个值能正确返回
    可以这么认为，其他的值还没有返回就因为函数的结束
    而被删除了*/

  return new int[2]{a, b};
  /*先要正确返回一个数组，可以这样使用new，但是会遇到
  关于延迟初始化的warning，这个点我还没有完全弄懂，但是
  目前我这么用没有什么问题
  */
}


int main()
{
  int a = 3, b = 2;
  int *q = return_array(a, b);
  for(int i=0; i<2; i++)
    cout << q[i] << " ";
  cout <<endl;
  return 0;
}

更新1
这几天重新试了一下，对这个问题有了点新认识。如果上面那段代码不在return后面new也是可以的。调换一下顺序就可以写成：

int * createlist()
{
  int *p = new int[3]{1,2,3};
  return p;
}

这里也能达到效果。这就说明在函数内部，声明和new的存储方式是不同的。查了一下，声明出来的空间是存储在栈上的，这部分空间会在函数结束时自动被释放。而new出来的空间是存储在堆上的，这部分空间除非主动delete，否则时候在程序全部结束时被释放。所以在局部的一个函数中new出来的空间，在主函数中仍然能够被访问就是这个原因。