深入浅出Rust(第一部分-2)


传送门:
深入浅出Rust(第一部分-1)
深入浅出Rust(第一部分-2)
深入浅出Rust(第二部分-1)
深入浅出Rust(第二部分-2)
深入浅出Rust(第三部分-1)
深入浅出Rust(第三部分-2)
深入浅出Rust(第四部分)
深入浅出Rust(第五部分)


第一部分-2

第5章 trait

1. 成员方法

  • trait相当于java的接口(interface)+实现(impl),而内在方法相当于类.--> Rust没有Class
    Self与self: Self表示实现trait的类型,而self表示具体的示例.其中self必须是方法的第一个参数(这个和python一样)
  • trait可以包含方法的默认实现,这样在具体实现中就可以不需要写重复的代码.
  • Impl对象不一定为Struct,甚至可以是一个trait

2. 静态方法

3. 扩展方法

  • 利用trait可以给其他类型添加成员方法(对比类class,灵活性更高),但是有一个规定(Orphan Rule): impl要么与trait声明在同一个crate中,要么同类型的声明在同一个crate中.
  • trait只是描述类型的"特性",定义了针对类型的"约束",其本身并没有具体大小,因而无法作为变量,参数,返回值.(这与接口是不同的,Java和Go都有将具体类型转换为接口调用的习惯)

4. 完整的函数调用

  • 如果出现同名trait,可以有通过完全限定::进行调用.
5-1.jpg

5. trait继承与约束

  • trait可以作为泛型的约束(where),使得编译器能够检查trait的实现类型.
  • 通过":"可以实现trait的继承(也就是impl需要同时实现)

6. Derive

使用#[derive()]这种可以让编译器自动加上impl块.

5-2.png

7. trait别名(type)

8. 标准库常见trait

  • Display和Debug,控制打印的format,分别为{}和{:?}
  • ToString,Display同时实现了这个trait.
  • PartialOrd/Ord/PartialEq/Eq:只有实现了Ord(全序)即可调用sort排序,
  • Sized: 这个无法自己Impl,而是用编译器推导的.
  • Default: 专门用来实例化无参,无错误处理的简单实例化.

第6章 数组和字符串

1. 数组

  • 数组是一个容器,必须有类型和大小.
  • 切片,在Rust中使用&借用操作生成数组切片(Slice),其是一个胖指针(首元素+大小)
  • Range: 使用..可以生成左闭右开的区间,..=生成左闭右闭的区间.与&结合可以更加灵活对数组进行切片(通过限定Range控制初始位置和大小)
  • 从胖指针的定义可以看出,Rust的Slice与Go的是不同的.
  • 索引 [ ] 操作在Rust中会进行边界检查,因此速度会低于C/C++,因此并不推荐使用for+[ ]的模式操作数组,而是使用for in 迭代器方法.
6-1.png
6-2.png

2. 字符串

  • &str是Rust内置类型,是对str的借用.Rust中字符串默认使用utf-8编码,而内置Char类型是4字节长度的.因而取第几个字符这种,不能直接通过s[n]得到.需要这样:
s.chars().nth(n)
  • &str类型也是一个胖指针,包含了首字指针和长度.
  • String是在堆上动态申请了一块内存,因此可以进行编辑.
  • String类型可以通过Deref"解引用"自动转换为&str类型

第7章 数组和字符串

1. 简介

  • "Patern Destructure"是一个重要且实用的设计(Es6就有啊),可以轻松把一个复杂结构拆解开

2. match

  • match类似switch,对值进行分支处理,但是Rust要求对所有可能进行"完备"检查,避免缺少处理.可以用_,..,代替某些不需处理的值.


    7-1.png
  • match 加 if 组成"匹配守卫"(高级switch),这样可能使得编译器对于"完整无遗漏"产生误报.

  • 使用 @ 进行符号判断

  • 使用 ref 关键字进行绑定匹配对象的引用.

3. if-let和while-let

  • 它们是Rust语法糖,表明只需要匹配某些模式,而非"完整无遗漏"

4. 函数参数与闭包做模式解构

  • 默认支持在参数传递时候进行模式解构

第8章 深入类型系统

1. 代数类型系统

  • 代数类型(Algebraic data type)
  • 类似信息论,计算每种类型携带的信息(bit) -> 基数

2. Never Type

  • 例如: enum Never {}, 因此无法只有类型,而无法构造变量.
  • 基数为0;占用内存为0;处理这种类型代码,无法执行;返回这种类型代码,无法返回;可以转换为任意类型
  • 在Rust用,使用"!表示

3. Option类型

  • Option解决了空指针的问题


    8-2.png
  • Option有众多方便的成员函数,map,unwrap,expect等(推荐看API)

  • Option开销也很小(使用Option类型对指针包装,与C/C++指针完全没有区别)


    8-1.png

第9章 宏

1. macro

Rust宏相当于"元编程",一套模板代码,用来生成程序.

  • 实现编译器阶段检查
  • 实现编译期计算
  • 实现代码自动生成(消除简单重复代码)
  • 实现语法扩展

2. 示范型宏(macro_rules!)

  • 一个实现hashmap!的宏,需要正则表达式进行输入匹配,并用$表示变量(类似shell编程)
9-1.png
  • 可以使用rustc --pretty=expanded 进行宏展开

3. 宏1.1(procedural macro)

  • 相当于编译器插件,是需要写Rust代码的.
  • 前面章节提到的drive traits就是一个

感觉8,9两章,可能比较难懂,作者没有使用大篇幅细讲,所以讲的比较晦涩.

推荐阅读更多精彩内容