rust当中返回一个trait的问题记录

过程中遇到的两个问题的记录

首先是trait不能作为泛型来返回

实现trait的类型可以通过这样的形式来返回

fn func(_num: u8, name: String) -> impl Animal {
    Dog { name, age: 11 }
//这边的Dog类型实现了Animal trait
}

同时以下的两种返回形式会报错

fn func1<T>(_num: u8, name: String) -> impl T
where
    T: Animal,
{
    Dog { name, age: 11 }
}

fn func1<T>(_num: u8, name: String) -> T
where
    T: Animal,
{
    Dog { name, age: 11 }
}

上面这两种形式,都是不能识别T,trait不是泛型,它是一个结构,和golang之中对接口的返回不一样,rust似乎不能判断实现trait的具体类型,这可能是出于安全的考虑

其次是trait返回涉及到动态分发的时候需要注意object安全

这次是文章的第二次修改,在文章的第一版本之中,我错误地认为是因为trait当中存在静态方法(一个参数不是&self之类,而是String,这就是一个静态方法,可以直接由PeopleDo调用)导致不能在动态返回一个trait。

实际上则是因为没有实现方法的类型安全,官网上有两条规则,违反则不能实现动态分发

返回值不是 Self
没有泛型类型的参数

下文之中的new方法就是没有实现类型安全。

我们可以用如下的操作去尝试。 

trait PeopleDo {
    fn new(lang: String) -> Self;
    fn say(&self);
}

我们为Man和Women分别实现这个trait,然后写一个函数试图返回这个trait

struct Man {
    lan: String,
}
impl PeopleDo for Man {
    fn say(&self) {
        println!("{}", self.lan)
    }
    fn new(lang: String) -> Self {
        Man { lan: lang }
    }
}
struct Women {
    wlan: String,
}
impl PeopleDo for Women {
    fn say(&self) {
        println!("{}", self.wlan)
    }
    fn new(lang: String) -> Self {
        Women { wlan: lang }
    }
}

下面是根据num返回trait实例的函数

fn func1(num: u8, lang: String) -> Box<dyn PeopleDo> {
    if num > 5 {
        Box::new(Man { lan: lang })
    } else {
        Box::new(Women { wlan: lang })
    }
}

这里会出现这样的报错

the trait `PeopleDo` cannot be made into an object
`PeopleDo` cannot be made into an object

解决的方法就是去除上面不符合上面两条规则的方法。官方教程之中一再强调类型的具体,看来这一部分还有很多可以深挖的部分,真的是难

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值