"temporary value dropped while borrowed" 使用 HashMap<&str, &dyn Fn(&str) -> bool>

Question

我有一个 HashMap 字符串函数。根据我的理解，&dyn Fn(&str) -> bool 是必需的，因为我想同时使用函数和闭包，但是我遇到了这个编译错误：

error[E0716]: temporary value dropped while borrowed
  --> src/test.rs:22:26
   |
22 |     checks.insert("k3", &|i| cached_regex.is_match(i));
   |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - temporary value is freed at the end of this statement
   |                          |
   |                          creates a temporary which is freed while still in use
...
27 |         match checks.get(kvp[0]) {
   |               ------ borrow later used here
   |
   = note: consider using a `let` binding to create a longer lived value

示例代码：

use regex::Regex;
use std::collections::HashMap;

fn main() {
    assert_eq!(run_checks("k1:test, k3:1234"), true);
    assert_eq!(run_checks("k1:test, k3:12345"), false);
    assert_eq!(run_checks("k1:test, k2:test2"), true);
}

fn specific_check(i: &str) -> bool { i == "test" }

fn run_checks(input: &str) -> bool {
    let cached_regex = Regex::new(r"^\d{4}$").unwrap();

    let mut checks: HashMap<&str, &dyn Fn(&str) -> bool> = HashMap::new();
    checks.insert("k1", &specific_check);
    checks.insert("k2", &|i| i == "test2");

    // Not working
    checks.insert("k3", &|i| cached_regex.is_match(i));

    for kvp_pair in input.split(",") {
        let kvp: Vec<&str> = kvp_pair.trim().split(":").collect();

        match checks.get(kvp[0]) {
            Some(check) => {
                if !check(kvp[1]) {
                    return false;
                }
            }
            None => return false,
        }
    }

    true
}

Answer 1

解决这个问题最直接的方法是 Box dyn Fn(&str) -> bool trait 对象。固定工作示例：

use regex::Regex;
use std::collections::HashMap;

fn main() {
    assert_eq!(run_checks("k1:test, k3:1234"), true);
    assert_eq!(run_checks("k1:test, k3:12345"), false);
    assert_eq!(run_checks("k1:test, k2:test2"), true);
}

fn specific_check(i: &str) -> bool { i == "test" }

fn run_checks(input: &str) -> bool {
    let cached_regex = Regex::new(r"^\d{4}$").unwrap();

    let mut checks: HashMap<&str, Box<dyn Fn(&str) -> bool>> = HashMap::new();
    checks.insert("k1", Box::new(specific_check));
    checks.insert("k2", Box::new(|i| i == "test2"));
    
    // now works
    checks.insert("k3", Box::new(|i| cached_regex.is_match(i)));

    for kvp_pair in input.split(",") {
        let kvp: Vec<&str> = kvp_pair.trim().split(":").collect();

        match checks.get(kvp[0]) {
            Some(check) => {
                if !check(kvp[1]) {
                    return false;
                }
            }
            None => return false,
        }
    }

    true
}

playground

解决方案背后的详细解释

此行中的类型注释不完整，因为省略了引用和特征对象本身的生命周期：

let mut checks: HashMap<&str, &dyn Fn(&str) -> bool> = HashMap::new();

给定您插入 checks 的键和值，Rust 推断 checks 的完整类型为 HashMap<&'static str, &'static (dyn for<'a> Fn(&'a str) -> bool + 'static)>。前两个插入与此类型签名匹配，但最后的第三个不匹配。第三个插入中使用的值具有 &'static (dyn for<'a> Fn(&'a str) -> bool + 'b) 类型，其中 'b 表示捕获的 cached_regex 变量的生命周期。 Rust 抛出编译器错误的原因是因为创建对某些具有非 'static 生命周期的类型的 'static 引用是无效的，因为引用有可能变得无效。装箱 trait 对象避免了这个问题，因为我们不再需要创建对它的 'static 引用，因此不再需要 trait 对象本身需要存活 'static 并且最后的第三个插入可以安全生产。

"temporary value dropped while borrowed" 使用 HashMap<&str, &dyn Fn(&str) -> bool>

"temporary value dropped while borrowed" with HashMap<&str, &dyn Fn(&str) -> bool>

closures

lifetime

rust

borrow-checker

trait-objects