Question

在以下代码块中......

#include <iostream>

int* a() 
{
  static int nums[] = { 1, 2, 3 };
  return nums;
}

int* const& b() 
{
  static int nums[] = { 4, 5, 6 };
  return nums;
}

void c( int*& num )
{
  if ( num )
  {
    std::cout << "I got " << *num << std::endl;
  }
}

void d( int* const& num )
{
  if ( num )
  {
    std::cout << "I got " << *num << std::endl;
  }
}

int main( int argc, char* argv[] )
{
  int* nums = a();
  std::cout << nums[1] << std::endl;

  int* const nums2 = b();
  std::cout << nums2[1] << std::endl;

  int* num = new int(64);
  c( num );
  delete num;

  int num2 = 101;
  d( &num2 );
}

...为什么函数int* const& b()会生成以下编译警告？

sh-4.2$ g++ -o main *.cpp                                                                                                                                                                                
main.cpp: In function 'int* const& b()':                                                                                                                                                                 
main.cpp:12:10: warning: returning reference to temporary [-Wreturn-local-addr]                                                                                                                          
   return nums;

我认为nums中的b()是静态的，因此在内存的数据部分中，因此不会出现返回真正的函数局部变量的地址的问题。

我尝试在我的桌面和两个在线C ++编译器上编译和运行此代码。可执行文件在桌面和一个在线编译器上运行良好，但在第二个在线编译器上，它在打印“2”后很早就会死掉。但我无法访问核心文件，也没有看到堆栈跟踪以查看实际出错的地方。（在线编译工作是教学点，非工作在线编译器是codechef）

我特别困惑为什么b()会产生此警告和/或运行时错误，而a()却没有。

Answer 1

发生这种情况的原因是nums不是指针，而是数组。虽然C ++会根据需要隐式地将其转换为指针，但是对数组进行引用并将其表示为指针需要一个临时的。从本质上讲，C ++会这样做：

static int nums[] = { 4, 5, 6 };
int* invisible = nums;
return invisible;

制作静态指针并对其进行引用将修复此警告：

static int data[] = { 4, 5, 6 };
static int* nums = data;
return nums;

或者，您可以键入定义一个固定长度的数组，并将其用作b()的返回类型：

typedef int array3[3];

array3 const& b()
{ 
  static int nums[] = { 4, 5, 6 };
  return nums;
}
...
array3 const &nums2 = b();

C ++函数返回静态数组的地址

1 个答案: