匹配未来类型

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()复制字符串。