Question

我正在尝试将闭包传递给函数，然后该闭包将对该函数范围内传递给它的某些东西进行突变。根据我目前对Rust的理解，应该看起来像这样：

pub fn call_something(callback: &FnOnce(&mut Vec<i32>)) {
    let mut my_vec = vec![0, 1, 2, 3, 4];
    callback(&mut my_vec);
}

这会导致以下错误：

error[E0161]: cannot move a value of type dyn for<'r> std::ops::FnOnce(&'r mut std::vec::Vec<i32>): the size of dyn for<'r> std::ops::FnOnce(&'r mut std::vec::Vec<i32>) cannot be statically determined
 --> src/lib.rs:3:5
  |
3 |     callback(&mut my_vec);
  |     ^^^^^^^^

error[E0507]: cannot move out of borrowed content
 --> src/lib.rs:3:5
  |
3 |     callback(&mut my_vec);
  |     ^^^^^^^^ cannot move out of borrowed content

为什么要呼吁FnOnce采取行动？我在这里想念什么？

Answer 1

为什么要叫FnOnce搬家？

因为那是the definition of what makes a closure FnOnce：

extern "rust-call" fn call_once(self, args: Args) -> Self::Output
//                              ^^^^

将此与FnMut和Fn进行对比：

extern "rust-call" fn call_mut(&mut self, args: Args) -> Self::Output
//                             ^^^^^^^^^

extern "rust-call" fn call(&self, args: Args) -> Self::Output
//                         ^^^^^

另请参阅：

您可能想要

pub fn call_something(callback: impl FnOnce(&mut Vec<i32>))

或

pub fn call_something<F>(callback: F)
where
    F: FnOnce(&mut Vec<i32>),

这些是相同的。它们都拥有闭包的所有权，这意味着您可以调用闭包并在过程中使用它。

为什么将FnOnce闭包称为举动？

1 个答案: