Rust中如何将函数内创建的引用绑定到Vec的生命周期？

问题代码 #

fn test(tokens: &mut Vec<&str>, index: usize) {
    if tokens[index] == "END" {
        let default_token = String::from("DEFAULT");
        tokens.insert(index, &default_token);
    }
}

问题描述 #

出于效率与架构设计考量，我使用存储token引用的Vec作为token流，需要向其中插入默认token。原本希望在函数内创建自有数据后，将其引用插入该Vec，但运行代码会触发“variable 'default_token' is dropped while borrowed”错误——因为函数结束时该变量会被栈回收。

我尝试用Box包裹值，但仍因无法指定Box的生命周期遇到相同错误。我可以通过传入默认token作为参数显式指定生命周期，但希望不采用该替代方案，请问是否有办法将变量生命周期绑定到Vec的生命周期，从而将其引用插入Vec？

解答 #

首先明确：不可能将本地变量的生命周期绑定到传入的Vec的生命周期。Rust的借用规则核心就是防止悬垂指针——这里default_token是函数内的栈分配变量，函数执行完毕后会立即被销毁，而传入的Vec的生命周期由调用方控制，必然长于函数的执行周期。如果允许插入这种引用，Vec后续访问时就会指向已经被回收的内存，这是Rust绝对不允许的不安全行为。

以下是不依赖“传入默认token作为参数”的可行替代方案：

1. 修改Vec的存储类型（最直接的方案）

将Vec<&str>改为Vec<String>或Vec<Box<str>>，直接存储所有权而非引用。这样可以把函数内创建的default_token移动到Vec中，彻底规避生命周期问题：

fn test(tokens: &mut Vec<String>, index: usize) {
    if tokens[index] == "END" {
        let default_token = String::from("DEFAULT");
        tokens.insert(index, default_token);
    }
}

2. 使用共享所有权容器

如果必须保留引用语义，可以用Rc<str>（单线程）或Arc<str>（多线程）来共享字符串的所有权。这类容器会维护引用计数，只要Vec中还持有引用，底层数据就不会被回收：

use std::rc::Rc;

fn test(tokens: &mut Vec<Rc<str>>, index: usize) {
    if tokens[index].as_ref() == "END" {
        let default_token = Rc::from("DEFAULT");
        tokens.insert(index, default_token);
    }
}

3. 引入统一的所有者结构体

把token流和它依赖的数据放在同一个结构体中，让结构体作为所有数据的统一所有者，确保引用和数据的生命周期完全绑定：

struct TokenStream {
    data: Vec<String>,
    tokens: Vec<&'_ str>,
}

impl TokenStream {
    fn insert_default(&mut self, index: usize) {
        if self.tokens[index] == "END" {
            let default_token = String::from("DEFAULT");
            self.data.push(default_token);
            self.tokens.insert(index, self.data.last().unwrap());
        }
    }
}

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