Question

我正尝试与期货合作，以异步方式查询价值。如果该值存在，我想返回它，如果不存在，我想创建它。

// A network will be created unless one already exists with this name
pub fn build_network(name: &'static str) {
    let docker = Docker::new();

    // Get a list of networks
    let fut = docker
        .networks()
        .list(&Default::default())
        .and_then(move |networks| {
            // Check if a network with the given name exists  
            let network = networks.iter().find(|n| n.name == name);

            match network {
                // Pass on network
                Some(net) => future::ok(net.id),
                // Create a new network
                None => {
                    let docker = Docker::new();
                    docker
                        .networks()
                        .create(&NetworkCreateOptions::builder(name).driver("bridge").build())
                        .map(|new_net| new_net.id)

                }
            }
        })
        .map(move |net| {
            println!("{:#?}", net);
        })
        .map_err(|e| eprintln!("Error: {}", e));

    tokio::run(fut);
}

我的匹配表达式中似乎存在类型不匹配。我正在尝试确保每个分支机构都包含一个未来的造船网络结构，但看起来我不太了解。

error[E0308]: match arms have incompatible types
   --> src/up/mod.rs:168:13
    |
168 | /             match network {
169 | |                 // Pass on network
170 | |                 Some(net) => future::ok(net.id),
171 | |                 // Create a new network
...   |
178 | |                 }
179 | |             }
    | |_____________^ expected struct `futures::FutureResult`, found struct `futures::Map`
    |
    = note: expected type `futures::FutureResult<std::string::String, _>`
               found type `futures::Map<impl futures::Future, [closure@src/up/mod.rs:177:30: 177:50]>`
note: match arm with an incompatible type
   --> src/up/mod.rs:172:25
    |
172 |                   None => {
    |  _________________________^
173 | |                     let docker = Docker::new();
174 | |                     docker
175 | |                         .networks()
176 | |                         .create(&NetworkCreateOptions::builder(name).driver("bridge").build())
177 | |                         .map(|new_net| new_net.id)
178 | |                 }
    | |_________________^

error: aborting due to previous error

Answer 1

您最明显的错误是;分支末尾的None。分号始终舍弃前一个表达式的值，而以分号结尾的块的类型为()（假定末尾可以到达）。

删除;后，您会看到类型仍然不匹配。 Some分支的类型为FutureResult<&NetworkDetails>，而None分支的类型现在为impl Future<Item = NetworkCreateInfo>。我不确定您要在这里做什么，因为即使基本的NetworkDetails和NetworkCreateInfo类型也不兼容。您需要弄清楚所需的类型以及如何在两个分支中获得相同的类型。

编辑更新的问题：好的，您想从两个分支中获取一个String。您有两种都实现Future<Item = String>特征的不同类型，并且您需要两个分支都具有相同的类型。这正是future::Either的目的。只需将一个分支包装在Either::A中，将另一个分支包装在Either::B中。

在那之后，您还会在第一个分支中发现一个琐碎的借用问题：您需要使用net.id.clone()复制字符串。

匹配未来的类型

1 个答案: