这是一个创建于 860 天前的主题，其中的信息可能已经有所发展或是发生改变。
下面这段代码中，闭包体为什么变成了 FnOnce ？是因为 Value 被 push 到 vec 中，导致所有权转移，所以 rust 认为它是 FnOnce 的闭包体了么？还是因为什么？求解答
#[derive(Debug)] struct Rectangle { width: u32, height: u32, } fn main() { let mut list = [ Rectangle { width: 10, height: 1 }, Rectangle { width: 3, height: 5 }, Rectangle { width: 7, height: 12 }, ]; let mut sort_operatiOns= vec![]; let value = String::from("by key called"); list.sort_by_key(|r| { sort_operations.push(value); // 如果这里改成 sort_operations.push(value.clone()); // 那么这个闭包体就是 FnMut 类型了 r.width }); println!("{:#?}", list); }  | 1 hsfzxjy 2023-08-30 18:10:49 +08:00 via Android 这段代码里闭包也是 FnMut 呀 |
 | 2 BBCCBB 2023-08-30 18:27:22 +08:00 应该就是所有权吧. value move 到了这个闭包里. |
 | 3 xring 2023-08-30 19:55:16 +08:00 Fn: the closure uses the captured value by reference (&T) FnMut: the closure uses the captured value by mutable reference (&mut T) FnOnce: the closure uses the captured value by value (T) |
 | 4 ie88 2023-08-30 20:10:47 +08:00 你这段代码会报错，你从哪里看到 FnMut 变成了 FnOnce ? 想要实现查看 sort_by_key 执行多少次，把 String::from() 换成 &str ， 即 let value = "by key called"; 编译器已经提示你 "move occurs because `value` has type `String`, which does not implement the `Copy` trait" |
| 5 ie88 2023-08-30 20:19:26 +08:00 @ie88 再详细点说，就是 这个 value (String 类型) 第一次被 push 到 sort_operations 这个 Vec 里，就已经被 move 到了 closure ，在这个作用域内已经没有了这个 value ，所以下一次 进行 push 操作时，找不到这个 value 了，因为 你定义的 value 是 String 类型，不具有 Copy trait 如果你 定义 value 时，像我上面写的，用 &str ，move 到 closure 时就会隐式发生 copy |
 | 6 lsk569937453 2023-08-30 20:32:39 +08:00  1 Fn 、FnMut 、FnOnce 的区别建议看下 https://rustcc.cn/article?id=8b6c5e63-c1e0-4110-8ae8-a3ce1d3e03b9 |
 | 7 FreeWong 2023-08-31 10:58:16 +08:00 sort_operations.push(value); 你自己要求要 push 一个 String 类型的 value, 然而 sort_by_key 对 闭包的要求是 FnMut ，即可以对周围环境变量的捕获是 Fn,FnMut ，所以就冲突了 |
 | 8 Number13 OP @lsk569937453 666 ，我就是陷入了误解四，认为 String 是否 clone 会影响到闭包体是否为 FnOnce 。 @ie88 哦哦，是这样啊，这块我想到了，但是我以为这个所有权是给了 vec 看你解释，明白了一些了，是闭包体把 vec 和这个 String 的所有权都捕获了吧。 |
 | 9 PTLin 2023-08-31 14:13:23 +08:00 闭包可以看作一个结构体，你对闭包的使用方式决定了闭包的捕获方式，捕获方式决定了闭包实现了什么 trait 。 假设有个结构体，你这段代码将 value push 到了 vec 中，故捕获了&mut vec 。value 是所有权方式使用的，故捕获了 string 。 这时这个闭包的结构体中就有两个字段，分别是&mut vec ，value 。 调用 FnOnce 闭包在底层相当于调用了闭包结构体的 fn call_once(self, args: Args) -> Self::Output 方法。 调用 FnMut 闭包在底层相当于调用了闭包结构体的 fn call_mut(&mut self, args: Args) -> Self::Output 方法。 由此可知假设你传入的闭包实现了 FnMut ，此时将会调用 fn call_mut(&mut self, args: Args) -> Self::Output 。这时就会出现问题，代码中将 string 类型的 value ，push 到了&mut vec 中，但由于 self 是&mut ，无法对 value 转移出所有权，所以 error 的提示为[E0507]: cannot move out of `value`。 |
| 10 PTLin 2023-08-31 14:33:09 +08:00 |
Select Language