4

如何将具有非静态生命周期的对象传递给 Rocket 的manage？目前我有这些方面的东西：

fn foo<'a>(bar: Bar<'a>) -> Result<(), Error> {
  rocket::ignite()
    .manage(bar)
    .mount("/", routes![index])
    .launch();

  Ok(())
}

但我收到以下错误：

cannot infer an appropriate lifetime due to conflicting requirements

note: ...so that the expression is assignable:
      expected bar::Bar<'_>
         found bar::Bar<'a>
note: but, the lifetime must be valid for the static lifetime...

为了添加更多上下文，Bar是一个struct包含使用运行时参数初始化的盒装闭包。args 包含密码、密钥和机密等内容 - 实际代码是开源的，因此可以在此处找到。它是 WIP，因此会发生变化，并且不完全是最新的，但希望为最终目标提供一个想法。

4

1 回答 1

8

您不能使用非静态生命周期，因为manage()字面上的签名说Send + Sync + 'static. 原因在State 的文档中说明：

被管理的类型必须是线程安全的并且可以跨线程边界发送。也就是说，它必须实现 Send + Sync + 'static。

也就是说，由于（工作）线程可以随时访问托管状态，并且由于无法保证这些线程何时可能退出，因此托管状态必须至少与整个程序一样长；那是'static。

你可以尝试改变你的foo()to takebar: Bar<'static>而不是一个通用的生命周期，然后从那里开始工作。的要求'static通常不像听起来那么糟糕，因为所有拥有的值（如String::new()）'static只要它们不包含对其他事物的引用。

如果你不能提供 a Bar<'static>，你也许可以使用 aArc而不是普通的引用，所以Bar<'a>变成Bar. 这里的基本原理是Bar保存原子计数的引用而不是引用，因此Bar保证所有成员在存活时Bar都存活。这使得Bar 'static.

作为旁注：当考虑'static某种类型的要求'static并不意味着该值实际上永远存在时，这可能会有所帮助。这只是意味着可以使价值永远存在。在您的情况下，State无法强制其他线程不退出并破坏它们的值。因此State，必须保证它所依据的所有价值观都可以随心所欲地存在State。仅当这些值'static位于线程边界时才适用。

于 2019-05-01T17:02:06.820 回答