如何让Vec的引用拥有其所属结构体的生命周期？

错误原因 #

你写的new_item函数里，局部变量k是函数内创建的Vec，当函数执行完毕后k会被销毁，此时&k这个引用就成了悬空引用。Rust的借用检查器会阻止这种情况，因为它无法保证返回的British<'a>中items的引用生命周期能覆盖结构体的使用周期。

解决方案 #

根据你需要结构体存活整个应用生命周期的需求，提供三种可行方案：

方案一：生成静态数据（推荐，符合你的需求） #

既然你用build.rs解析文本生成数据，直接生成静态数组代码即可，像你第一个能运行的例子那样，让所有数据拥有'static生命周期（存活整个应用周期）。

比如build.rs解析文本后，生成类似这样的代码到你的源文件中：

#[derive(Debug)]
pub struct British<'a> {
    name: &'a str,
    items: &'a [&'a str],
}

// 由build.rs生成的静态数据，所有引用都是'static
static ITEMS: &[British<'static>] = &[
    British { name: "fish", items: &["a", "b"] },
    // 其他解析出来的条目
];

这种方式完全符合Rust的生命周期规则，且数据会伴随应用全程存在。

方案二：让结构体拥有数据 #

如果不需要使用引用，直接让结构体持有Vec，这样结构体的生命周期和数据的生命周期完全绑定：

#[derive(Debug)]
pub struct British {
    name: &'static str,
    // 结构体直接拥有items的所有权
    items: Vec<&'static str>,
}

pub fn new_item() -> British {
    let mut k = Vec::new();
    k.push("a");
    k.push("b");

    British {
        name: "fish",
        items: k,
    }
}

fn main() {
    let b = new_item();
    println!("Hello, world! {:?}", b);
}

如果你的文本数据不是静态字面量（比如包含动态生成的字符串），可以把Vec<&'static str>改成Vec<String>，确保结构体拥有所有数据的所有权。

方案三：泄漏数据到全局（不推荐，仅作参考） #

如果必须使用引用且无法生成静态代码，可以用Box::leak把Vec转换成'static生命周期的切片，但这会导致内存泄漏（数据永远不会被释放），仅适合确实需要全程存活且无其他替代方案的场景：

#[derive(Debug)]
pub struct British<'a> {
    name: &'a str,
    items: &'a [&'a str],
}

pub fn new_item<'a>() -> British<'a> {
    let mut k = Vec::new();
    k.push("a");
    k.push("b");
    // 将Vec转为Box切片并泄漏，获得'static引用
    let static_items = Box::leak(k.into_boxed_slice());

    British {
        name: "fish",
        items: static_items,
    }
}

fn main() {
    let b = new_item();
    println!("Hello, world! {:?}", b);
}

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