C++中如何创建临时变量？返回局部变量引用的问题与解决

首先明确回答：返回局部变量的引用是严重的错误，会触发未定义行为。

为什么返回局部变量引用有问题？ #

你在else块里定义的record x是局部变量，它的生命周期仅限于当前代码块。当函数执行到return语句后，这个局部变量会被立即销毁，栈上对应的内存会被系统回收。此时你返回的引用就变成了悬垂引用——指向一块已经失效的内存。后续任何通过这个引用访问record成员的操作（比如auto& r = get_record(0); r.valid;）都可能导致程序崩溃、读取到垃圾数据，或者看似正常但暗藏难以排查的隐患，这些都属于C++标准里的未定义行为范畴。

如何正确返回临时对象？ #

要返回临时的record对象，你需要修改函数的返回类型，从引用record&改为值record：

record get_record(int key) { 
    if (valid(key)) {
        return lookup(key); // 若lookup返回引用，会被拷贝/移动到返回值中
    } else {
        record x; 
        x.valid = false; 
        return x; // 此时返回的是局部变量的拷贝（C++11及以后会自动优化为移动操作，性能开销极小）
    } 
}

修改后，函数返回的是对象的副本（或移动后的临时对象），调用者无论是用值接收（record r = get_record(k);）还是const引用接收（const record& r = get_record(k);）都是安全的——const引用会自动延长临时对象的生命周期到引用本身的生命周期结束。

更优雅的替代方案（可选） #

如果你的场景需要明确表示“可能没有有效记录”，可以使用C++17引入的std::optional，这样语义更清晰，避免用valid成员来标识无效状态：

#include <optional>

std::optional<record> get_record(int key) { 
    if (valid(key)) {
        return lookup(key); // 若lookup返回引用，会被拷贝到optional容器中
    } else {
        return std::nullopt; // 明确表示未找到有效记录
    } 
}

调用时可以这样处理：

auto opt_rec = get_record(123);
if (opt_rec) {
    // 使用opt_rec.value()访问有效记录
} else {
    // 处理无记录的逻辑
}

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