前言

Rust 不是传统的面向对象编程语言,它的所有特性,使其独一无二。因此,学习特定于Rust的设计模式是必要的。本系列文章为作者学习《Rust设计模式》的学习笔记以及自己的见解。

本期文章主要介绍Rust设计模式中的习惯语法中的

  • 默认特质
  • 集合智能指针
  • 析构函数

默认特质:Rust在开发中,不能每处都要求实现new方法,为了解决这个问题而实现Default特质,除此以外,还可以与其他的容器一同使用。

集合智能指针:使用Deref特质可以将集合变为智能指针,提供拥有和借用的数据视图。

析构函数:Rust没有提供无论函数如何退出,都将执行的代码。但是,可以使用对象的析构函数来运行必须在退出之前运行的代码。


一、默认特质

在Rust中,许多类型都有一个构造函数,然而这是特定于某种类型的。Rust并没有强制指定每个类型都必须有一个new方法作为构造函数。为了实现这个需求,Rust提供了Default特质,并且可以与其他容器一起使用。

注意:一些容器已经在合适的地方实现的Default特质。

像Cow、Box或Arc这样的单元素容器不仅可以为包含的默认类型实现默认值,还可以自动 #[derive(Default)]为所有字段都实现它的结构,因此实现默认值的类型越多,它就越有用。

另一方面,构造函数可以接受多个参数,而default()方法不能。甚至可以有多个具有不同名称的构造函数,但每个类型只能有一个默认实现。

以下是一个例子

use std::{path::PathBuf, time::Duration};

// 导出默认值
#[derive(Default, Debug, PartialEq)]
struct MyConfiguration {
    // 选项默认为“None”
    output: Option<PathBuf>,
    // 默认空向量
    search_path: Vec<PathBuf>,
    // 持续时间默认为0
    timeout: Duration,
    // 布尔值默认为Flase
    check: bool,
}

impl MyConfiguration {
    // 在这添加setter
}

fn main() {
    // 构建一个拥有默认值的新实例
    let mut conf = MyConfiguration::default();
    // 做一些处理操作
    conf.check = true;
    println!("conf = {:#?}", conf);
        
    // 部分初始化创建实例
    let conf1 = MyConfiguration {
        check: true,
        ..Default::default()
    };
    assert_eq!(conf, conf1);
}

二、集合智能指针

使用Deref特质可以将集合变为智能指针,提供拥有和借用的数据视图。以下是一个使用的例子。

use std::ops::Deref;

struct Vec<T> {
    data: RawVec<T>,
    //..
}

impl<T> Deref for Vec<T> {
    type Target = [T];

    fn deref(&self) -> &[T] {
        //..
    }
}

Vect<T> 是拥有T的集合,&[T]是借用T的集合,为Vec实现Deref特质,将允许&Vec<T>到&[T]的隐式解引用>

就像String和&str,可以参考一下。

所有权和借用是Rust语言的关键方面。为了提供良好的用户体验,数据结构必须适当考虑这些语义。当实现拥有其数据的数据结构时,提供该数据的借用视图允许更灵活的API。

大多数方法只能为借用的视图实现,然后它们可以隐式地用于所属视图。让客户在借用或取得数据所有权之间进行选择。

注意:边界检查时不考虑仅通过解引用可用的方法和特性,因此使用此模式的数据结构的通用编程可能会变得复杂(请参见Borrow和AsRef特性等)。

三、析构函数

Rust没有提供无论函数如何退出,都将执行的代码。但是,可以使用对象的析构函数来运行必须在退出之前运行的代码。

以下是使用的例子

fn bar() -> Result<(), ()> {
    // 这些不是必须要在函数中定义的,也可以在其他地方定义
    struct Foo;

    // 为Foo实现析构函数
    impl Drop for Foo {
        fn drop(&mut self) {
            println!("exit");
        }
    }

    // _exit的dtor将在退出函数“bar”时运行。
    let _exit = Foo;
    // 用?操作符隐式的返回
    baz()?;
    // 正常返回
    Ok(())
}

如果一个函数有多个返回点,那么在退出时执行代码会变得困难和重复(因此容易出现错误)。这在由于宏而导致返回是隐式的情况下尤其如此。常见的情况是?运算符,如果结果为Err,则返回,但如果结果为Ok,则继续?被用作异常处理机制,但与Java不同(Java最终实现了),无法调度代码在正常和异常情况下运行。Panic也会提前退出函数。

析构函数中的代码将(几乎)始终运行处理Panic、早期返回等。


总结

以上就是本期文章的所有内容,介绍了Rust设计模式中的习惯语法中的三个部分

  • 默认特质
  • 集合智能指针
  • 析构函数

通过本期内容,希望你能够对Rust开发能有更加深入的了解。

Logo

权威|前沿|技术|干货|国内首个API全生命周期开发者社区

更多推荐