016 Rust死灵书之安全方式内存初始化

本系列录制的视频主要放在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!");
}