C++：返回引用/指针变量可行，返回原局部变量却告警？求解析

先看你的代码示例： #

返回引用的两种情况

// 写法1：返回引用变量r，无警告但行为危险
int& ref(int q){
    int a = q;
    int &r = a;
    return r;  
}

int main(){
    int i=90;
    cout << ref(i) << endl; // 看似输出90，实际是未定义行为
}

// 写法2：返回原变量a，触发警告
int& ref(int q){
    int a = q;
    int &r = a;
    return a;  
}

int main(){
    int i=90;
    cout << ref(i) << endl; // 警告：返回局部变量a的引用
}

返回指针的两种情况

// 写法1：返回指针p1，无警告但行为危险
int* poin(int q){
    int a = q;
    int *p1 = &a;
    return p1;
}

int main(){
    int i=90;
    cout << poin(i) << endl; // 看似输出地址，实际是无效地址
}

// 写法2：返回&a，触发警告
int* poin(int q){
    int a = q;
    int *p1 = &a;
    return &a;
}

int main(){
    int i=90;
    cout << poin(i) << endl; // 警告：返回局部变量a的地址
}

一、为什么一个有警告一个没？ #

首先明确：两种写法全是错的，不存在“正常运行”的说法。

函数里的int a是局部变量，它存储在函数专属的栈内存区域。函数执行完毕后，这块栈内存会被系统回收（后续可能被其他数据覆盖）。

• 写法1（返回r或p1）：编译器没直接检测出这是指向已销毁局部变量的引用/指针，所以没弹出警告，但你读取的是已经失效的内存——这次刚好内存还没被覆盖，所以输出了正确值/地址，但下次运行可能崩溃、输出垃圾值，完全不可靠，这叫未定义行为。
• 写法2（返回a或&a）：编译器一眼就认出你在返回局部变量本身的引用/地址，直接抛出警告，明确告知这是严重错误。

简单说：没警告不代表代码正确，只是编译器没揪出问题而已。

二、返回&a和返回指针p1的区别？ #

本质上完全没区别，最终返回的都是局部变量a的地址：

• p1就是一个存储了&a值的指针变量，返回p1和直接返回&a的结果完全一致；
• 唯一不同是编译器的检测逻辑：返回&a是直接取局部变量的地址，编译器能立刻识别风险；返回p1是返回一个中间变量，编译器没直接关联到a是局部变量，所以没触发警告，但结果一样是返回无效地址。

三、返回引用变量r和返回原变量a的区别？ #

同样，本质上没区别：

• r是a的引用，二者在底层指向同一块内存，返回r就是返回指向a的引用；
• 返回a时，因为函数返回类型是int&，编译器会自动把a转换成它的引用返回，和返回r完全等价。
  区别还是编译器的检测：返回a时直接触发警告，返回r时没被检测出来，但代码都是错误的。

内容的提问来源于stack exchange，提问作者abdullah