我有一種方法，根據謂詞的不同，它會返回一個將來或另一個。換句話說，一個if-else表達式返回一個future：extern crate futures; // 0.1.23use futures::{future, Future};fn f() -> impl Future<Item = usize, Error = ()> { if 1 > 0 { future::ok(2).map(|x| x) } else { future::ok(10).and_then(|x| future::ok(x + 2)) }}這不會編譯：error[E0308]: if and else have incompatible types --> src/lib.rs:6:5 |6 | / if 1 > 0 {7 | | future::ok(2).map(|x| x)8 | | } else {9 | | future::ok(10).and_then(|x| future::ok(x + 2))10 | | } | |_____^ expected struct `futures::Map`, found struct `futures::AndThen` | = note: expected type `futures::Map<futures::FutureResult<{integer}, _>, [closure@src/lib.rs:7:27: 7:32]>` found type `futures::AndThen<futures::FutureResult<{integer}, _>, futures::FutureResult<{integer}, _>, [closure@src/lib.rs:9:33: 9:54]>`期貨的創建方式不同，可能包含閉包，因此它們的類型不相等。理想情況下，該解決方案將不使用Boxes，因為我的異步邏輯的其余部分均不使用它們。期貨中的if-else邏輯通常如何完成？
3 回答
溫溫醬
TA貢獻1752條經驗 獲得超4個贊
Either
使用futures::future::Either沒有額外的堆分配：
extern crate futures; // 0.1.23
use futures::{
future::{self, Either},
Future,
};
fn f() -> impl Future<Item = usize, Error = ()> {
if 1 > 0 {
Either::A(future::ok(2).map(|x| x))
} else {
Either::B(future::ok(10).and_then(|x| future::ok(x + 2)))
}
}
但是，這需要固定的堆棧分配。如果A占用1個字節并在99％的時間內發生，但B占用512個字節，則您Either將始終占用512個字節（加上一些字節）。這并不總是勝利。
裝箱特征對象
extern crate futures; // 0.1.23
use futures::{future, Future};
fn f() -> Box<Future<Item = usize, Error = ()>> {
if 1 > 0 {
Box::new(future::ok(2).map(|x| x))
} else {
Box::new(future::ok(10).and_then(|x| future::ok(x + 2)))
}
}
正如Matthieu M.指出的那樣，可以將兩種解決方案結合起來：
我要指出，有相當大的情況下，中間地帶的解決方案B：Either(A, Box<B>)。這樣，您僅需在少數情況下為堆分配付費B
請注意，Either如果您有兩個以上的條件（Either<A, Either<B, C>>; Either<Either<A, B>, Either<C, D>>等），也可以堆疊s ：
fn f(v: i32) -> impl Future<Item = i32, Error = ()> {
use std::cmp::Ordering;
match v.cmp(&0) {
Ordering::Less => Either::A(future::ok(2).map(|x| -x)),
Ordering::Equal => Either::B(Either::A(future::ok(0))),
Ordering::Greater => Either::B(Either::B(future::ok(-2).map(|x| x * x))),
}
}
慕尼黑的夜晚無繁華
TA貢獻1864條經驗 獲得超6個贊
r我試圖說Either<Either<A, B>, C>可以寫成Either<Either<A, B>, Either<C, Empty<_, _>>>。但是現在我不確定是否會更好。兩種類型都同樣嵌套，但這似乎不是優勢。我想我太復雜了
千萬里不及你
TA貢獻1784條經驗 獲得超9個贊
我給出了3個（奇數）和4個（偶數）條件的示例：如果您有2個以上的條件（Either<A, Either<B, C>>; Either<Either<A, B>, Either<C, D>>等）。我不明白你為什么用Empty。
- 3 回答
- 0 關注
- 644 瀏覽
添加回答
舉報
0/150
提交
取消