Rust如何在不可变方法中返回&str？解决RefCell/OnceCell实现问题

场景背景 #

在大型组件替换项目中，必须保留Thing结构体get_text方法的签名：fn get_text(&self) -> &str（不可变方法）。Thing内部包含Other类型成员，Other::get_text()返回&[String]，需要将该切片转换为换行分隔的字符串后，以&str类型返回。

尝试过的方案及问题 #

• 可变环境方案：直接在Thing中存储生成的字符串，可变方法更新后返回引用——但get_text必须是不可变方法，此路不通。
• RefCell<String>：尝试用内部可变性存储字符串，但调用代码频繁借用时会触发借用冲突错误，无法稳定运行。
• OnceCell<String>：首次调用get_text时生成并缓存字符串，但Other内容更新后，无法重新生成新的字符串，只能返回旧值，不支持复用。

可行解决方案 #

核心思路是：在Other被更新的可变代码路径中，重置OnceCell的缓存，让get_text每次在Other更新后都能重新生成最新的字符串。

代码示例

首先定义Other结构体及相关方法：

struct Other {
    texts: Vec<String>,
}

impl Other {
    // 返回字符串切片
    fn get_text(&self) -> &[String] {
        &self.texts
    }

    // 更新内容的可变方法
    fn update_texts(&mut self, new_texts: Vec<String>) {
        self.texts = new_texts;
    }
}

然后实现Thing结构体，使用OnceCell缓存并在更新时重置：

use once_cell::sync::OnceCell;

struct Thing {
    other: Other,
    cached_text: OnceCell<String>,
}

impl Thing {
    fn new(other: Other) -> Self {
        Self {
            other,
            cached_text: OnceCell::new(),
        }
    }

    // 不可变方法，符合要求的签名
    fn get_text(&self) -> &str {
        self.cached_text.get_or_init(|| {
            // 将切片转为换行分隔的字符串
            self.other.get_text().join("\n")
        })
    }

    // 更新内部Other的可变方法，在这里重置缓存
    fn update_other(&mut self, new_texts: Vec<String>) {
        self.other.update_texts(new_texts);
        // 清空缓存，下次调用get_text会重新生成最新内容
        self.cached_text.take();
    }
}

原理说明 #

• OnceCell保证了get_or_init只会在缓存为空时执行一次字符串生成逻辑，避免重复计算。
• 在update_other这个可变方法中调用take()，可以安全地重置OnceCell的内部值——因为可变方法已经获取了&mut self的独占权限，不会触发借用冲突。
• 每次Other更新后，get_text会重新生成最新的换行分隔字符串，同时保持自身不可变的方法签名，完美适配场景需求。

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