Rust 可变引用与不可变引用

如何在一个作用域里使用同一个可变变量的不可变引用与可变引用

fn mut_and_not_mut(){
    let mut s = String::from("Hello Wrold!");
    let s1 = &s;
    let s2 = &s;
    println!("s1:{}\ts2:{}\n",s1,s2);	//就算声明的不可变引用没有被调用，只要确保下面声明完可变引用后不会再调用上面的不可变引用即可。不过较少发生这种声明完一个变量又不用的情况。
    let s3 = &mut s;
    println!("s3:{}\n",s3);   
}

上面代码可以正常执行

fn mut_and_not_mut(){
    let mut s = String::from("Hello Wrold!");
    let s1 = &s;
    let s2 = &s;
    println!("s1:{}\ts2:{}\n",s1,s2);
    let s3 = &mut s;		//报错
    println!("s3:{}\n",s3);   
    println!("s1:{}\ts2:{}\n",s1,s2);
}

结论: 而当你在声明完该变量的可变引用后再一次调用上面声明的不可变引用时编译器就会报错，理由是已经将该变量声明为不可变引用，因此不能同时将它声明为不可变引用。
所以，要想在同一个作用域声明不可变引用与可变引用，要保证在声明完可变引用后不会再调用上面声明的不可变引用，否则就会冲突为同时将一个变量声明为可变引用与不可变引用。

如果一个可变变量被声明为一个不可变引用，那么也不可以对其进行可变操作（改值）

fn mut_and_not_mut(){
    let mut s = String::from("Hello Wrold!");
    let s1 = &s;
    let s2 = &s;
    println!("s1:{}\ts2:{}\n",s1,s2);	//就算声明的不可变引用没有被调用，只要确保下面声明完可变引用后不会再调用上面的不可变引用即可。不过较少发生这种声明完
    s1.push_str("Rust!");		//报错 error[E0596]: cannot borrow `*s1` as mutable, as it is behind a `&` reference
    //编译器那就将 上面声明s1的语句改为,let s1 = &mut s; -- help: consider changing this to be a mutable reference: `&mut s`
}

fn mut_and_not_mut(){
    let mut s = String::from("Hello Wrold!");
    let s1 = &s;
    let s2 = &s;
    println!("s1:{}\ts2:{}\n",s1,s2);	//就算声明的不可变引用没有被调用，只要确保下面声明完可变引用后不会再调用上面的不可变引用即可。不过较少发生这种声明完一个变量又不用的情况。
    let s3 = &mut s;
    println!("s3:{}\n",s3);   
    s3.push_str("\tRust!");		//可以对s3执行.push_str()操作	//注意这里能调用s3.push_str()并不是说对不可变变量s3进行操作，只是对它指向的s进行push_str()操作。
    println!("s3:{}\n",s3);
}

验证是否可以对不可变变量进行操作

fn mut_and_not_mut(){
    let mut s = String::from("Hello Wrold!");
    let mut r = String::from("Python");
    let s1 = &s;
    let s2 = &s;

    println!("s1:{}\ts2:{}\n",s1,s2);
    // s1.push_str("hyq");
    let  s3 = &mut s;
    println!("s3:{}\n",s3);    
    s3.push_str("\tRust!");
    println!("s3:{}\n",s3);
    s3 = &mut r;		//这个是直接对s3进行变化，编译器报错，cannot assign twice to immutable variable,如果要进行这一步操作，需要在声明s3时改成这样
    //let mut s3 = &mut s;		这样才可以进行s3进行变化操作，即可以指向s，也可以指向r
    
}

验证结果为：当声明为一个不可变变量时不可以对这个变量进行可变操作，但可以对其指向的引用进行操作。可以将 s3.push_str()看成是*s3.push_str()的语法糖，是编译器自动为我们省去了 *s3 解引用这一步操作。