[英]How do I have a trait field in a struct?
我有一些代码想变成一个板条箱。 但它包含一个结构,其中包含我希望由 crate 用户提供的字段。 但是我需要该领域的功能,所以我想将它指定为一个特征。
pub trait RoleTrait {
fn owner<T: RoleTrait>() -> T;
fn order<T: RoleTrait>(&self) -> usize;
}
pub struct RequestInfo<Role: RoleTrait + PartialEq> {
role: Option<Role>,
name: String,
}
impl<Role: RoleTrait> RequestInfo<Role>
where
Role: std::cmp::PartialEq,
{
fn name(&self) -> String {
self.name.to_string()
}
fn role(&self) -> &Option<Role> {
&self.role
}
fn is_owner(&self) -> bool {
if let Some(role) = self.role {
role == Role::owner()
} else {
false
}
}
fn order(&self) -> usize {
if let Some(role) = self.role {
role.order() + 1
} else {
0
}
}
fn from(name: String) -> RequestInfo<Role> {
RequestInfo::<Role> {
role: None,
name: name,
}
}
fn with_role(name: String, role: Role) -> RequestInfo<Role> {
RequestInfo::<Role> {
role: Some(role),
name: name,
}
}
}
使用RoleTrait
两个实现:
#[derive(PartialEq)]
pub enum CourseRole {
Professor,
Marker,
Student,
}
impl RoleTrait for CourseRole {
fn owner<T: RoleTrait>() -> T {
CourseRole::Professor
}
fn order<T: RoleTrait>(&self) -> usize {
if *self == CourseRole::Professor {
0
} else {
1
}
}
}
#[derive(PartialEq)]
pub enum BlogRole {
Owner,
Blogger,
}
impl RoleTrait for BlogRole {
fn owner<T: RoleTrait>() -> T {
BlogRole::Owner
}
fn order<T: RoleTrait>(&self) -> usize {
if *self == BlogRole::Owner {
0
} else {
1
}
}
}
我收到 3 个错误。
error[E0282]: type annotations needed
--> src/main.rs:28:18
|
28 | role.order() + 1
| ^^^^^ cannot infer type for `T`
error[E0308]: mismatched types
--> src/main.rs:55:9
|
54 | fn owner<T: RoleTrait>() -> T {
| - expected `T` because of return type
55 | CourseRole::Professor
| ^^^^^^^^^^^^^^^^^^^^^ expected type parameter, found enum `CourseRole`
|
= note: expected type `T`
found type `CourseRole`
error[E0308]: mismatched types
--> src/main.rs:72:9
|
71 | fn owner<T: RoleTrait>() -> T {
| - expected `T` because of return type
72 | BlogRole::Owner
| ^^^^^^^^^^^^^^^ expected type parameter, found enum `BlogRole`
|
= note: expected type `T`
found type `BlogRole`
(并且为另一个枚举重复了第二个错误)
坦率地说,我很惊讶(也很高兴!)我的一些代码是有效的(比如特征中对owner
的引用)。 当我开始写这个问题时,我遇到了更多的错误,但我无法弄清楚剩下的那些,因为T
看起来很清楚,而rustc
似乎已经想出了更难的事情。 在最后 2 个错误中,它几乎没有意识到枚举有 trait 的实现,因为它正在定义该实现的中间(但它显然在其他地方理解这一点)。
这种特性让人感觉有点“不舒服”:
pub trait RoleTrait {
fn owner<T: RoleTrait>() -> T;
fn order<T: RoleTrait>(&self) -> usize;
}
owner
方法没有接收器(例如self
),因此似乎没有必要引入新的类型参数; Self
也会做同样的事情。
在order
中,具有一个单独的T
是不完全一样的东西作为只使用Self
-它允许T
和Self
是一个完全不同的实现RoleTrait
。 但这感觉是一个非常奇怪和不寻常的要求,特别是因为T
没有出现在方法签名中。
通过遵循更典型的模式,您的代码可以很简单地修复:
pub trait RoleTrait {
fn owner() -> Self;
fn order(&self) -> usize;
}
这个小的改变导致所有类型错误都得到解决,只留下几个小的借用错误( playground ),可以很容易地解决( playground )。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.