rust - 如何将数据移动到多个 Rust 闭包中？

Question

我在一个简单的 GTK 应用程序中有两个小部件:

extern crate gdk;
extern crate gtk;

use super::desktop_entry::DesktopEntry;

use gdk::enums::key;
use gtk::prelude::*;

pub fn launch_ui(_desktop_entries: Vec<DesktopEntry>) {
    gtk::init().unwrap();

    let builder = gtk::Builder::new_from_string(include_str!("interface.glade"));

    let window: gtk::Window = builder.get_object("main_window").unwrap();
    let search_entry: gtk::SearchEntry = builder.get_object("search_entry").unwrap();
    let list_box: gtk::ListBox = builder.get_object("list_box").unwrap();

    window.show_all();

    search_entry.connect_search_changed(move |_se| {
        let _a = list_box.get_selected_rows();
    });

    window.connect_key_press_event(move |_, key| {
        match key.get_keyval() {
            key::Down => {
                list_box.unselect_all();
            }
            _ => {}
        }
        gtk::Inhibit(false)
    });

    gtk::main();
}

我需要从这两个事件中更改 list_box。我有两个可以移动的闭包，但是不可能同时将list_box移动到两个闭包，因为我得到了错误:

error[E0382]: capture of moved value: `list_box`

我能做什么？

Answer 1

正如 Shepmaster 的回答中所解释的，您只能将值从变量中移出一次，编译器将阻止您进行第二次操作。我将尝试为这个用例添加一些特定的上下文。其中大部分来 self 在 C 时代之前使用 GTK 的内存，还有一些我刚刚在 gtk-rs 文档中查找，所以我确定我有一些细节错误，但我认为一般要点是准确的.

首先让我们看一下为什么需要将值移动到闭包中。您在两个闭包内的 list_box 上调用的方法通过引用获取 self，因此您实际上并没有使用闭包中的列表框。这意味着在没有 move 说明符的情况下定义两个闭包将是完全有效的——您只需要对 list_box 的只读引用，您可以进行多次读取- 一次仅引用，并且 list_box 至少与闭包一样长。

然而，虽然您可以定义这两个闭包而不将list_box 移动到它们中，但您不能将以这种方式定义的闭包传递给 gtk-rs:all连接事件处理程序的函数只接受“静态”函数，例如

fn connect_search_changed<F: Fn(&Self) + 'static>(
    &self, 
    f: F
) -> SignalHandlerId

处理程序的类型 F 具有特征绑定(bind) Fn(&Self) + 'static，这意味着闭包要么根本不能持有任何引用，或其持有的所有引用必须具有静态生命周期。如果我们不将 list_box 移动到闭包中，闭包将持有对它的非静态引用。所以我们需要先去掉引用，然后才能将该函数用作事件处理程序。

为什么 gtk-rs 施加这个限制？原因是 gtk-rs 是一组 C 库的包装器，指向回调的指针最终传递给底层 glib 库。由于 C 没有任何生命周期的概念，因此安全地执行此操作的唯一方法是要求不存在任何可能变得无效的引用。

我们现在已经确定我们的闭包不能包含任何引用。我们仍然需要从闭包中访问 list_box，那么我们有什么选择呢？如果你只有一个闭包，使用 move 就可以了——通过将 list_box 移动到闭包中，闭包成为它的所有者。但是，我们已经看到这对多个闭包不起作用，因为我们只能移动一次 list_box。我们需要找到一种方法让它拥有多个所有者，而 Rust 标准库提供了这样一种方法:引用计数指针 Rc 和 Arc。前者用于只能从当前线程访问的值，而后者可以安全地移动到其他线程。

如果我没记错的话，glib 在主线程中执行所有事件处理程序，闭包的特征边界反射(reflect)了这一点:闭包不需要是 Send 或 Sync，所以我们应该可以使用 Rc。此外，我们只需要对闭包中的 list_box 进行读取访问，因此在这种情况下我们不需要 RefCell 或 Mutex 来实现内部可变性。总之，您可能需要的是:

use std::rc::Rc;
let list_box: gtk::ListBox = builder.get_object("list_box").unwrap();
let list_box_1 = Rc::new(list_box);
let list_box_2 = list_box_1.clone();

现在您有两个指向同一个列表框的“拥有”指针，并且可以将这些指针移动到两个闭包中。

免责声明:我无法真正测试任何这些，因为您的示例代码不是独立的。