Rust 编程第一课

Key Points

所有权：一个值只能被一个变量所拥有，且同一个时刻只能有一个所有者，当所有者离开作用域，其拥有的值被丢弃，内存得到释放
Move 语义：赋值或者传参会导致值 Move，所有权被转移，一旦所有权转移，之前的变量就无法访问
Copy 语义：如果值实现了 Copy trait，赋值及传参就会使用 Copy 语义，相应的值会被按位拷贝，产生新的值。

所有权

多态实现

rc

生命周期

所有引用类型的参数都有独立的生命周期 'a, 'b
如果只有一个引用型输入，它的生命周期会赋给所有输出
如果有多个引用类型的参数，其中一个是 self，那么它的生命周期会赋给所有输出

Trait

不允许返回 Self，在 trait object 产生时，原来的类型会被抹去，没有 Self 信息。
不允许携带泛型参数，Rust 中带泛型的类型在编译时会做单态化，而 trait object 是运行时产物，无法兼容。

数据类型

凡是需要做资源回收的数据结构，且实现了 Deref/DerefMut/Drop，都是智能指针。

slices

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17


use std::iter::FromIterator;

fn main() {
    let arr = ['h', 'e', 'l', 'l', 'o'];
    let vec = vec!['h', 'e', 'l', 'l', 'o'];
    let s = String::from("hello");
    let s1 = &arr[1..3];
    let s2 = &vec[1..3];
    let s3 = &s[1..3];

    // &[char] &[char] 长度和内容
    assert_eq!(s1, s2);
    // &[char] &[str] 不能直接对比
    assert_eq!(s2, s3.chars().collect::<Vec<_>>());
    // &[char] 可以通过迭代器转换成 String
    assert_eq!(String::from_iter(s2), s3);
}

HashMap

A hash map implemented with quadratic probing and SIMD lookup.

Closure

闭包的大小跟参数、局部变量都无关，只跟捕获的变量有关。

闭包是存储在栈上，并且除了捕获的数据外，闭包本身不包含任何额外函数指针指向闭包的代码。

泛型数据结构的逐步约束

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20


pub struct BufRead<R> {
    inner: R,
    buf: Box<[u8]>,
    pos: usize,
    cap: usize,
}

// capacity(), buffer() 无任何限制
impl <R> BufReader<R> {
    pub fn capcity(&self) -> usize {}
    pub fn buffer(&self) -> &[u8] {}
}

// new - Read trait
impl <R: Read> BufReader<R> {
    pub fn new(inner: R) -> Self<R> {}
    pub fn with_capacity(capacity: usize, inner: R) -> BufReader<R> {}
}

impl <R> fmt::Debug for BufReader<R> where R: fmt::Debug {}