c++ - 为什么编译器在返回对局部变量的局部引用时不警告“返回局部变量或临时地址”？

Question

在 Visual Studio 2010 中编译以下代码时会发生这种情况。我的问题是：如果函数返回局部变量的地址，C++ 编译器会发出警告，但为什么在返回对局部变量的局部引用时不发出警告？

它仍然是错误的（返回对局部变量的局部引用），只是编译器无法检测到它？检查“num”和“r”的地址会发现它们共享相同的内存位置。

#include <iostream>  
using namespace std;

int & intReference() {
  int num = 5;
  int &r = num;
  cout << "\nAddress of num: " << &num;

  //return num; // Compiler warning: C4172: returning address of local variable or temporary
  return r; // No warning?
}

void main() {
  int &k = intReference();
  cout << "\nk = " << k;  // 5
  cout << "\nAddress of k: " << &k; // same address as num

  char c;
  cin.get(c);
}

Answer 1

是的，它仍然是错误的。

编译器无法检测到您正在做危险（或非法）事情的所有情况。它会在找到它们时发出警告，但它不能识别所有情况（也不是必须）。