Rust中引用原字符串的切片为何触发生命周期编译器报错？

这不是编译器过度严格，是生命周期标注的逻辑错误导致的，核心问题出在parse函数的生命周期绑定上：

错误原因 #

你的parse函数签名是：

fn parse<'a>(x: &'a Vec<&str>) -> Vec<TestThing<'a>> { ... }

这里的生命周期'a绑定的是传入的Vec的引用的生命周期，而不是Vec内部&str的生命周期。在test函数里，&y是局部变量y的引用，它的生命周期只存在于test函数内部。编译器会认为parse返回的TestThing<'a>绑定的是&y的生命周期，而你试图把这个局部引用相关的值返回出去，自然触发悬垂引用错误——哪怕y里的&str实际引用的是x，但编译器通过你的生命周期标注无法识别这一点。

至于你尝试克隆v无效，是因为&str的克隆只是复制引用本身，不会改变它的生命周期，所以解决不了根本的标注问题。

修正方案 #

调整parse函数的生命周期绑定，让它关联的是Vec内部&str的生命周期，而不是Vec引用的生命周期：

修正后的代码 #

enum TestThing<'a> {
    Blah(&'a str)
}

// 明确绑定输入x的生命周期到返回值
fn test<'a>(x: &'a str) -> Vec<TestThing<'a>> {
    let y = x.split(" ").collect::<Vec<&str>>();
    parse(&y)
}

// 这里的'b绑定的是切片内部&str的生命周期，而非切片引用的生命周期
fn parse<'b>(x: &[&'b str]) -> Vec<TestThing<'b>> {
    let mut result = vec![];
    for &v in x {
        result.push(TestThing::Blah(v));
    }
    result
}

简化写法 #

test函数也可以用'_让编译器自动推断生命周期，效果和上面一致：

fn test(x: &str) -> Vec<TestThing<'_>> {
    let y = x.split(" ").collect::<Vec<&str>>();
    parse(&y)
}

关键逻辑说明 #

• 把parse的参数从&'a Vec<&str>改成&[&'b str]，一方面用切片&[T]比&Vec<T>更灵活通用，另一方面让生命周期'b直接关联到内部的&str，这样编译器就能识别到返回的TestThing<'b>引用的是x的内容，而非局部变量y。
• 给test函数的返回值明确生命周期绑定，让编译器知道返回的TestThing的生命周期和输入x一致，符合你的实际逻辑。

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