文章详情

短信预约-IT技能 免费直播动态提醒

请输入下面的图形验证码

提交验证

短信预约提醒成功

深入研究Rust的内部可变性- Cell是如何工作的?

2024-11-29 20:55

关注

如果我们有一个共享引用,我们可以想要多少就有多少。这是因为这些引用不允许我们改变它们指向的值,所以同时有多个引用是可以的。

可变引用则不然,顾名思义,可变引用允许我们改变它们所指向的值。所以在这种情况下,对值有多个引用是不行的。例如,考虑两个线程,其中每个线程都持有一个独占引用并同时更改其值。线程运行后的值应该是什么?确切地说,这是一个未定义的行为!

那么为什么Rust允许我们拥有可共享的可变容器呢?这不是打破了Rust的借用规则吗?这是因为这些容器有限制,允许以安全的方式使用它们,同时仍然提供允许可变的api。这就是为什么这些类型提供“内部可变性”,当使用它们时,它们作为容器施加限制,在这些限制下,它们所持有的类型可以被安全地修改!

Cell 如何提供内部可变性?

基本上,Cell通过确保没有指向其保存的数据的指针并且在单线程环境中执行来实现这一点。

有了这些限制,更改Cell中的数据是完全可以的。想想看,如果我们知道Cell中没有指向数据的指针,并且它不是跨线程共享的,则可以保证我们对它具有独占访问权。

现在的问题是,Cell是如何施加这些约束的?Cell通过从不返回对其内部数据的引用来实现这一点,它总是返回数据的副本。因此,这已经告诉Cell适用于内存开销小的类型,例如整数。

此外,Cell没有实现Sync,因此它不能在线程边界之间共享。

Cell的构建块是UnsafeCell,这是Rust内部可变性的构建块之一。UnsafeCell允许我们在任何时候获得一个原始的独占指针,指向它所保存的数据。这当然是一个不安全的操作,所以我们必须在unsafe{}块中进行操作。

Cell的一种可能的简化实现是:

use std::cell::UnsafeCell;

struct Cell {
    value: UnsafeCell
}

// 禁止跨线程使用Cell
impl !Sync for Cell {}

impl Cell {
    pub fn new(value: T) -> Self {
        Cell { value: UnsafeCell::new(value) }
    }

    pub fn set(self, value: T) {
        // 用一个新值覆盖单元格所指向的值
        unsafe { *self.value.get() = value }
    }

    pub fn get(&self) -> T where T: Copy {
        // 返回Cell所指向的数据的副本
        unsafe { *self.value.get() }
    }
}

这里我们使用UnsafeCell来存储Cell的数据,不允许在线程之间共享此类型,最后,我们从不引用Cell中的数据。注意,get方法只适用于实现Copy的类型,并且返回内部类型的副本。

在本文中,我们探讨了Rust的Cell类型,我们了解到Cell通过对其持有的数据施加约束来允许内部可变性。

来源:coding到灯火阑珊内容投诉

免责声明:

① 本站未注明“稿件来源”的信息均来自网络整理。其文字、图片和音视频稿件的所属权归原作者所有。本站收集整理出于非商业性的教育和科研之目的,并不意味着本站赞同其观点或证实其内容的真实性。仅作为临时的测试数据,供内部测试之用。本站并未授权任何人以任何方式主动获取本站任何信息。

② 本站未注明“稿件来源”的临时测试数据将在测试完成后最终做删除处理。有问题或投稿请发送至: 邮箱/279061341@qq.com QQ/279061341

软考中级精品资料免费领

  • 历年真题答案解析
  • 备考技巧名师总结
  • 高频考点精准押题
  • 2024年上半年信息系统项目管理师第二批次真题及答案解析(完整版)

    难度     813人已做
    查看
  • 【考后总结】2024年5月26日信息系统项目管理师第2批次考情分析

    难度     354人已做
    查看
  • 【考后总结】2024年5月25日信息系统项目管理师第1批次考情分析

    难度     318人已做
    查看
  • 2024年上半年软考高项第一、二批次真题考点汇总(完整版)

    难度     435人已做
    查看
  • 2024年上半年系统架构设计师考试综合知识真题

    难度     224人已做
    查看

相关文章

发现更多好内容

猜你喜欢

AI推送时光机
位置:首页-资讯-后端开发
咦!没有更多了?去看看其它编程学习网 内容吧
首页课程
资料下载
问答资讯