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

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

Rust 死灵书相关的源码资料在github.com/anonymousGiga/Rustonomi...

介绍

所有运行期分配的内存开始时都是 “未初始化”的。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!");
}
本作品采用《CC 协议》,转载必须注明作者和本文链接
令狐一冲
讨论数量: 0
(= ̄ω ̄=)··· 暂无内容!

讨论应以学习和精进为目的。请勿发布不友善或者负能量的内容,与人为善,比聪明更重要!