在线时间:8:00-16:00
迪恩网络APP
随时随地掌握行业动态
扫描二维码
关注迪恩网络微信公众号
Q5: 一个函数的观点 1 ``` 2 // 所有权语义 3 fn modify(mut v: Vec<u32>) -> Vec<u32> { 4 v.push(42); 5 v 6 } 7 let v = vec![1,2 ,3]; 8 let v = modify(v); // 这里参数传递到modify执行的绑操作是, let mut v = v;是以所有权的方式转移的 9 println!("{:?}", v); // 1, 2, 3, 42 10 11 // 同上面进行对比 12 let v = vec![1, 2, 3]; 13 let mut v = v; // 这里可以看出很多的问题了吧,使用到了变量遮蔽,将变量重新绑定的位可变的变量,这里是符合所有权的,因为还是只有一个值指向管理的内存,原来的v的所有权给了新的v,只不过这里的两个v是相同的名字而已。 14 v.push(42); 15 println!("{:?}", v); 16 17 18 // 借用 19 pub fn modify_ref_mut(v: &mut [u32]) { 20 v.reverse(); 21 } 22 let mut v = vec![1,2,3]; 23 modify(&mut v); // 这里参数传递到modify执行的绑定是,let v = &mut v; 是以可变引用的方式借用的 24 println!("{:?}", v); // 3, 2, 1 25 26 // 同上面对比 27 let mut v = vec![1, 2, 3]; 28 let v = &mut v; // 声明了一个可变借用 29 v.reverse(); // 对可变借用进行操作 30 println!("{:?}", v); 31 32 // 可变借用和不可变借用同时存在 33 // Case 1 ok 34 let mut v = vec![1, 2, 3]; 35 36 let v1 = &mut v; // 可变借用 37 v1.reverse(); 38 println!("{:?}", v1); // 不可变借用 39 40 // 此时的 v 已经被v1改变了 41 42 let v2 = &v; // 不可变借用, 此时v2做出了一个不可变绑定 43 println!("{:?}", v2); // 不可变借用, 从上一句到这一句之间不会不发生v的任何变化ok 44 45 // Case 2 ok 46 let mut v = vec![1, 2, 3]; 47 48 let v2 = &v; // 不可变借用 49 println!("{:?}", v2); // 不可变借用, 从上一句到这一句之间不会发生v的任何变化ok 50 51 // v1 可变借用了v 52 53 let v1 = &mut v; // 可变借用 54 v1.reverse(); 55 println!("{:?}", v1);// 不可变借用 56 57 // Case 3 error 58 let mut v = vec![1, 2, 3]; 59 60 let v2 = &v; // 不可变借用 61 62 63 // v1 可变借用了v 64 let v1 = &mut v; // 可变借用 65 v1.reverse(); 66 println!("{:?}", v1); 67 println!("{:?}", v2); // 不可变借用, 这里的v2和上面声明的v2之间指向的v发生了变化, 68 及时没有任何的变化,在let v2 = &v; 和println!("{:?}", v2);有任何的可变借用都不可以。所以发生了借用规则的冲突问题。
1 error[E0502]: cannot borrow `v` as mutable because it is also borrowed as immutable 2 --> src/lib.rs:75:14 3 | 4 73 | let v2 = &v; 5 | -- immutable borrow occurs here 6 74 | 7 75 | let v1 = &mut v; 8 | ^^^^^^ mutable borrow occurs here 9 ... 10 78 | println!("{:?}", v2); 11 | -- immutable borrow later used here
|
2023-10-27
2022-08-15
2022-08-17
2022-09-23
2022-08-13
请发表评论