RUST编程

Rust 编程视频教程(进阶)——014RefCell 和内部可

2020-02-07  本文已影响0人  令狐壹冲

视频地址

头条地址:https://www.ixigua.com/i6775861706447913485
B站地址:https://www.bilibili.com/video/av81202308/

源码地址

github地址:https://github.com/anonymousGiga/learn_rust

讲解内容

1、内部可变性:允许在使用不可变引用时改变数据。

2、通过RefCell<T>在运行时检查借用规则(通常情况下,是在编译时检查借用规则),RefCell<T>代表其数据的唯一所有权。
类似于Rc<T>,RefCell<T>只能用于单线程场景。

3、选择Box<T>、Rc<T>或RefCell<T>的理由:
Rc<T> 允许相同数据有多个所有者;Box<T> 和 RefCell<T> 有单一所有者。
Box<T> 允许在编译时执行不可变或可变借用检查;Rc<T>仅允许在编译时执行不可变借用检查;RefCell<T> 允许在运行时执行不可变或可变借用检查。
因为 RefCell<T> 允许在运行时执行可变借用检查,所以我们可以在即便 RefCell<T> 自身是不可变的情况下修改其内部的值。

4、内部可变性:不可变值的可变借用
例子:

#[derive(Debug)]
enum List {
    Cons(Rc<RefCell<i32>>, Rc<List>),
    Nil,
}

use crate::List::{Cons, Nil};
use std::rc::Rc;
use std::cell::RefCell;

fn main() {
    let value = Rc::new(RefCell::new(5)); 

    let a = Rc::new(Cons(Rc::clone(&value), Rc::new(Nil)));

    let b = Cons(Rc::new(RefCell::new(6)), Rc::clone(&a)); //不可变引用
    let c = Cons(Rc::new(RefCell::new(10)), Rc::clone(&a)); //不可变引用

    *value.borrow_mut() += 10;   //可变,运行时成可变引用

    println!("a after = {:?}", a);
    println!("b after = {:?}", b);
    println!("c after = {:?}", c);
}

上述例子中,通过RefCell<T>,我们可以拥有一个表面上不可变的List,但是通过RefCell<T>中提供内部可变性方法来在需要时修改数据的方式。
运行结果:

a after = Cons(RefCell { value: 15 }, Nil)
b after = Cons(RefCell { value: 6 }, Cons(RefCell { value: 15 }, Nil))
c after = Cons(RefCell { value: 10 }, Cons(RefCell { value: 15 }, Nil))
上一篇 下一篇

猜你喜欢

热点阅读