Rust报E0515无法返回引用函数内部数据的问题如何解决

核心差异说明 #

你提到将another: &at替换为another: &AnotherThing { val : 2 }可正常运行，原因是Rust对常量表达式临时值有生命周期提升规则：纯常量的结构体字面量会被自动提升为'static生命周期的静态变量，引用不会悬垂；而本地变量、Default::default()返回的临时值生命周期仅在当前函数内，函数返回后就会被销毁，引用直接变成悬垂指针，因此编译器报错。 #

可行解决方案（要求another保持引用类型） #

方案1：使用静态常量实例（适合固定值场景） #

如果AnotherThing的默认值是固定的，直接定义为静态常量，返回其'static引用即可兼容Default逻辑：

struct Something<'a> {
    val: u32,
    another: &'a AnotherThing,
}

struct AnotherThing {
    val: u32,
}

impl Default for AnotherThing {
    fn default() -> Self {
        Self { val: 2 }
    }
}

// 定义静态常量
static DEFAULT_AT: AnotherThing = AnotherThing { val: 2 };

trait Anything {
    fn new(val: u32) -> Self;
}

impl<'a> Anything for Something<'a> {
    fn new(val: u32) -> Self {
        Self {
            val,
            another: &DEFAULT_AT, // 直接用静态常量引用，生命周期合法
        }
    }
}

fn main() {
    let _ = Something::new(1);
}

方案2：调用方传入引用（最通用，无性能损耗） #

调整trait的方法签名，让调用方持有AnotherThing的所有权，将引用传入初始化，完全避免悬垂问题：

struct Something<'a> {
    val: u32,
    another: &'a AnotherThing,
}

struct AnotherThing {
    val: u32,
}

impl Default for AnotherThing {
    fn default() -> Self {
        Self { val: 2 }
    }
}

trait Anything<'a> {
    fn new(val: u32, another: &'a AnotherThing) -> Self;
}

impl<'a> Anything<'a> for Something<'a> {
    fn new(val: u32, another: &'a AnotherThing) -> Self {
        Self { val, another }
    }
}

fn main() {
    // 调用方持有实例，生命周期长于Something
    let at = AnotherThing::default();
    let _ = Something::new(1, &at);
}

方案3：泄漏为'static引用（适合全局单例场景） #

如果AnotherThing的生成逻辑是运行时计算的，且实例创建后全局复用，可以用Box::leak将堆分配的实例泄漏为'static引用：

struct Something<'a> {
    val: u32,
    another: &'a AnotherThing,
}

struct AnotherThing {
    val: u32,
}

impl Default for AnotherThing {
    fn default() -> Self {
        Self { val: 2 }
    }
}

trait Anything {
    fn new(val: u32) -> Self;
}

impl<'a> Anything for Something<'a> {
    fn new(val: u32) -> Self {
        // 堆分配后泄漏，获得'static生命周期引用
        let at = Box::new(AnotherThing::default());
        Self {
            val,
            another: Box::leak(at),
        }
    }
}

fn main() {
    let _ = Something::new(1);
}

注意：该方案会导致实例内存无法被自动回收，仅适合全局仅创建一次的场景，不要高频调用否则会内存泄漏。

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