3

我是 rust 和 tokio async 的新手，我正在尝试编译以下看似简单的代码：

async fn network_handler(network_config: &config::NetworkConfig) -> Result<(), Error> {
    Ok(())
}

pub async fn run(network_config: &config::NetworkConfig) -> Result<(), Error> {
    let network_config_copy = network_config.clone();
    tokio::spawn(async move {
        network_handler(&network_config_copy).await
    }).await?
}

但是编译器抱怨：

error: cannot infer an appropriate lifetime
  --> src/network.rs:43:18
   |
43 | pub async fn run(network_config: &config::NetworkConfig) -> Result<(), Error> {
   |                  ^^^^^^^^^^^^^^ ...but this borrow...
44 |     let network_config_copy = network_config.clone();
45 |     tokio::spawn(async move {
   |     ------------ this return type evaluates to the `'static` lifetime...
   |
note: ...can't outlive the lifetime `'_` as defined on the function body at 43:34
  --> src/network.rs:43:34
   |
43 | pub async fn run(network_config: &config::NetworkConfig) -> Result<(), Error> {
   |                                  ^
help: you can add a constraint to the return type to make it last less than `'static` and match the lifetime `'_` as defined on the function body at 43:34
   |
45 |     tokio::spawn + '_(async move {
   |     ^^^^^^^^^^^^^^^^^

从我在该主题上找到的先前讨论和示例中，我了解到将对 network_config 的引用传递给 spawn-ed 闭包会导致生命周期问题，因为单独的线程可能会超过 network_config。这就是为什么我将 network_config 的克隆移动到生成的线程，但似乎仍然存在终生歧义。

是否有任何额外的提示我可以给编译器以便它正确地获得生命周期？还是我做错了整件事？

注意：NetworkConfig 类定义为：

#[derive(Debug, Deserialize)]
pub struct NetworkConfig {
    pub bind: String,
    pub node_key_file: String,
}
4

1 回答 1

4

如果要克隆NetworkConfig值，请为其声明Clone特征：

#[derive(Debug, Clone)]
pub struct NetworkConfig {
    pub bind: String,
    pub node_key_file: String,
}

否则，对于接收器方法查找的规则，您最终将Clone通过以下Clone实现者在引用上调用 a ：

impl<'_, T> Clone for &'_ T

并且克隆的引用将具有绑定到clone()调用范围的生命周期。

使用derive(Clone)该run函数进行编译，但它仅在network_config参数具有'static 生命周期时才有效，因为tokio::spawn生命周期要求。

可能这不是你想要的。如果是这种情况NetworkConfig，按值传递并最终在调用者上下文中克隆它。

use async_std::io::Error;
use tokio;

mod config {

    #[derive(Debug, Clone)]
    pub struct NetworkConfig {
        pub bind: String,
        pub node_key_file: String,
    }
}

async fn network_handler(network_config: &config::NetworkConfig) -> Result<(), Error> {
    println!("using {:?}", network_config);
    Ok(())
}

pub async fn run(network_config: config::NetworkConfig) -> Result<(), Error> {
    tokio::spawn(async move { network_handler(&network_config).await }).await?
}

#[tokio::main]
async fn main() {
    let config = config::NetworkConfig {
        bind: "my_bind".to_owned(),
        node_key_file: "abc".to_owned(),
    };

    tokio::spawn(run(config.clone()));
}

您可能会问为什么这有效，实际上仍然将引用传递给network_handler().

这是因为network_config在 spawn 异步块内移动，这使得异步块的推断类型获得静态生命周期。

于 2020-03-15T13:49:23.853 回答