在Rust中返回枚举变体的引用是否合理？兼析编译报错原因

我正在用Rust编写井字棋作为入门项目，在计算游戏状态（获胜、平局等）时遇到了问题。我最初编写了如下代码：

fn status(&self) -> Status {
    if Board::has_won(self.x_board) {
        Status::Won(true)
    } else if Board::has_won(self.o_board) {
        Status::Won(false)
    } else if self.is_full() {
        Status::Draw
    } else {
        Status::None
    }
}

随后我将其修改为返回引用：

fn status(&self) -> &Status {
    if Board::has_won(self.x_board) {
        &Status::Won(true)
    } else if Board::has_won(self.o_board) {
        &Status::Won(false)
    } else if self.is_full() {
        &Status::Draw
    } else {
        &Status::None
    }
}

我这么做是为了将self的生命周期与返回值绑定，以便当棋盘状态改变时，状态引用无法再被使用。

接着我尝试了如下代码：

fn status(&self) -> &Status {
    let status;
    if Board::has_won(self.x_board) {
        status = Status::Won(true)
    } else if Board::has_won(self.o_board) {
        status = Status::Won(false)
    } else if self.is_full() {
        status = Status::Draw
    } else {
        status = Status::None
    }

    &status
}

结果出现编译错误，提示无法返回自有数据的引用。为何第一个修改后的代码片段没有这个问题？

为什么第二个代码能编译通过 #

你第二个代码里的&Status::Won(true)、&Status::Draw这类表达式，引用的是静态编译期常量。Rust会把枚举字面量这类值存放在程序的全局静态内存区域，它们的生命周期是'static（也就是整个程序运行期间都存在）。

虽然函数声明返回的是和self绑定生命周期的&Status，但'static生命周期是所有生命周期中最长的，它完全兼容self的生命周期约束——编译器会自动允许这种更长的生命周期转换为更短的生命周期，所以这段代码能正常编译。

不过要注意：这个做法其实没达到你原本的目的——绑定self生命周期。因为'static引用不会随着self的销毁而失效，即使棋盘对象被销毁，返回的状态引用依然能使用。

为什么第三个代码编译失败 #

第三个代码里的status是函数内部的局部栈变量，它被创建在当前函数的栈帧中。当函数执行完毕返回时，整个栈帧会被销毁，status占用的内存也会被释放。如果你返回&status，这个引用就会指向已经被回收的内存（也就是悬垂引用），这会导致内存安全问题，所以Rust编译器直接报错禁止这种行为。

补充：如何实现你原本的需求 #

如果你确实想让返回的状态引用和self的生命周期绑定，正确的做法是把Status作为Board结构体的一个字段：

1. 在Board里添加current_status: Status字段
2. 每次棋盘状态变化（比如落子后），更新这个字段的值
3. status函数直接返回&self.current_status

这样返回的引用就会和self的生命周期绑定，当Board对象被销毁时，这个引用也会失效，完全符合你的需求。

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