参数类型的寿命可能不够长

Question

我有一个简单的程序，我正在尝试实现多态帐户类型：

enum AccountType {
    INVALID,
    TYPE1,
    TYPE2,
}

trait Account {
    fn get_name(&self) -> String;
    fn get_type(&self) -> AccountType;
}

struct Accounts {
    accounts: Vec<Box<Account>>,
}

impl Accounts {
    fn new() -> Accounts {
        let accs: Vec<Box<Account>> = Vec::new();
        Accounts { accounts: accs }
    }

    fn add_account<A: Account>(&self, account: A) {
        self.accounts.push(Box::new(account));
    }
}

fn main() {
    let accounts = Accounts::new();
}

(Rust Playground)

当我编译它时，我看到以下错误：

error[E0310]: the parameter type `A` may not live long enough
  --> src/main.rs:23:28
   |
22 |     fn add_account<A: Account>(&self, account: A) {
   |                    -- help: consider adding an explicit lifetime bound `A: 'static`...
23 |         self.accounts.push(Box::new(account));
   |                            ^^^^^^^^^^^^^^^^^
   |
note: ...so that the type `A` will meet its required lifetime bounds
  --> src/main.rs:23:28
   |
23 |         self.accounts.push(Box::new(account));
   |                            ^^^^^^^^^^^^^^^^^

我尝试为类型添加生命周期，但找不到正确的方法。如果这不是在 Rust 中进行多态性的正确方法，请告诉我。

Answer 1

我将尝试给出更彻底的答案：这个问题与Accounts 的accounts 成员的定义有关。 Vec<Box<Account>> 在此上下文中等同于 Vec<Box<Account + 'static>>，即该框不能包含对堆栈上数据的任何引用。另一方面，add_account 的声明并不限制类型的生命周期：它等同于 fn add_account<'a, A: Account + 'a>(&self, account: A) {。

解决方案是确保类型 A 的寿命足够长。最简单的方法是添加错误消息中建议的A: 'static 绑定 (fn add_account<A: Account + 'static>(&self, account: A) {)。

如果你不想复制账户数据，你可以做一些更复杂的事情，像这样：

struct Accounts<'a> {
    accounts: Vec<&'a Account + 'a>
}

impl<'a> Accounts<'a> {
    fn new() -> Accounts<'a> {
        Accounts { accounts: Vec::new() }
    }

    fn add_account<A: Account + 'a>(&mut self, account: &'a A) {
        self.accounts.push(Box::new(account));
    }
}

不过，此时，您的数据结构可能比您实际需要的更通用。

Answer 2

编译器的建议确实有效。如果你写add_account如下：

fn add_account<A: Account + 'static>(&mut self, account: A) {
    self.accounts.push(Box::new(account));
}

您的代码已编译。 （顺便说一下，这里需要&mut self，而不是&self）