RefCell 数据类型

内部可变性(interior mutability)是RUST的设计模式之一,它允许你在只持有不可变引用的前提下对数据进行修改。为了能改变数据,内部可变性模式在它的数据结构中使用了unsafe(不安全)代码来绕过RUST正常的可变性和借用规则。

假如我们能够保证自己的代码在运行时符合借用规则,那么即使编译器无法在编译阶段保证符合借用规则,也能使用那些采用了内部可变性模式的类型。

对于一般引用和Box<T>的代码,RUST会在编译阶段强制代码遵守借用规则。而对于RefCell<T>的代码,RUST则只会在运行时检查这些规则,并在违反借用规则的情况下触发panic来终止程序。

Rc<T>相似,RefCell<T>只能被用于单线程场景中。强行将它用于多线程环境中会产生编译时错误。下面是选择使用Box<T>Rc<T>RefCell<T>的依据:

  • Rc<T>允许一份数据有多个所有者,而Box<T>RefCell<T>都只有一个所有者
  • Box<T>允许在编译时检查可变或不可变借用,Rc<T>仅允许编译时检查不可变借用,RefCell<T>允许运行时检查可变或不可变借用。
  • 由于RefCell<T>允许我们在运行时检查可变借用,所以即使RefCell<T>本身是不可变的,我们仍然能够更改其中存储的值。
pub trait Messager {fn send(&self, msg: &str);
}pub struct LimitTracker<'a, T: 'a + Messager> {messager: &'a T,value: usize,
}impl<'a, T> LimitTracker<'a, T>
whereT: Messager,
{pub fn new(messager: &T, value: usize) -> LimitTracker<T> {LimitTracker {messager: messager,value: value,}}pub fn set_value(&mut self, value: usize) {self.value = value;self.messager.send("msg");}
}

这段代码的重点是Messager trait,它唯一的send方法可以接受self的不可变引用及一条文本消息作为参数。

示例的结构体同时使用生命周期标注和泛型约束,结构体实现关联函数new和方法set_value。紧跟impl后的尖括号声明指明结构体自身的约束。

下面对set_value做单元测试,mock一个实现了Message trait的结构体MockMessage进行验证,调用send方法会向结构体字段中写入值。

#[cfg(test)]
mod test {use super::*;struct MockMessage {sent_message: Vec<String>,}impl MockMessage {fn new() -> MockMessage {MockMessage {sent_message: vec![],}}}impl Messager for MockMessage {fn send(&self, msg: &str) {self.sent_message.push(String::from(msg));}}#[test]fn send_warning_message() {let mock_messager = MockMessage::new();let mut limit_tracker = LimitTracker::new(&mock_messager, 2);limit_tracker.set_value(10);}
}

编译器报错,send方法接收的self属于不可变引用,我们无法修改MockMessage中的内容。如果将send方法self修改为&mut self又不符合Messager trait约束。

在保持外部值不可变的前提下,使用RefCell<T>来修改内部存储的值。sent_message字段类型调整成RefCell<Vec<String>>,最后调整成下面这个样子:

#[cfg(test)]
mod test {use super::*;use std::cell::RefCell;struct MockMessage {sent_message: RefCell<Vec<String>>,}impl MockMessage {fn new() -> MockMessage {MockMessage {sent_message: RefCell::new(vec![]),}}}impl Messager for MockMessage {fn send(&self, msg: &str) {self.sent_message.borrow_mut().push(String::from(msg));}}#[test]fn send_warning_message() {let mock_messager = MockMessage::new();let mut limit_tracker = LimitTracker::new(&mock_messager, 2);limit_tracker.set_value(10);}
}

我们调用RefCell<Vec<String>>类型的borrow_mut方法来获取内部值的可变引用,接着,我们便可以在动态数据的可变引用上调用push方法来存入数据。

我们会在创建不可变引用和可变引用时分别使用语法&&mutRefCell<T>实现了borrowborrow_mut方法分别返回Ref<T>RefMut<T>这两种智能指针。由于这两种指针都实现了Deref,所以我们可以把它们当做一般的引用来对待。

RefCell<T>会记录当前存在多少个活跃的Ref<T>RefMut<T>智能指针,在任何一个给定的时间里,它只允许你拥有多个不可变借用和一个可变借用。当我们违背借用规则时,相比于一般引用导致的编译错误,RefCell<T>会在运行时触发panic

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/196880.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

开发工具idea中推荐插件

主要是记录一下idea中实用插件&#xff0c;方便开发&#xff0c;换个电脑工作的时候也可以直接在市场中下载使用。 1、Easy Javadoc 自动生成javadoc文档注释&#xff0c;基本上是按照字段名或者方法名翻译的&#xff0c;还是相当好用的。 2、EasyYapi 可以快捷生成接口文档…

Java中三种定时任务总结(schedule,quartz,xxl-job)

目录 1、Spring框架的定时任务 2、Quartz Quartz的用法 3、xxl-job 3.1 docker 安装xxl-job 3.2 xxl-job编程测试 补充&#xff1a;Java中自带的定时任务调度 1. java.util.Timer和java.util.TimerTask 2. java.util.concurrent.Executors和java.util.concurrent.Sche…

数据结构第六课 -----链式二叉树的实现

作者前言 &#x1f382; ✨✨✨✨✨✨&#x1f367;&#x1f367;&#x1f367;&#x1f367;&#x1f367;&#x1f367;&#x1f367;&#x1f382; ​&#x1f382; 作者介绍&#xff1a; &#x1f382;&#x1f382; &#x1f382; &#x1f389;&#x1f389;&#x1f389…

centos7 设置静态ip

文章目录 设置VMware主机设置centos7 设置 设置VMware 主机设置 centos7 设置 vim /etc/sysconfig/network-scripts/ifcfg-ens33重启网络服务 service network restart检验配置是否成功 ifconfig ip addr

filter过滤器

package com.it.filter;import javax.servlet.*; import javax.servlet.annotation.WebFilter;import java.io.IOException;WebFilter(urlPatterns"/*") public class DemoFilter implements Filter {Override // 初始化的方法 只要调用一次public void init(Filte…

什么是深度「穿透式」供应链?苹果多层级穿透式供应链分析|徐礼昭

徐礼昭&#xff08;商派市场负责人&#xff0c;重构零售实验室负责人&#xff09; 什么是「穿透式供应链」&#xff1f; 穿透式供应链是一种新型的供应链体系&#xff0c;它强调纵深拓展和动态优化&#xff0c;以满足供应链的安全需求和价值需求。这种供应链体系由多个层级组成…

深圳市左下右上百度坐标

爬取百度POI的时候&#xff0c;别人的代码中有提到左下&#xff0c;右上坐标&#xff0c;但是没有说从哪里来&#xff0c;而且还是百度的坐标。 经纬度:左下角,右上角&#xff1a;113.529103,37.444122;115.486183,38.768031 墨卡托坐标:左下角,右上角&#xff1a;12638139.45,…

Python中的类(Class)和对象(Object)

目录 一、引言 二、类&#xff08;Class&#xff09; 1、类的定义 2、类的实例化 三、对象&#xff08;Object&#xff09; 1、对象的属性 2、对象的方法 四、类和对象的继承和多态性 1、继承 2、多态性 五、类与对象的封装性 1、封装的概念 2、Python中的封装实现…

个人博客搭建保姆级教程-HTML页面编写篇

选择模板 首先我们要选一个好的模板&#xff0c;然后对模板进行剪裁。我的模板是在站长之家进行下载的 素材下载-分享综合设计素材免费下载的平台-站长素材 我选的模板的具体地址是 个人博客资讯网页模板 这里需要我们学习一下在前边一篇文章里提到的HTML、JavaScript、CSS…

Learning Normal Dynamics in Videos with Meta Prototype Network 论文阅读

文章信息&#xff1a;发表在cvpr2021 原文链接&#xff1a; Learning Normal Dynamics in Videos with Meta Prototype Network 摘要1.介绍2.相关工作3.方法3.1. Dynamic Prototype Unit3.2. 视频异常检测的目标函数3.3. 少样本视频异常检测中的元学习 4.实验5.总结代码复现&a…

Python自动化测试selenium指定截图文件名方法

这篇文章主要介绍了Python自动化测试selenium指定截图文件名方法&#xff0c;Selenium 支持 Web 浏览器的自动化&#xff0c;它提供一套测试函数&#xff0c;用于支持 Web 自动化测试&#xff0c;下文基于python实现指定截图文件名方法&#xff0c;需要的小伙伴可以参考一下 前…

【Q4-20min】

1.堆和栈的区别 &#xff08;1&#xff09;数据结构&#xff1a;栈和堆都是内存数据结构&#xff0c;栈是一种线性结构&#xff0c;堆是一种树形结构。 &#xff08;2&#xff09;内存分配方式&#xff1a;栈采用的是静态内存分配&#xff0c;系统在编译阶段就确定了分配给栈的…

共线圆检查

dev_update_off () dev_close_window () dev_open_window (0, 0, 978, 324, black, WindowHandle) dev_set_part (0, 0, 647, 1955) set_display_font (WindowHandle, 16, mono, true, false) dev_set_color (yellow) *检测图中有多少个圈 *dev_set_line_width (3) read_image…

Python Opencv实践 - Yolov3目标检测

本文使用CPU来做运算&#xff0c;未使用GPU。练习项目&#xff0c;参考了网上部分资料。 如果要用TensorFlow做检测&#xff0c;可以参考这里 使用GPU运行基于pytorch的yolov3代码的准备工作_little han的博客-CSDN博客文章浏览阅读943次。记录一下自己刚拿到带独显的电脑&a…

编译器和 IR:LLVM IR、SPIR-V 和 MLIR

编译器通常是各种开发工具链中的关键组件&#xff0c;可提高开发人员的工作效率。编译器通常用作独立的黑匣子&#xff0c;它使用高级源程序并生成语义上等效的低级源程序。不过&#xff0c;它仍然是内部结构倾向的;内部之间流动的内容就称为中间表示 &#xff08;IR&#xff0…

金融帝国实验室(Capitalism Lab)V10版本公司财务报告列示优化

金融帝国实验室&#xff08;Capitalism Lab&#xff09;V10版本公司财务报告列示优化 ————————————— ★【全新V10版本开发播报】★ 即将发布的V10版本中的公司财务报告&#xff08;指标&#xff09;列示优化&#xff1a; ◈ 新增了一个按钮&#xff0c;用于在历史…

Android启动系列之进程杀手--lmkd

本文概要 这是Android系统启动的第三篇文章&#xff0c;本文以自述的方式来讲解lmkd进程&#xff0c;通过本文您将了解到lmkd进程在安卓系统中存在的意义&#xff0c;以及它是如何杀进程的。&#xff08;文中的代码是基于android13&#xff09; 我是谁 init&#xff1a;“大…

linux的ping命令

Linux系统中的ping命令是一个常用的网络诊断工具&#xff0c;用来检测网络的连通性以及测试网络的延迟和数据包丢失情况。 以下是ping命令的具体使用方法&#xff1a; 基础用法&#xff1a;ping [选项] [目标主机]不带任何选项时&#xff0c;ping会发送一个ICMP请求到目标主机…

【shell】

shell 一、shell简介二、shell脚本的执行方式三、shell变量3.1 shell变量介绍3.2 shell变量的定义3.1.1 基本语法3.2.2 定义变量的规则3.2.3 将命令的返回值赋予变量 四、环境变量的设置4.1 基本语法&#xff1a; 五、位置参数变量5.1 基本介绍5.2 基本语法 六、预定义变量6.1 …

nginx的反向代理和负载均衡

nginx的反向代理和负载均衡&#xff1a; 代理&#xff1a;客户端通过一个指定的服务器&#xff0c;访问其他服务器&#xff0c;请求和响应都由指定服务器来为客户端进行处理&#xff0c;这个指定的服务器就是代理服务器 代理的方式&#xff1a; 四层代理&#xff1a;四层就是…