RUST 每日一省:生命周期&作用域

生命周期

        一个变量的生命周期就是它从创建到销毁的整个过程。

作用域
        我们声明的每个变量都有作用域。作用域其实是变量和值存在的环境。作用域是由一对花括号表示的。例如,使用块表达式会创建一个作用域,即任何以花括号开头和结尾的表达式。此外,作用域支持互相嵌套,并且可以在子作用域中访问父作用域的元素,但反过来不行。

{
    let a = "hello";    ----------+-- a的作用域
    let b = 1;          -----+--b |
    {                        |    |
    let c = true;   ---+--c  |    |
                       |     |    |
                    ---+     |    |
    }                        |    |
                    ---------+    |
                    --------------+
}

        当作用域结束时,作用域内定义的变量都会运行相关代码以释放资源。对于在堆栈上分配的数据,可以轻松地判定变量是否存续。对在堆上分配的值, drop 方法会被放在作用域结束标记}之前调用。但这里是隐式的,可以避免程序员忘记释放值。 drop 方法来自 Drop 特征,它是为 Rust 中大部分堆分配类型实现的,可以轻松地自动释放资源。

生命周期&作用域

        Rust的生命周期是基于作用域的,我们可以认为变量的生命周期就是其作用域; 编译器能自动识别作用域内这些变量的生命周期,方便进行管理。其实生命周期纯粹是一个编译期构造,它可以帮助编译器确定某个引用有效的作用域,并确保它遵循借用规则。它可以跟踪诸如引用的来源,以及它们是否比借用值生命周期更长这类事情。Rust 中的生命周期能够确保引用的存续时间不超过它指向的值。生命周期并不是作为开发人员要用到的,而是编译器使用和推断引用的有效性时会用到的。

{
    let a = "hello";    ----------+-- a生命周期
    let b = 1;          -----+--b |
    {                        |    |
    let c = true;   ---+--c  |    |
                       |     |    |
                    ---+     |    |
    }                        |    |
                    ---------+    |
                    --------------+
}

所有权的转移 

        由于变量会在作用域结束时,会自动释放。如果我们需要在其作用域外继续使用它,要么转移所有权, 要么按位复制,就可以继续使用, 这取决于该变量是复制语义还是移动语义的。

        如果有其他变量进入了作用域,也是会发生所有权的变化;要么转移所有权, 要么按位复制, 这取决于该变量是复制语义还是移动语义的。

{
    let a = "hello".to_string();     
    let b = 1;   
    let c_out;  
    let d_out;        
    {                         
        let c_in = 2;  
        let d_in = "world".to_string();                    
        a;
        b;
        c_out = c_in;
        d_out = d_in;

    }     
    //println!("a:{}",a);     
    println!("b:{}",b);   
    println!("c_out:{}",c_out);
    //println!("c_in:{}",c_in);
    //println!("d_in:{}",d_in);   
    println!("d_out:{}",d_out);   
}

b:1
c_out:2
d_out:world

        如果我们要把打印a的注释去掉,就会产生如下错误,a进入子作用域之后,发生所有权转移,在自作用结束的时候,释放了a,所以我们继续使用就会报错了。

 去掉c_in的打印,则会产生如下错误,c_in也是如此。

创建新的作用域

  • 可以使用块表达式(花括号)创建作用域。
{
    let a = "hello".to_string();     
    let b = 1;   
    let c_out;  
    let d_out;        
    {                         
        let c_in = 2;  
        let d_in = "world".to_string();                    
        a;
        b;
        c_out = c_in;
        d_out = d_in;

    }     
    //println!("a:{}",a);     
    println!("b:{}",b);   
    println!("c_out:{}",c_out);
    //println!("c_in:{}",c_in);
    //println!("d_in:{}",d_in);   
    println!("d_out:{}",d_out);   
}
  • match匹配也会产生一个作用域。
  • for、 loop以及while循环语句均可以创建新的作用域。
  • if let块和while let块也会创建新的作用域。

        这三者都是类似,我们以match为例,演示一下。如果t换成是Some(6),就没有问题,因为t是Option<i32>,具有复制语义了。

fn main(){
    let t = Some("test".to_string());
    match t{
        Some(v) => (),
        None => (),
    }
    //println!("t:{}",t);
}

去掉注释之后,报错如下,说明t已经在Some(v)=> ()发生了所有权的转移,然后在作用域结束时被释放掉了;

  • 函数体本身是独立的作用域。

由于String是移动语义,当它作为参数传入f函数后,发生了所有权转移,如果在main函数中再次调用就会发生错误。

fn f(t:String){
   println!("{:?}",t);
}
fn main(){
    let t = Some("test".to_string());
    f(t);
    //println!("{:?}",t);
}

  • 闭包

闭包会创建新的作用域, 对于环境变量来说有以下三种捕获方式:
· 对于复制语义类型, 以不可变引用(&T) 来捕获。
· 对于移动语义类型, 执行移动语义(move) 转移所有权来捕获。
· 对于可变绑定, 如果在闭包中包含对其进行修改的操作, 则以可变引用(&mut) 来捕获。


fn main(){
    let t = Some("test".to_string());
    let c = |i: i32|{
     //println!("{:?},{:?}",t,i);
    t;
    };
    c(0);
    //println!("{:?}",t);
}

这里还有一个比较有意思的地方,就是println!("{:?},{:?}",t,i);如果在闭包里只有这一句;没有t; 则不会发生所有权的转移;即println不发生所有权的转移,他表面调用的时候t,实际的参数&t;

猜你喜欢

转载自blog.csdn.net/xq723310/article/details/130337716