通用特征的终身问题

Question

我正在通过MAP-TYPE数据结构（例如std :: Collections :: Btreemap和std :: Collections :: Hashmap）编写特征作为接口（例如std :: collections :: btreemap std :: collections :: collect>）。这是我昨天问的问题 ，尽管它是独立的。

我有一个我似乎无法理解的终生问题。我已经在所有教科书，Rust Reference，Stackoverflow等中搜索了答案，而且我无法弄清楚发生了什么。根据上一个问题的建议，我已经在以下代码上写了近十二个变体，并且在同样的情况下结束了。 我希望有人能帮助我理解为什么gc3（）是不可能的或我做错了什么。我知道我完全有可能我鼻子很长时间以来，这个问题我缺少一些简单的东西应该很明显。 （

use std::collections::hash_map::{HashMap, Iter};

fn main() {
    gc1(&HashMap::new());
    gc2(&HashMap::new());
    gc3(HashMap::new());
}

// Works
fn gc1<'a>(map: &'a dyn GroupedCollection<'a, usize, usize, Iter<'a, usize, Vec<usize>>>) {
    let _ = map.iter().collect::<Vec<_>>();
}

// Works
fn gc2<'a, M>(map: &'a M)
where
    M: 'a + GroupedCollection<'a, usize, usize, Iter<'a, usize, Vec<usize>>>,
{
    let _ = map.iter().collect::<Vec<_>>();
}

// Compiler error: `map` does not live long enough
fn gc3<'a, M>(map: M)
where
    M: 'a + GroupedCollection<'a, usize, usize, Iter<'a, usize, Vec<usize>>>,
{
    let _ = map.iter().collect::<Vec<_>>();
}

pub trait GroupedCollection<'a, K, V, I: 'a> {
    fn iter(&'a self) -> I;
}

impl<'a, K, V> GroupedCollection<'a, K, V, Iter<'a, K, Vec<V>>> for HashMap<K, Vec<V>>
{
    fn iter(&'a self) -> Iter<'a, K, Vec<V>> {
        HashMap::iter(&self)
    }
}

error[E0597]: `map` does not live long enough
  --> src/main.rs:27:13
   |
23 | fn gc3<'a, M>(map: M)
   |        -- lifetime `'a` defined here
...
27 |     let _ = map.iter().collect::<Vec<_>>();
   |             ^^^^^^^^^^
   |             |
   |             borrowed value does not live long enough
   |             argument requires that `map` is borrowed for `'a`
28 | }
   | - `map` dropped here while still borrowed

78a741a3ceb61f19a1d4b84b882c95f3c95f3c94编译器抱怨是因为map.iter（）在collect（）的末尾删除的参考？ （我尝试通过将'a：'b分配给groupedCollection和'b来解决此问题，但似乎没有要解决该问题：）

Answer 1

tl; dr ：不要使用寿命参数，使用hrtb：其中m：for＆lt;'a＆gt; groupedCollection＆lt; a，usize，usize，iter＆lt;

---

'a是呼叫者选择的寿命。假设呼叫者选择'static（通常，可以验证'static的生​​命值）。 map.iter（）被解除为＆lt; m作为groupedCollection＆lt;'static，...＆gt; :: iter（＆amp; map）。 ＆lt; m作为groupedCollection＆lt;'静态，... self。但是地图是一个本地变量，因此肯定是不是 'static。繁荣。

它可以使用引用，因为呼叫者不仅选择'a，还需要提供与之匹配的参考。如果它会选择'static，则必须提供＆amp;'静态M，因此一切都很好。

解决方案？您想要一个 callee 选择的寿命。也就是说，m实现groupedCollection在某些生命周期'a 我选择的，而不是我的呼叫者。在Rust中无法表达这一点，但是您可以说“ m实现groupedCollection for a nothy lifetime”，显然包括寿命我会选择的。这是较高的特征界：m：m：for＆lt;'a＆gt; ; groupedCollection＆lt;'a，...＆gt;。因此：

fn gc3<M>(map: M)
where
    M: for<'a> GroupedCollection<'a, usize, usize, Iter<'a, usize, Vec<usize>>>,
{
    // ...
}

这是完美的吗？否。在某些情况下，m未实现 lifetime的 groupedCollection ，但它确实可以选择我们选择的寿命。但是，没有GAT，您将无法做得更好。