C++中int类型变量为何可以作为int&类型的函数返回值返回？

C++返回引用相关问题解答 #

基础认知：引用的核心定义 #

C++中的引用是变量的别名，语法层面和普通变量的使用方式完全一致，不需要额外的地址操作符，所有对引用的修改都会直接作用到它绑定的原变量上。

1. 返回int类型变量匹配int&返回值的生效逻辑 #

当函数返回值声明为int&（引用类型）时，return语句会直接返回目标变量的引用，而非变量的拷贝值。
你给出的示例中global是全局变量，生命周期覆盖程序全程，不存在栈帧销毁后引用悬空的问题，所以return global时编译器会自动将其绑定为返回的引用，不会做值拷贝。
后续int &a = setGlobal();的逻辑等价于int &a = global;，a就是global的别名，执行a = a + 5后global的值会变为105，最终输出结果就是105。

2. 不需要写return &global的原因 #

你混淆了&在C++中的两种不同语义：

• 当&跟在类型后面时（比如int&、参数声明int& num），代表的是引用类型
• 当&放在变量前面时（比如&global），代表的是取变量地址，返回值是int*类型的指针

如果写return &global，返回的是指针类型，和函数声明的int&返回值类型不匹配，会直接编译报错。

自行编写版本的逻辑说明 #

你写的代码逻辑是完全正确的，你提前定义了int& x = global;，相当于给global多起了一个别名x，此时return x和直接return global的效果完全一致，没有本质区别。

额外避坑提示 #

返回引用时必须确认绑定的变量生命周期长于引用的使用周期，绝对不要返回函数内部局部变量的引用：局部变量在函数执行完成后栈空间会被回收，返回的引用会变成悬空引用，访问时会触发未定义行为。

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