C++23中两段悬垂引用代码为何编译结果不同？

两段代码的编译表现 #

第一段代码（编译报错） #

int& f(int& x) {
    int y = ++x;
    return y;
}

这段代码在C++23中会触发编译错误，错误信息：
cannot bind non-const lvalue reference of type 'int&' to an rvalue of type 'int'
（中文释义：无法将非const左值引用绑定到int类型右值）

第二段代码（无编译警告） #

int& f(int x) {
    int &y = ++x;
    return y;
}

这段代码编译时不会给出任何警告，但运行时会产生悬空引用，属于未定义行为。

原因分析 #

第一段代码的错误易检测的原因 #

y是函数内部的局部变量，当函数执行完毕时，y会被销毁。return y试图返回这个局部变量的引用时，编译器能直接识别：此时y已经是即将销毁的对象，其值会被当作右值处理，而C++标准明确禁止将非const左值引用绑定到右值，因此编译器直接抛出错误。

第二段代码的问题难检测的原因 #

1. 类型合法性无问题：
   函数参数x是按值传递的局部变量，++x是对左值x的自增操作，前置自增运算符返回的是操作数的左值引用，因此int &y = ++x是合法的绑定——y直接引用了局部变量x。返回y时，y的类型是int&，和函数返回类型完全匹配，从类型系统角度看没有语法错误。

2. 悬空引用属于运行时未定义行为：
   问题的本质是返回的引用指向了函数内的局部变量x，函数结束后x会被销毁，导致返回的引用变成悬空引用。但这种场景属于运行时的未定义行为，而非编译期必须拦截的语法或类型错误。

3. 编译器分析复杂度高：
   要检测出这种悬空引用，编译器需要进行复杂的数据流分析，追踪引用所指向对象的生命周期。这种分析的复杂度极高，尤其是在代码逻辑更复杂的场景下，编译器无法做到100%准确识别所有悬空引用情况。部分编译器在开启高级警告选项（如GCC的-Wall -Wextra、Clang的-Wreturn-stack-address）时会给出警告，但默认编译选项下不会触发，因为C++标准并未要求编译器必须检测这类问题。

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