pattern-match/patterns #192
giscus[bot]
bot
Replies: 45 comments 23 replies
-
|
根据报错信息： 猜测一下6报错的原因：在匹配后，程序试图对 match r {
&mut value => value.push_str(" world!")
}由于某种原因， 对于解构的猜测可能不太对，可变引用的变量不能被转移的原因也不是很明白，求解惑🥺 |
Beta Was this translation helpful? Give feedback.
-
|
应该是这样的逻辑, 不清楚对不对... fn main() {
let mut v = String::from("hello,");
// 这里是引用转移给了r
let r = &mut v;
// 这里是引用转移到了match中
match r {
// 这里是因为不可以引用`可变引用`, 所以去掉引用就不会编译错误
&mut value => value.push_str(" world!")
}
} |
Beta Was this translation helpful? Give feedback.
-
|
我理解这里的逻辑如下：
|
Beta Was this translation helpful? Give feedback.
-
|
简单解释就是解引用试图把v的所有权转移给r，但是解引用操作收到的输入是r，r是一个引用它无法提供v的所有权，所以报错。直接谷歌Rust的错误代码Error codes index E0507，文档直接对此类错误有解释。但是这个地方有些底层复杂机制我在评论区单独发了一篇进行详细分析。 |
Beta Was this translation helpful? Give feedback.
-
|
上文打掉一个符号：是解引用试图把v的所有权转移给*r |
Beta Was this translation helpful? Give feedback.
-
|
我的想法如下 fn main() {
let mut v = String::from("hello,");
let r = &mut v;
// 🌟🌟 使用模式 &mut V 去匹配一个可变引用时，你需要格外小心，因为匹配出来的 V 是一个值，而不是可变引用
// 这里被匹配成了一个值，r就相当于String::from("hello,")
// value就相当于这个值的可变引用 &mut String
match r {
value => value.push_str(" world!")
}
} |
Beta Was this translation helpful? Give feedback.
-
|
这样写确实能过，不过这样的话，r的所有权就给match代码块了，match执行完后那r也就被drop了 |
Beta Was this translation helpful? Give feedback.
-
|
r是个引用哪来的所有权 |
Beta Was this translation helpful? Give feedback.
-
|
r虽然不能用了，但是可以用v |
Beta Was this translation helpful? Give feedback.
-
|
我得上述回答不正确，这里是新的理解： fn main() {
let mut v = String::from("hello,");
let r = &mut v;
// r被匹配成了一个值，r的值就是 v的可变引用，也就是&mut v
// r的值，是v这个变量的可变引用地址， 2.3.2中的第一张图
match r {
value => value.push_str(" world!"),
}
//这里会报错，因为match已经拿走r的值的所有权
println!("{}", r);
}第二种 fn main() {
let mut v = String::from("hello,");
let r = &mut v;
// 这里r被解引用，获取的是v在堆上的数据
// 因此需要用ref mut来获取堆上数据的可变引用
match *r {
ref mut value => value.push_str(" world!"),
}
// 这里不会报错，因为拿的是堆上的数据，对r 对v的所有权都没有影响
println!("{}", r);
println!("{}", v);
} |
Beta Was this translation helpful? Give feedback.
-
|
可以这么写 // 修复错误，尽量少地修改代码
// 不要移除任何代码行
fn main() {
let mut v = String::from("hello,");
let r = &mut v;
match r {
&mut ref mut value => value.push_str(" world!")
}
} |
Beta Was this translation helpful? Give feedback.
-
|
我的猜测，不确定是否正确，欢迎大家指出错误： match (&mut v) {
(&mut value) => value.push_str(" world!")
}然后 |
Beta Was this translation helpful? Give feedback.
-
|
String类型本就是可变类型，不用引用也能操作的啊。我匹配到v，然后操作，不是很正确吗？ |
Beta Was this translation helpful? Give feedback.
-
第6题如果不想交出所有权可以这样写，提供一个思路// 修复错误，尽量少地修改代码
// 不要移除任何代码行
fn main() {
let mut v = String::from("hello,");
let r = &mut v;
match *r {
ref mut value => value.push_str(" world!")
}
} |
Beta Was this translation helpful? Give feedback.
-
|
#![allow(unused)] let msg = Message::Hello { id: 5 }; match msg { 请问一下为什么第一个分支，只有绑定id才能输出，而第三个却不用 |
Beta Was this translation helpful? Give feedback.
-
|
这里第三个我理解是 id:id 的缩写，当声明一个同名的局部变量和结构体中的字段名相同时可以省略，之前结构体中的简化构造的例子大概就是这样 |
Beta Was this translation helpful? Give feedback.
-
|
😢第六题，引用和解引用让我彻底蒙圈 |
Beta Was this translation helpful? Give feedback.
-
|
第六题报错的原因其实可以看成是value代表的就是v，所以使用push_str存在问题 &mut value = &mut v一般的解决方法是如下 fn main() {
let mut v = String::from("hello,");
let r = &mut v;
match r {
value => value.push_str(" world!")
}
}此时 fn main() {
let mut v = String::from("hello,");
let r = &mut v;
match &mut *r {
value => value.push_str(" world!")
}
println!("{}",r);
}这里采用了 |
Beta Was this translation helpful? Give feedback.
-
|
但是这样不久相当于对 v 同时生成了两个可变引用，r 和 match 语句中的，为啥不报错呢? 并且这样写更为明显： |
Beta Was this translation helpful? Give feedback.
-
|
可以参考一下作者在深入生命周期那章的里面提到的Reborrow 再借用 |
Beta Was this translation helpful? Give feedback.
-
|
Done. |
Beta Was this translation helpful? Give feedback.
-
|
Done. |
Beta Was this translation helpful? Give feedback.
-
|
最后一题可以配合这个加深理解： https://stackoverflow.com/questions/62960584/do-mutable-references-have-move-semantics |
Beta Was this translation helpful? Give feedback.
-
Output: |
Beta Was this translation helpful? Give feedback.
-
|
.rustc_info.json: |
Beta Was this translation helpful? Give feedback.
-
|
在表达式上，表示的是借用。 在表达式上，无效关键字。 |
Beta Was this translation helpful? Give feedback.
-
|
第六题：这里的r 会丢失所有权，如果改过来，这里会用 & 和 ref的知识点。 |
Beta Was this translation helpful? Give feedback.
-
|
第6题的个人理解, 如有错误, 欢迎大家指正! 前提: 1. 共享引用实现了"Copy"特型, 2. 可修改引用未实现"Copy"特型, 也就是说可修改引用会发生转移而不是复制. 将第六题的代码修改为: value => value.push_str(" world!"), 在模式匹配成功时, 实际上发生的是: value = r, 而r为可修改引用, 所以此时发生了转移(为了保证只存在一个可修改引用)而不是复制. 所以r失效, 而value成为了唯一的可修改引用, 执行完match中的语句后value生命期结束, 可修改引用失效, 此后String实例的所有者v又恢复了读写权. 另外还有一个比较关于函数的可变引用参数的小知识点: https://stackoverflow.com/questions/62960584/do-mutable-references-have-move-semantics |
Beta Was this translation helpful? Give feedback.
-
|
看到这么多人都在第6题上产生疑惑，恳请作者增加一点说明，或者修改一下该题目的难度级别标识：两级难度，对一些人来说却比前几道三级难度的题要难。 一个简单的报错例子： 该练习题中，将 以下代码可以编译通过： 顺便回顾一下 这里通过 用 |
Beta Was this translation helpful? Give feedback.
-
对第六题的个人理解对于6题，其已经涉及到pattern一些底层机制了。在2016年Rust 对match进行了相当大的重构提升: 强烈建议：圣经作者应该在这里加一些基本说明，我一个小白没日没夜查了三天资料和做各种测试又在StackOverflow上和人讨论也只能懂个大概。PS：和人聊过就发现Rust剧烈的版本变动以及为了方便而引入各种隐式玄学语法糖其实很招人骂，这和Rust鼓励工程师理解和思考全流程细节的哲学相违背。我们正在讨论的这个RFC 就是其中之一。而且Rust作者对 具体来说Rust将 以下是RFC 非引用模式除开以下模式都是 而下面的例子，x的值｀String｀在heap上不支持 然后借助vscode具体看下第六题的答案： 结合vscode推断的类型我这么理解match的过程：
如果我的推断是正确的，那么 输出结果： 但是我还有个疑惑需要解答。在获得
所以我检查了 输出结果： 可以看到地址完全相同，所以Rust使用的是开销最低的借用，这也不会影响 引用模式以上我们完成了正确答案工作过程的分析。接下来我们看一下包含错误的题面。 简单定义引用模式：当输入变量有 体面中显式使用 还是先看VScode的推断， 这和非引用模式在隐式添加 既然输入的 编译就会报出和第六题一模一样的错误，祸根就是这个解引用！我还没有细致研究解引用的机制（看了一些，太复杂了，怕是得研究许多天ORZ）但是可以做一些推断。 解引用会需要调用 输出： 可以看到被借用对象 而要修复故障，就需要删除 小节RFC（ |
Beta Was this translation helpful? Give feedback.
-
|
你抛的是玉 |
Beta Was this translation helpful? Give feedback.
-
|
感谢支持 |
Beta Was this translation helpful? Give feedback.
-
|
个人看法："r是一个可变引用， 没有copy trait (the trait core::marker::Copy is not implemented for the type &mut T )，所以只能被move到 value中。所以value和r类型相同。这导致 r失效。"这段话可能有误解。 r只是将自己赋值给value了，而rust只能同时有一个&mut，也就导致r已经彻底被value代替了，但不是move，可以认为是NLL发挥了作用，看下面的代码或许有帮助。 fn main() {
let mut v: String = String::from("hello,");
let r = & mut v;
let x = r;
x.push_str("world");
println!("{}", x);
// println!("{}", r);
} |
Beta Was this translation helpful? Give feedback.
-
|
嗯……那官方文件说此处是move应该如何理解呢？ |
Beta Was this translation helpful? Give feedback.
-
|
或者说我理解的所谓的赋值就是通过move来实现的。这也和官方给出的流程图匹配。 |
Beta Was this translation helpful? Give feedback.
-
|
第六题法二： fn main() {
let mut v = String::from("hello,");
let r = & v;
match r {
value => v.push_str(" world!")
}
} |
Beta Was this translation helpful? Give feedback.
-
|
第六题是否可以理解成编译器会对 match 值是引用作解引用，所以 match 里面只能够匹配值而不是引用？ |
Beta Was this translation helpful? Give feedback.
-
|
官方文档说传入引用到match中后,匹配不同的模式会引发编译器不同的操作,如果匹配的模式也是引用就会先对传入的指针进行move或者copy.如果匹配的模式不是引用,那就会对传入的引用进行解引用. |
Beta Was this translation helpful? Give feedback.
-
|
mark finished |
Beta Was this translation helpful? Give feedback.
-
|
为什么第四题不能是: |
Beta Was this translation helpful? Give feedback.
-
|
Done , good one there , |
Beta Was this translation helpful? Give feedback.
-
|
Done ✅ |
Beta Was this translation helpful? Give feedback.
-
|
当使用 fn main() {
let mut x = 5;
let r = &mut x;
match r {
&mut v => {
// 这里的 v 是一个值(5)，而不是 &mut i32
println!("v is {}", v); // 打印 5
// 如果想修改原始值，我们需要这样做：
*r = 6; // 正确
// v = 6; // 错误！因为 v 只是一个值的拷贝
}
}
}如果我们想在模式匹配中获取可变引用，我们需要使用 fn main() {
let mut x = 5;
let r = &mut x;
match r {
ref mut v => {
// 现在 v 是 &mut i32 类型
*v = 6; // 正确，可以修改原始值
}
}
println!("x is {}", x); // 打印 6
}这个区别很重要：
一个更复杂的例子： struct Point {
x: i32,
y: i32,
}
fn main() {
let mut point = Point { x: 0, y: 0 };
let r = &mut point;
// 使用 &mut 模式
match r {
&mut p => {
// p 是 Point 类型，但这里会报错因为 Point 没实现 Copy
// p.x = 5; // 错误！
}
}
// 使用 ref mut 模式
match r {
ref mut p => {
// p 是 &mut Point 类型
p.x = 5; // 正确！
}
}
}这个设计反映了 Rust 的一个重要原则：显式表达意图。当你想要引用时，需要明确使用 |
Beta Was this translation helpful? Give feedback.
-
|
题6如果使用&mut value则value相当于*&mut v试图获取可变引用背后的所有权，而r只是可变引用，没有所有权，无法转移所以权，故报错；移除&mut直接绑定value则保持可变引用类型&mut String，无所有权移动，因为是可变引用也能调用push_str。或者使用&mut ref mut value => value.push_str(" world!") 也是可以。 |
Beta Was this translation helpful? Give feedback.
and others
-
pattern-match/patterns
Learning Rust By Practice, narrowing the gap between beginner and skilled-dev with challenging examples, exercises and projects.
https://zh.practice.rs/pattern-match/patterns.html
Beta Was this translation helpful? Give feedback.
All reactions