quest

Borrow checker Advanced

28  Interior mutability

Sometimes a value must change behind a shared reference -- a counter, a cache, a shared log. Cell and RefCell move the borrow rules to runtime; Rc<RefCell<..>> is the classic shared-mutable combo.

Implement new_log and write: two handles, one shared, mutable log.

use std::cell::RefCell;
use std::rc::Rc;

type Log = Rc<RefCell<Vec<String>>>;

// both handles write to ONE shared log
fn new_log() -> (Log, Log) {
    todo!()
}

fn write(log: &Log, msg: &str) {
    todo!()
}

use std::cell::RefCell;
use std::rc::Rc;

type Log = Rc<RefCell<Vec<String>>>;

fn new_log() -> (Log, Log) {
    let log = Rc::new(RefCell::new(Vec::new()));
    (Rc::clone(&log), log)
}

fn write(log: &Log, msg: &str) {
    log.borrow_mut().push(msg.to_string());
}