将变量传递给函数和生命周期

Question

我想将 HashMap 和元素 - Foo 传递给我的函数。 我不明白变量的生命周期。请帮忙。

结果：错误[E0623]：寿命不匹配

use std::collections::HashMap;

#[derive(Debug)]
struct Foo<'a> {
    x: &'a i32,
}

fn add_to_map<'l>(map: &'l HashMap<u32, &'l Foo>,  element : &'l Foo) 
{
    map.insert(1, element);
}

fn main()
{
    let mut map: HashMap<u32, &Foo> = HashMap::new();

    let v = 5;
    let mut f = Foo { x: &v };
    add_to_map(&map, &f);
    println!("now f is {:?}", f);
}

编译器输出：

error[E0623]: lifetime mismatch
  --> src/main.rs:11:19
   |
9  | fn add_to_map<'l>(map: &'l HashMap<u32, &'l Foo>,  element : &'l Foo) 
   |                                             ---                  --- these two types are declared with different lifetimes...
10 | {
11 |     map.insert(1, element);
   |                   ^^^^^^^ ...but data from `element` flows into `map` here

error: aborting due to previous error

Answer 1

9  | fn add_to_map<'l>(map: &'l HashMap<u32, &'l Foo>,  element : &'l Foo) 
   |                                             ---                  --- these two types are declared with different lifetimes...
10

Foo<'a> 在这里出现两次（'a 是x 在Foo 中的生命周期）。由于您没有为生命周期 'a 提供显式值，因此编译器将假定 Foo 作为 HashMap 值和 element Foo 将具有不同的生命周期 'a。这种方法总体上效果很好。

但是，您实际上想将 element 插入到 map 中，这需要 匹配寿命。编译器拒绝您的代码，因为生命周期不会 匹配。您需要明确 x 内 Foo 的生命周期，例如，

// Verbose.
fn add_to_map<'l>(map: &'l mut HashMap<u32, &'l Foo<'l>>,  element : &'l Foo<'l>) 

您不需要给出map 本身的显式生命周期，因为编译器可以在调用站点验证map 的生命周期至少与element 一样长，

// Slightly less verbose.
fn add_to_map<'l>(map: &mut HashMap<u32, &'l Foo<'l>>,  element : &'l Foo<'l>) 

请注意，无论如何map 必须是mut in add_to_map。