本系列录制的视频主要放在B站上​​Rust死灵书学习视频​​

Rust 死灵书相关的源码资料在https://github.com/anonymousGiga/Rustonomicon-Source

介绍

所有运行期分配的内存开始时都是 "未初始化"的。Rust 提供了处理未初始化内存的方式，既有安全的方式也有非安全的方式。

安全方式

所有栈上的变量在显式赋值之前都是未初始化的，但是Rust禁止程序员在赋值之前读取这些变量。

//例子1
fn main() {
  let i: i32;
  //println!("i = {}", i); //error
  if true {
    i = 1;
    println!("i = {}", i); 
  }
  //println!("i = {}", i); //error
}
//例子2
fn main() {
    let x: i32;
    
    loop {
        // Rust不知道这个分支会被无条件执行
        //因为它依赖于实际值
        if true {
            // 但是它确实知道循环只会有一次，因为我们会无条件break
            // 所以x不需要是可变的
            x = 0;
            break;
        }
    }
    // 它也知道如果没有执行break的话，代码不会运行到这里
    // 所以在这里x一定已经被初始化了
    println!("{}", x);

}

如果值从变量中移出且变量类型不是 Copy，那么变量逻辑上处于未初始化状态。

fn main() {
    //如果值从变量中移出且变量类型不是 Copy，那么变量逻辑上处于未初始化状态
    let x = 0;
    let y = Box::new(0);
    let z1 = x; // x仍然是合法的，因为i32是Copy
    let z2 = y; // y现在逻辑上未初始化，因为Box不是Copy

    println!("x = {}", x);
    //println!("y = {}", y);
    println!("z1 = {}", z1);
    println!("z2 = {}", z2);

    //y = Box::new(1); // 重新初始化y, error,需要将y修改成mut

    println!("Hello, world!");
}