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
两者的共同点是为了突破可变引用和引用不能共存的问题,不同点是: