我正在嘗試獲得一個(gè)隨機(jī)數(shù)生成器。由于OsRng::new()可能會(huì)失敗，因此我不得不退回給thread_rng()我：extern crate rand; // 0.6.5use rand::{rngs::OsRng, thread_rng, RngCore};fn rng() -> impl RngCore { match OsRng::new() { Ok(rng) => rng, Err(e) => thread_rng(), }}但是，我收到此錯(cuò)誤消息，我無(wú)法理解：error[E0308]: match arms have incompatible types --> src/lib.rs:6:5 |6 | / match OsRng::new() {7 | | Ok(rng) => rng,8 | | Err(e) => thread_rng(), | | ------------ match arm with an incompatible type9 | | } | |_____^ expected struct `rand::rngs::OsRng`, found struct `rand::prelude::ThreadRng` | = note: expected type `rand::rngs::OsRng` found type `rand::prelude::ThreadRng`為什么編譯器期望rand::OsRng在這里而不是實(shí)現(xiàn)RngCore？如果刪除match并直接返回thread_rng()，則不會(huì)得到以上錯(cuò)誤消息。我不認(rèn)為這與如何從方法中返回特征的實(shí)例重復(fù)嗎？，因?yàn)榱硪粋€(gè)問(wèn)題是關(guān)于如何從函數(shù)返回特征的問(wèn)題，而這個(gè)問(wèn)題是關(guān)于為什么編譯器不允許我返回特征，但希望我返回OsRng不是函數(shù)返回類(lèi)型的。
2 回答
holdtom
TA貢獻(xiàn)1805條經(jīng)驗(yàn) 獲得超10個(gè)贊
impl Trait不等同于返回接口或基類(lèi)對(duì)象。這是說(shuō)“我不想寫(xiě)我要返回的特定類(lèi)型的名稱(chēng)”的一種方式。您仍在返回單個(gè)特定類(lèi)型的值。您只是沒(méi)有說(shuō)哪種類(lèi)型。
這些分支中的每一個(gè)都返回不同的類(lèi)型，因此出現(xiàn)了問(wèn)題。僅僅實(shí)現(xiàn)相同的特征是不夠的。
在這種特定情況下，您可能需要的是trait對(duì)象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的舊版本，則可能需要?jiǎng)h除dyn關(guān)鍵字。在當(dāng)前（2015）版本的Rust中，它是可選的。
牧羊人nacy
TA貢獻(xiàn)1862條經(jīng)驗(yàn) 獲得超7個(gè)贊
DK。已經(jīng)解釋了為什么，但是我想提供一個(gè)替代的解決方法。
正如提到有條件迭代在幾個(gè)可能的迭代器一個(gè)，您可以創(chuàng)建如果同時(shí)它的組件類(lèi)型做一個(gè)實(shí)現(xiàn)特征的枚舉。例如：
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),
}
}
}
在任一箱提供了很多這些類(lèi)型的基本特征實(shí)現(xiàn)的。
- 2 回答
- 0 關(guān)注
- 659 瀏覽
添加回答
舉報(bào)
0/150
提交
取消