亚洲在线久爱草,狠狠天天香蕉网,天天搞日日干久草,伊人亚洲日本欧美

為了賬號安全,請及時綁定郵箱和手機立即綁定
已解決430363個問題,去搜搜看,總會有你想問的

為什么不能使用impl trait返回多個/條件類型?

為什么不能使用impl trait返回多個/條件類型?

Git
嗶嗶one 2019-10-23 12:40:03
我正在嘗試獲得一個隨機數生成器。由于OsRng::new()可能會失敗,因此我不得不退回給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(),    }}但是,我收到此錯誤消息,我無法理解: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在這里而不是實現RngCore?如果刪除match并直接返回thread_rng(),則不會得到以上錯誤消息。我不認為這與如何從方法中返回特征的實例重復嗎?,因為另一個問題是關于如何從函數返回特征的問題,而這個問題是關于為什么編譯器不允許我返回特征,但希望我返回OsRng不是函數返回類型的。
查看完整描述

2 回答

?
holdtom

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中,它是可選的。


查看完整回答
反對 回復 2019-10-23
?
牧羊人nacy

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),

        }

    }

}

在任一箱提供了很多這些類型的基本特征實現的。


查看完整回答
反對 回復 2019-10-23
  • 2 回答
  • 0 關注
  • 641 瀏覽

添加回答

舉報

0/150
提交
取消
微信客服

購課補貼
聯系客服咨詢優惠詳情

幫助反饋 APP下載

慕課網APP
您的移動學習伙伴

公眾號

掃描二維碼
關注慕課網微信公眾號