我的类似RefCell的结构上的borrow_mut（）不起作用

Question

我尝试编写自己的类似RefCell的可变内存位置，但没有运行时借用检查（无开销）。我采用了RefCell（以及Ref和RefMut）的代码体系结构。我可以毫无问题地调用.borrow()，但是如果我调用.borrow_mut()，那么rust编译器会说cannot borrow as mutable。我看不到问题，我的.borrow_mut()展示似乎还好吗？

失败的代码：

let real_refcell= Rc::from(RefCell::from(MyStruct::new()));
let nooverhead_refcell = Rc::from(NORefCell::from(MyStruct::new()));

// works
let refmut_refcell = real_refcell.borrow_mut();

// cannot borrow as mutable
let refmut_norefcell = nooverhead_refcell.borrow_mut();

norc.rs（无开销RefCell）

use crate::norc_ref::{NORefMut, NORef};
use std::cell::UnsafeCell;
use std::borrow::Borrow;

#[derive(Debug)]
pub struct NORefCell<T: ?Sized> {
    value: UnsafeCell<T>
}

impl<T> NORefCell<T> {

    pub fn from(t: T) -> NORefCell<T> {
        NORefCell {
            value: UnsafeCell::from(t)
        }
    }

    pub fn borrow(&self) -> NORef<'_, T> {
        NORef {
            value: unsafe { &*self.value.get() }
        }
    }

    pub fn borrow_mut(&mut self) -> NORefMut<'_, T> {
        NORefMut {
            value: unsafe { &mut *self.value.get() }
        }
    }

}

norc_ref.rs（NORefCell.borrow[_mut]()返回的数据结构

use std::ops::{Deref, DerefMut};

#[derive(Debug)]
pub struct NORef<'b, T: ?Sized + 'b> {
    pub value: &'b T,
}

impl<T: ?Sized> Deref for NORef<'_, T> {
    type Target = T;

    #[inline]
    fn deref(&self) -> &T {
        self.value
    }
}

/// No Overhead Ref Cell: Mutable Reference
#[derive(Debug)]
pub struct NORefMut<'b, T: ?Sized + 'b> {
    pub value: &'b mut T,
}

impl<T: ?Sized> Deref for NORefMut<'_, T> {
    type Target = T;

    #[inline]
    fn deref(&self) -> &T {
        self.value
    }
}

impl<T: ?Sized> DerefMut for NORefMut<'_, T> {

    #[inline]
    fn deref_mut(&mut self) -> &mut T {
        self.value
    }
}

Answer 1

NORefCell::borrow_mut()占用&mut self，这需要在其中包裹的DerefMut上有Rc。这是行不通的，因为Rc不会仅仅通过很好地询问来提供可变的引用（您需要它来检查引用计数是否恰好是一个，否则将有多个可变的借用）。

borrow_mut必须取&self而不是&mut self。

---

正如我的评论中所提到的：您基本上正在做的是在UnsafeCell周围提供一个看起来安全的抽象。这是非常危险的。请注意有关UnsafeCell的文档：

  

编译器基于以下知识进行优化：＆T不是可变别名或突变，＆mut T是唯一的。 UnsafeCell是仅的核心语言功能，可以解决＆T可能不会变异的限制。

您正在为此功能强大的对象提供一个薄包装，在API边界上没有unsafe。 “ No-overhead-RefCell”实际上是“无触发器的护脚枪”。它确实有效，但仍警告其危险。