Rust中如何返回包含自身函数内借用字段的结构体？

安全阿岳

2026-7-28

Rust中第三方库结构体持有内部创建值引用的解决方案

问题描述

我有一个返回包含引用的结构体的函数，示例代码如下：

struct Foo<'a> {
    x: &'a i32,
}

fn makeFoo<'a>() -> Foo<'a> {
    let x = 30;
    return Foo{x: &x}
}

这段代码的问题在于，x会在makeFoo函数结束时被销毁，导致结构体中的引用存活时间超过了它所指向的对象。

有没有办法把x的生命周期转移到调用函数中？最直接的解决方案是重新定义结构体，让它直接拥有x的所有权，但这并非总能实现——我遇到的情况是这个结构体定义在我无法控制的第三方库中。在Rust中解决这类问题的惯用方法是什么？

补充说明：
虽然这个问题看起来和一些类似问题很像，但实际有所不同。核心是要创建一个变量，其引用被包含在返回的结构体中，并且要在不修改结构体的前提下，把引用的生命周期和结构体本身绑定。我原本以为这应该能实现，毕竟在第三方库中遇到持有值引用的结构体并不罕见。

比如有人可能觉得下面这段代码应该可行：

struct Foo<'a> {
    x: &'a i32,
}

fn makeFoo<'a>() -> (Foo<'a>, i32) {
    let x = 30;
    return (Foo{x: &x}, x)
}

如果编译器足够智能，应该能判断出&x指向的值会被返回给调用者，但实际情况并非如此。

解决方案

首先明确：你没办法在不修改结构体的前提下，让函数内部创建的值的生命周期绑定到返回的结构体上——这是Rust的所有权和生命周期规则的核心限制，目的就是从根源上杜绝悬垂引用。

针对你遇到的场景，有几种惯用的处理方式：

让调用者提供被引用的值
把需要被引用的变量从函数内部移到调用函数中，然后作为参数传入目标函数：
```
struct Foo<'a> {
    x: &'a i32,
}

fn makeFoo<'a>(x: &'a i32) -> Foo<'a> {
    Foo { x }
}

// 调用示例
fn main() {
    let x = 30;
    let foo = makeFoo(&x);
    // 此时x的生命周期覆盖了foo的生命周期，不会出现悬垂引用
}
```
这是最符合Rust设计哲学的做法，它明确了所有权的归属，让引用的生命周期关系清晰可见。
使用堆分配的共享所有权（如Arc）
如果必须在函数内部创建值，同时让结构体持有它的引用，可以把值包装成Arc（原子引用计数指针），然后将Arc和结构体一起返回给调用者：
```
use std::sync::Arc;

struct Foo<'a> {
    x: &'a i32,
}

fn makeFoo() -> (Foo<'_>, Arc<i32>) {
    let x = Arc::new(30);
    let foo = Foo { x: &x };
    (foo, x)
}

// 调用示例
fn main() {
    let (foo, x) = makeFoo();
    // Arc会保证只要有持有者存在，值就不会被销毁，foo的引用始终有效
}
```
调用者持有Arc实例的期间，对应的堆内存不会被释放，结构体中的引用也就不会失效。如果不需要线程安全，也可以用Rc替代Arc。
使用静态生命周期（仅限常量值）
如果你的值是编译期固定的常量，可以把它放在静态内存区域，这样引用的生命周期是'static，能匹配结构体的任意生命周期约束：
```
struct Foo<'a> {
    x: &'a i32,
}

fn makeFoo() -> Foo<'static> {
    static X: i32 = 30;
    Foo { x: &X }
}
```
但这种方式只适用于固定不变的常量，无法处理动态生成的数据。

至于你补充的返回元组的例子，之所以无法通过编译，是因为Rust的生命周期检查是静态编译期分析，它不会追踪运行时的值复制或转移。函数内部的&x指向的是栈上的局部变量x，这个变量在函数返回时会被销毁；而返回的i32是它的副本，两者在内存中是完全不同的位置，编译器无法将原变量的引用和副本的生命周期关联起来，自然会判定为悬垂引用。

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

Rust中如何返回包含自身函数内借用字段的结构体？

问题描述 #

解决方案 #

问题描述

解决方案