iis服务器助手广告广告
返回顶部
首页 > 资讯 > 后端开发 > 其他教程 >Rust 中 Deref Coercion讲解
  • 631
分享到

Rust 中 Deref Coercion讲解

Rust  Deref Coercion 2022-11-13 18:11:47 631人浏览 安东尼
摘要

目录0x00 前言0x01 Deref Trait0x03 Option 中的 as_deref()参考文档0x00 前言 写这个文档的初衷是

0x00 前言

写这个文档的初衷是因为在中文社区看到一个非常不负责任的翻译,将 “implicit deref coercion” 翻译成 “隐式 deref 强制”,于是觉得有必要记录一下,以防止后来的新手在这里翻车。
首先需要解释一下 “coercion” 在编程语言文档中尤其是涉及到类型转换时的中文意思。
类型转换 (type conversion) 包括显式指定被转换到的类型的显式转换 (explicit conversion) 或称 cast,以及与之相对的隐式转换 (implicit conversion) 或称 coercion。因为翻译不准等原因,这两者之间经常被混淆。
cast 和 coercion 同时出现的时候,中文把前者翻译成 “显式类型转换”,后者翻译成 “隐式类型转换”。

Rust 的设计理念一向是显式比隐式好,也就是说所有的行为尽量在代码中表现出来。但也是有例外的,例如接下来我们要讨论的两个话题。

0x01 Deref Trait

Rust 中有一对运算符 &*,分别表示对一个变量的引用和解引用。
例如下面的代码:

fn main() {
    let x = 5;
    let y = &x;

    assert_eq!(5, x);
    assert_eq!(5, *y);
}

如果按照 C 语言的思维方式,这两个操作符是互补的,即互为逆操作,但在 Rust 中并不适用。当一个类型实现了 Deref 这个 Trait 后,对该类型显式执行 *y 操作时,Rust 将隐式执行 *(y.deref())
如果没有实现 Deref trait,只有引用类型可以被解引用,而实现了 Deref trait 后,编译器将隐式执行 deref 决定返回怎样的引用类型。

Deref Trait 的定义如下:

pub trait Deref {
    type Target: ?Sized;

    fn deref(&self) -> &Self::Target;
}

有一个很有趣的点,虽然是 Deref 操作,但是返回类型却是一个引用类型。这个在官方文档中给出了解释:

The reason the deref method returns a reference to a value, and that the plain dereference outside the parentheses in *(y.deref()) is still necessary, is to do with the ownership system. If the deref method returned the value directly instead of a reference to the value, the value would be moved out of self. We don’t want to take ownership of the inner value inside MyBox in this case or in most cases where we use the dereference operator.

主要原因是为了与大多数场景下的 ownership 机制适配。

通过了解 Rust 的 Deref Trait 后,我们可以得出结论:在 Rust 中 *&T&*T 不一定是同一个类型,例如下面示例:

use std::ops::Deref;

#[derive(Copy, Clone, Debug)]
struct MyBox {
    alpha: i32,
}

impl Deref for MyBox {
    type Target = i32;

    fn deref(&self) -> &Self::Target {
        &self.alpha
    }
}

fn main() {
    let beta = MyBox { alpha: 32 };
    let gamma = &*beta; // &i32
    let delta = *β // Mybox
    println!("{:?}, {:?}", gamma, delta);
}

0x02 Implicit Deref Coercion

Deref coercion converts a reference to a type that implements the Deref trait into a reference to another type.

最初接触到 Deref coercion 的场景通常是使用 &str 作为参数的函数,传入 &String 是可以编译通过的,习惯了 Rust 大爷苛刻的编译器后觉得这不可思议,深入了解后才知道,Rust 内部实现了 String 类型的 Deref trait,并且 type Target = &str
当引用作为函数或方法的参数时,Rust 编译器将隐式执行 deref coercion,以找到适配的类型。这样省去了 *& 的繁琐操作,但讲真对新手确实不友好。下面是一个示例:

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

struct MyBox<T>(T);

impl<T> MyBox<T> {
    fn new(x: T) -> MyBox<T> {
        MyBox(x)
    }
}

use std::ops::Deref;

impl<T> Deref for MyBox<T> {
    type Target = T;

    fn deref(&self) -> &Self::Target {
        &self.0
    }
}

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

再看一个有意思的示例:

fn main() {
    let s = "Hello, Rust!";
    println!("length: {}", s.len());
    println!("length: {}", (&s).len());
    println!("length: {}", (&&&&&&&&&&&&&s).len());
}

上面的示例是可以编译通过的,我们如果使用 &&&&&&&&&&str 类型来调用成员方法,也是可以的。原因是 Rust 编译器的 deref coercion 是递归的,当它找不到这个成员方法的时候会自动尝试使用 deref() 方法后再找该方法,一直递归下去。编译器在&&&str 类型里面找不到 len 方法,就尝试将它 deref(),变成 &&str 类型,再寻找 len 方法,还是没找到,那么继续 deref(),变成 &str,现在找到 len 方法了,于是就调用这个方法。

0x03 Option 中的 as_deref()

熟练的使用 Option 可以在 Rust 开发中节省很多头发。当需要将 Option<T> 转化为 Option<&T> 时,我们通常使用 Option.as_ref() 操作,再结合 map() 方法可以在不转移所有权的情况下使用 Option 中的变量。当看到 Option.as_deref() 操作时,我们首先会望文生义的认为是将 Option<&T> 转化为 Option<T>,但理解了前两节的内容后会懂得 Option.as_deref() 的操作其实是 Option.as_ref().map(|s| s.deref()) 的简写形式,返回的仍然是一个引用,目的是为了使用 Rust 中的 deref coercion 机制。

参考文档

https://doc.rust-lang.org/std/ops/trait.Deref.html
Https://doc.rust-lang.org/book/ch15-02-deref.html
https://stackoverflow.com/questions/8857763/what-is-the-difference-between-casting-and-coercing
https://mp.weixin.qq.com/s/G28XE1rfX0nT6zIi86ji0Q
https://blog.csdn.net/weixin_39702559/article/details/112276392
https://blog.csdn.net/JAN6055/article/details/125774473

到此这篇关于Rust 中 Deref Coercion 介绍的文章就介绍到这了,更多相关Rust  Deref Coercion内容请搜索编程网以前的文章或继续浏览下面的相关文章希望大家以后多多支持编程网!

--结束END--

本文标题: Rust 中 Deref Coercion讲解

本文链接: https://www.lsjlt.com/news/170165.html(转载时请注明来源链接)

有问题或投稿请发送至: 邮箱/279061341@qq.com    QQ/279061341

本篇文章演示代码以及资料文档资料下载

下载Word文档到电脑,方便收藏和打印~

下载Word文档
猜你喜欢
软考高级职称资格查询
编程网,编程工程师的家园,是目前国内优秀的开源技术社区之一,形成了由开源软件库、代码分享、资讯、协作翻译、讨论区和博客等几大频道内容,为IT开发者提供了一个发现、使用、并交流开源技术的平台。
  • 官方手机版

  • 微信公众号

  • 商务合作