当前位置: 首页 > news >正文

【Rust自学】15.3. Deref trait Pt.2:隐式解引用转化与可变性

喜欢的话别忘了点赞、收藏加关注哦,对接下来的教程有兴趣的可以关注专栏。谢谢喵!(=・ω・=)
请添加图片描述

15.3.1. 函数和方法的隐式解引用转化(Deref Coercion)

隐式解引用转化(Deref Coercion)是为函数和方法提供的一种便捷特性。

它的原理是:*假如类型T实现了Deref trait,那么Deref Coercion可以把T的引用转化为T经过Deref操作后生成的引用。

当某类型的引用传递给函数或者是方法时,但它的类型与定义的参数类型不匹配,Deref Coercion就会自动发生。编译器会对deref进行一系列的调用,来把它转换为所需的参数类型。这个操作在编译时完成,没有额外的性能开销。

这句话比较绕,看个例子就明白了。我们接着上篇文章的代码来写:

use std::ops::Deref;  struct MyBox<T>(T);  impl<T> MyBox<T> {  fn new(x: T) -> MyBox<T> {  MyBox(x)  }  
}  impl<T> Deref for MyBox<T> {  type Target = T;  fn deref(&self) -> &T {  &self.0  }  
}

这是上篇文章的代码,定义了MyBox元组结构体(元组结构体的介绍详见 5.1. 定义并实例化struct),创建了new函数,并为其实现了Deref trait,所以就可以使用一般的解引用操作来处理MyBox

以下是增添的部分:

fn hello(name: &str) {  println!("Hello, {}", name);  
}

hello这个函数接收&str,也就是字符串切片类型,然后打印出来。

写主函数看看实际使用:

fn main(){  let m = MyBox::new(String::from("Rust"));  hello(&m);  
}

mMyBox<String>类型,&m就是&MyBox<String>,而hello函数接收的是&str,但这么写并不会报错,这是为什么呢?

首先MyBox已经实现了Deref trait,所以Rust可以调用deref方法来把&MyBox<String>转化为&String,这就是刚才讲的那个比较绕的规则。

到这一步还没完,&String类型与&str类型不同,又是怎么转换的呢?因为String类型也实现了Deref trait,而且它的deref实现是返回一个字符串切片&str类型,所以Rust会在&String上使用deref&String转化为&str。最终这个类型就匹配了。

而如果Rust没有Deref Coercion,那么写法会是:

hello(&(*m)[..]);
  • 先使用解引用符号*mMyBox<String>转化为String
  • 加上引用符号&mString转化为&String
  • 通过切片操作 [..],可以获得 String 中的完整内容的引用,并且把其值从&String转化为&str

15.3.2. 解引用于可变性

可以使用DerefMut trait重载可变引用的*运算符。DerefMut相比Deref多了Mut,这是指DerefMut返回的是可变引用&mut T,而Deref返回的是不可变引用&T

在类型和trait满足下列三种情况时,Rust会执行Deref Coercion:

  • T:Deref<Target=U>,允许&T转换为&U
    T实现了Deref trait,而Deref trait下的deref方法的返回类型是&U,那么&T就可以被转化为&U
    举个例子,上文代码例的MyBox类型就实现了Deref trait,其deref方法的返回值是泛型参数&T,所以&MyBox就可以转换为&T

  • T:DerefMut<Target=U>,允许&mut T转换为&mut U
    T实现了DerefMut trait(DerefMut返回的是可变引用&mut T),而DerefMut trait下的deref方法的返回类型是&mut U,那么&mut T就可以被转化为&mut U

  • T:Deref<Target=U>,允许&mut T转化为&U
    Rust可以自动地把一个可变引用转化为不可变引用,但是反过来绝对不行。因为将不可变的引用转化为可变的引用要求引用是唯一的(借用规则中有讲,详见 4.4. 引用与借用)。

http://www.lryc.cn/news/529166.html

相关文章:

  • 密码强度验证代码解析:C语言实现与细节剖析
  • arkts bridge使用示例
  • LINUX部署微服务项目步骤
  • zsh安装插件
  • 网站如何正式上线(运维详解)
  • SQL server 数据库使用整理
  • 【Rust自学】17.2. 使用trait对象来存储不同值的类型
  • 初始化mysql报错cannot open shared object file: No such file or directory
  • 2025年1月22日(网络编程)
  • Jason配置环境变量
  • 蓝桥杯python语言基础(7)——自定义排序和二分查找
  • (开源)基于Django+Yolov8+Tensorflow的智能鸟类识别平台
  • 后盾人JS--闭包明明白白
  • redis的分片集群模式
  • Kiwi 安卓浏览器本月停止维护,扩展功能迁移至 Edge Canary
  • 我的AI工具箱Tauri+Django内容生产介绍和使用
  • 四.4 Redis 五大数据类型/结构的详细说明/详细使用( zset 有序集合数据类型详解和使用)
  • Java---猜数字游戏
  • 网站快速收录:利用RSS订阅提升效率
  • vue3第三部分--组件通信
  • DeepSeek R1-Zero vs. R1:强化学习推理的技术突破与应用前景
  • matlab提取滚动轴承故障特征
  • 数据结构与算法学习笔记----容斥原理
  • Java 知识速记:全面解析 final 关键字
  • (笔记+作业)书生大模型实战营春节卷王班---L0G2000 Python 基础知识
  • 9、Docker环境安装Nginx
  • 受击反馈HitReact、死亡效果Death Dissolve、Floating伤害值Text(末尾附 客户端RPC )
  • 572. 另一棵树的子树
  • MATLAB中textBoundary函数用法
  • vue3的路由配置