为何C++允许引用超出作用域的变量？编译合法性及应用场景疑问

先看你给出的代码：

struct Ri {
    int& i;
};

auto do_something() {
    int v{2};
    return Ri{v};
}

1. 为什么这段代码能通过编译？ #

C++编译器的静态检查仅负责验证语法合法性和基础语义规则，不会做全局数据流追踪来预判运行时的悬空引用问题：

• 函数内部创建Ri{v}时，局部变量v正处于存活状态，将它的引用绑定到Ri的成员i完全符合语法规则。
• 返回Ri对象的操作本身没有语法错误，编译器只会检查返回值类型是否匹配，不会追踪返回后对象内引用的生命周期是否有效。
  只有当你实际使用返回的Ri对象中的i引用时，才会触发未定义行为，但这种运行时问题编译器默认不会提前拦截（部分静态分析工具或高等级警告可能会提示，但不属于强制编译错误）。

2. 为什么允许返回带局部变量引用的对象？ #

C++的设计核心是「给程序员最大的灵活性」，语言标准只会明确哪些行为属于未定义行为（比如本例中返回后使用Ri::i），但不会禁止所有可能产生风险的写法。
编译器不会替程序员做决策——毕竟在某些合法场景下，返回带引用的对象是合理的，语言不能因为存在滥用的可能就直接禁用这种语法。

3. 这种用法有合理的应用场景吗？ #

有，但前提是要保证引用绑定的对象生命周期长于返回的Ri对象：

• 绑定静态/全局变量：如果把函数里的v改成static int v{2}，v的生命周期是整个程序运行期，返回的Ri对象中的引用就始终有效，此时Ri可以作为引用的轻量包装器使用。
• 绑定调用者提供的对象：如果Ri的引用成员是绑定到函数参数传入的对象（而非函数内部局部变量），返回Ri对象就能安全地将引用传递回调用者，实现引用语义的传递。
• 临时对象的即时使用：如果调用者在返回Ri对象后，立即使用其引用成员（且此时原对象仍存活），不过这种场景需要非常谨慎，一般不推荐，除非能严格控制生命周期。

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