我有一個(gè)方法，根據(jù)謂詞的不同，它會(huì)返回一個(gè)將來(lái)或另一個(gè)。換句話說(shuō)，一個(gè)if-else表達(dá)式返回一個(gè)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)) }}這不會(huì)編譯：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]>`期貨的創(chuàng)建方式不同，可能包含閉包，因此它們的類型不相等。理想情況下，該解決方案不使用Boxes，因?yàn)槲业漠惒竭壿嫷钠溆嗖糠侄疾皇褂盟鼈?。期貨中的if-else邏輯通常如何完成？
1 回答
藍(lán)山帝景
TA貢獻(xiàn)1843條經(jīng)驗(yàn) 獲得超7個(gè)贊
Either
使用futures::future::Either沒(méi)有額外的堆分配：
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個(gè)字節(jié)并在99％的時(shí)間內(nèi)發(fā)生，但B占用512個(gè)字節(jié)，則您Either將始終占用512個(gè)字節(jié)（加上一些字節(jié)）。這并不總是勝利。
裝箱特征對(duì)象
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.指出的那樣，可以將兩種解決方案結(jié)合起來(lái)：
我會(huì)注意到對(duì)于大的情況有一個(gè)中間的解決方案B：Either(A, Box<B>)。這樣，您僅需在極少數(shù)情況下為堆分配付費(fèi)B
請(qǐng)注意，Either如果您有兩個(gè)以上的條件（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))),
}
}
- 1 回答
- 0 關(guān)注
- 434 瀏覽
添加回答
舉報(bào)
0/150
提交
取消