为什么在将本地引用返回到局部变量时,编译器不会警告"返回局部变量或临时地址"？

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

是的,它仍然是错的.

编译器无法检测到您正在执行危险(或非法)操作的所有情况.它会在找到它们时发出警告,但它无法识别所有情况(并且不必).