为什么 Vec.sort() 似乎需要静态生命周期？

Question

这是我运行遇到的问题的一个大大简化的示例，但是给定一个实现 Ord 的 trait Thing 和一个实现 struct Object 的 struct Object =16=]，我有以下结构：

pub struct MyStruct<'a> {
    my_things: HashMap<i32, Vec<Box<dyn Thing + 'a>>>
}

impl<'a> MyStruct<'a> {
    pub fn new() -> MyStruct<'a> {
        MyStruct {
            my_things: HashMap::new()
        }
    }
    
    pub fn add_object(&mut self, key: i32, obj: Object) {
        if !self.my_things.contains_key(&key) {
            self.my_things.insert(key, Vec::new());
        }
        
        let new_thing: Box<dyn Thing> = Box::new(obj);
        let things = self.my_things.get_mut(&key).unwrap();
        
        things.push(new_thing);
        things.sort();
    }
}

它本质上需要一个键和一个 Object，并使用给定的键将对象添加到 Vec 的 HashMap 中。我知道这不是执行此操作的最佳方法，但我想让它更简单以供说明。

编译器在调用 things.sort() 时出现以下错误：

error[E0308]: mismatched types
  --> src/main.rs:58:16
   |
58 |         things.sort();
   |                ^^^^ lifetime mismatch
   |
   = note: expected trait `Ord`
              found trait `Ord`
note: the lifetime `'a` as defined on the impl at 42:6...
  --> src/main.rs:42:6
   |
42 | impl<'a> MyStruct<'a> {
   |      ^^
   = note: ...does not necessarily outlive the static lifetime

Playground link

如果我在此示例中删除所有 'a 生命周期，代码将编译。但是对于我的实际用例，我需要允许非静态生命周期。

有人可以解释一下这是怎么回事吗？ sort() 是否真的要求 Vec 包含具有静态生命周期的项目？如果是，为什么？

有什么好的解决方法吗？

Answer 1

您只为 dyn Thing + 'static 实施了 Ord。如果您未明确指定任何其他生命周期界限，则推断出 'static 生命周期界限。要为非 'static dyn Thing 实现 Ord，您需要引入并使用通用生命周期参数，例如'a，在您的实施中。更新编译示例：

use std::collections::HashMap;
use std::cmp;

pub trait Thing {
    fn priority(&self) -> i32;
}

impl<'a> PartialEq for dyn Thing + 'a { // 'a added here
    fn eq(&self, other: &Self) -> bool {
        self.priority() == other.priority()
    }
}

impl<'a> PartialOrd for dyn Thing + 'a { // 'a added here
    fn partial_cmp(&self, other: &Self) -> Option<cmp::Ordering> {
        self.priority().partial_cmp(&other.priority())
    }
}

impl<'a> Eq for dyn Thing + 'a {} // 'a added here

impl<'a> Ord for dyn Thing + 'a { // 'a added here
    fn cmp(&self, other: &Self) -> cmp::Ordering{
        self.priority().cmp(&other.priority())
    }
}

pub struct Object {
    priority: i32,
}

impl Thing for Object {
    fn priority(&self) -> i32 {
        self.priority
    }
}

pub struct MyStruct<'a> {
    my_things: HashMap<i32, Vec<Box<dyn Thing + 'a>>>
}

impl<'a> MyStruct<'a> {
    pub fn new() -> MyStruct<'a> {
        MyStruct {
            my_things: HashMap::new()
        }
    }
    
    pub fn add_object(&mut self, key: i32, obj: Object) {
        if !self.my_things.contains_key(&key) {
            self.my_things.insert(key, Vec::new());
        }
        
        let new_thing: Box<dyn Thing> = Box::new(obj);
        let things = self.my_things.get_mut(&key).unwrap();
        
        things.push(new_thing);
        things.sort();
    }
}

fn main() {
    let _test = MyStruct::new();
}

playground

来自 the Default Trait Object Lifetimes section of the Lifetime Elision chapter of the Rust Reference（强调我的）：

If the trait object is used as a type argument of a generic type then the containing type is first used to try to infer a bound.

If there is a unique bound from the containing type then that is the default

If there is more than one bound from the containing type then an explicit bound must be specified

If neither of those rules apply, then the bounds on the trait are used:

If the trait is defined with a single lifetime bound then that bound is used.

If 'static is used for any lifetime bound then 'static is used.

If the trait has no lifetime bounds, then the lifetime is inferred in expressions and is 'static outside of expressions.

为什么 Vec.sort() 似乎需要静态生命周期？

Why does Vec.sort() seem to require a static lifetime?

vector

traits

lifetime

rust

trait-objects