rust Cell 与 RefCell的区别

Cell与RefCell 的相同点:绕开所有权的限制,实现内部可变性性

rust 的所有权规则:

  • 只能由一个可变引用
  • 允许存在多个不可变引用
fn modify(a: &mut i32) {
    *x = *x + 1;
}

fn main() {
    let a =  111;
    modify(&mut a);
    
}

变量a定义成一个不可变的变量,不能用于modify函数中,如果知道rust所有权规则,你一定会说直接改成let mut a = 111;就完事了; 当存在即合理,有些场景是需要
允许对一个不可变变量进行修改的,这需要就需要Cell和RefCell出场了。

Cell主要是一些setter和getter的方法,比如set,get,replace,take, 但是呢,get的方法需要变量实现Copy trait,比如String类型没有实现Copy trait, 那么Cell::new(String::from("Hello")).get()会报错,提示说没有实现Copy trait。
而replace,set,take则适用于String这种没有实现Copy trait的类型。一般来说,Cell内部实现会发生内存的分配,性能较之RefCell有点大。

RefCell提供了borrow_mut和borrow,调用这两个方法时,rust的运行时会检查所有权,比如borrow_mut调用时,类型已经存在了可变引用了,则会直接发生线程panic,因此提供了返回错误的版本:try_borrow_mut和try_borrow

总结一下

两者的共同点是为了突破可变引用和引用不能共存的问题,不同点是:

  1. Cell 是操作T(values), RefCell操作&T(references)
  2. Cell 在编译器检查,运行时不会panic;RefCell在运行时检查,使用不当会发生panic
posted @ 2022-02-20 00:43  yihailin  阅读(704)  评论(0编辑  收藏  举报