2 回答

TA貢獻1805條經驗 獲得超10個贊
impl Trait不等同于返回接口或基類對象。這是說“我不想寫我要返回的特定類型的名稱”的一種方式。您仍在返回單個特定類型的值。您只是沒有說哪種類型。
這些分支中的每一個都返回不同的類型,因此出現了問題。僅僅實現相同的特征是不夠的。
在這種特定情況下,您可能需要的是trait對象Box<dyn RngCore>。
extern crate rand; // 0.6.5
use rand::{rngs::OsRng, thread_rng, RngCore};
fn rng() -> Box<dyn RngCore> {
match OsRng::new() {
Ok(rng) => Box::new(rng),
Err(_) => Box::new(thread_rng()),
}
}
注意:如果您使用的是Rust的舊版本,則可能需要刪除dyn關鍵字。在當前(2015)版本的Rust中,它是可選的。

TA貢獻1862條經驗 獲得超7個贊
DK。已經解釋了為什么,但是我想提供一個替代的解決方法。
正如提到有條件迭代在幾個可能的迭代器一個,您可以創建如果同時它的組件類型做一個實現特征的枚舉。例如:
extern crate rand; // 0.6.5
use rand::{rngs::OsRng, thread_rng, RngCore};
fn rng() -> impl RngCore {
match OsRng::new() {
Ok(rng) => EitherRng::Left(rng),
Err(_) => EitherRng::Right(thread_rng()),
}
}
enum EitherRng<L, R> {
Left(L),
Right(R),
}
impl<L, R> RngCore for EitherRng<L, R>
where
L: RngCore,
R: RngCore,
{
fn next_u32(&mut self) -> u32 {
match self {
EitherRng::Left(l) => l.next_u32(),
EitherRng::Right(r) => r.next_u32(),
}
}
fn next_u64(&mut self) -> u64 {
match self {
EitherRng::Left(l) => l.next_u64(),
EitherRng::Right(r) => r.next_u64(),
}
}
fn fill_bytes(&mut self, b: &mut [u8]) {
match self {
EitherRng::Left(l) => l.fill_bytes(b),
EitherRng::Right(r) => r.fill_bytes(b),
}
}
fn try_fill_bytes(&mut self, b: &mut [u8]) -> Result<(), rand::Error> {
match self {
EitherRng::Left(l) => l.try_fill_bytes(b),
EitherRng::Right(r) => r.try_fill_bytes(b),
}
}
}
在任一箱提供了很多這些類型的基本特征實現的。
- 2 回答
- 0 關注
- 641 瀏覽
添加回答
舉報