首页 > 解决方案 > 将非静态生命周期传递给 Rocket 的管理

问题描述

如何将具有非静态生命周期的对象传递给 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,因此会发生变化,并且不完全是最新的,但希望为最终目标提供一个想法。

标签: rustrust-rocket

解决方案


您不能使用非静态生命周期,因为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位于线程边界时才适用。


推荐阅读