You need to enable JavaScript to run this app.
优惠活动
大模型
产品
解决方案
定价
更多

如何在Rust中实现无RefCell的C++风格RAII对象操作模式?

Rust实现RAII风格作用域副作用的无内部可变性方案

在C++中,RAII模式常用来实现作用域绑定的副作用——构造时执行操作、析构时自动清理:

// 要操作的目标对象
class DataType 
{ 
public: 
    foo() {} 
    bar() {} 
};

// 典型的RAII作用域副作用类
class DoFooAndBar
{
public:
    DoFooAndBar(DataType& dataType) : m_dataType(dataType)
    { m_dataType.foo(); }

    ~DoFooAndBar() 
    { m_dataType.bar(); }

private:
    DataType& m_dataType;
};

你尝试在Rust中实现类似逻辑时,遇到了借用规则冲突:SymbolStacker持有SymbolTable的可变引用后,后续代码无法再获取该SymbolTable的不可变引用。不需要依赖Rc::RefCell这类内部可变性工具,通过调整SymbolStacker的设计就能解决问题。

问题根源

Rust的借用规则禁止同一时间存在一个可变引用和任意数量的不可变引用。你的测试代码中,SymbolStacker创建时获取了table的可变引用并持有,之后又尝试直接借用table的不可变引用调用contains,触发了编译错误。

解决方案:让SymbolStacker作为唯一访问入口

调整SymbolStacker的设计,让它作为SymbolTable的访问代理,通过实现Deref trait允许直接调用SymbolTable的不可变方法,同时保留RAII的自动清理逻辑。

修改后的完整代码

use std::collections::HashMap;
use std::ops::Deref;

/// 用于演示引用借用问题的 hypothetical 脚本解释器符号表示例
type SymbolFrame = HashMap<String, String>;
type SymbolFrameStack = Vec<SymbolFrame>;

pub struct SymbolTable
{
    frames: SymbolFrameStack
}
impl SymbolTable
{
    pub fn new() -> Self { SymbolTable { frames: vec![SymbolFrame::new()] } }

    pub fn push(&mut self) { self.frames.push(SymbolFrame::new()); }
    pub fn pop(&mut self) { self.frames.pop(); }

    pub fn contains(&self, name: &str) -> bool {
        self.frames.iter().any(|frame| frame.contains_key(name))
    }
}

/// new时入栈帧,drop时出栈帧
pub struct SymbolStacker<'a> { table: &'a mut SymbolTable }
impl<'a> SymbolStacker<'a>
{
    pub fn new(table: &'a mut SymbolTable) -> Self {
        table.push();
        SymbolStacker { table }
    }
}

impl<'a> Drop for SymbolStacker<'a> {
    fn drop(&mut self) {
        self.table.pop();
    }
}

// 实现Deref,允许通过SymbolStacker直接调用SymbolTable的不可变方法
impl<'a> Deref for SymbolStacker<'a> {
    type Target = SymbolTable;

    fn deref(&self) -> &Self::Target {
        &*self.table
    }
}

#[test]
fn good_test_symbol_table() {
    let mut table = SymbolTable::new();
    {
        let stacker1 = SymbolStacker::new(&mut table);
        {
            // 通过stacker直接调用SymbolTable的contains方法
            assert!(!stacker1.contains("foo"));
        }

        assert!(!stacker1.contains("foo"));
    }
}

扩展:支持可变操作

如果需要在作用域内修改SymbolTable(比如插入符号),可以额外实现DerefMut trait,允许通过SymbolStacker调用可变方法:

use std::ops::DerefMut;

impl<'a> DerefMut for SymbolStacker<'a> {
    fn deref_mut(&mut self) -> &mut Self::Target {
        &mut *self.table
    }
}

之后就可以直接通过stacker执行可变操作,比如:

// 假设SymbolTable实现了insert方法
stacker1.insert("foo", "bar");

这种设计完全遵循Rust的借用规则,不需要任何不安全代码或内部可变性工具,完美复刻了C++中RAII模式的效果:作用域结束时自动执行清理操作。

内容的提问来源于stack exchange,提问作者Michael Balloni

相关产品推荐
方舟 Agent Plan

超全模态模型 × Harness 升级,最新支持 Deepseek-V4.1-Flash、GLM-5.3 系列、Doubao-Seedream-5.0-pro、Kimi-K3 (部分), 限时 9.9 元起

最近更新时间:2026.07.30 04:27:21