0

我有一个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
}
4

1 回答 1

1

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

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
}

操场

解决方案背后的详细解释

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

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

checks给定你在Rust 中插入的键和值可以推断出checksto的完整类型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并且可以安全地进行最后的第三次插入。

于 2020-12-06T16:52:29.137 回答