过程中遇到的两个问题的记录
首先是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
解决的方法就是去除上面不符合上面两条规则的方法。官方教程之中一再强调类型的具体,看来这一部分还有很多可以深挖的部分,真的是难