我正在尝试编写一个派生的PartialEq
枚举,其中包含一个手动执行的trait对象。我使用解决方案here来强制Trait
的实现者编写一个相等方法。无法编译:
trait Trait {
fn partial_eq(&self, rhs: &Box<Trait>) -> bool;
}
impl PartialEq for Box<Trait> {
fn eq(&self, rhs: &Box<Trait>) -> bool {
self.partial_eq(rhs)
}
}
#[derive(PartialEq)]
enum Enum {
Trait(Box<Trait>),
}
error[E0507]: cannot move out of borrowed content
--> src/main.rs:13:11
|
13 | Trait(Box<Trait>),
| ^^^^^^^^^^^ cannot move out of borrowed content
仅当我手动
impl PartialEq for Enum
时才编译。为什么会这样呢? 最佳答案
扩展自动派生的PartialEq
的实现会带来更好的错误消息:
impl ::std::cmp::PartialEq for Enum {
#[inline]
fn eq(&self, __arg_0: &Enum) -> bool {
match (&*self, &*__arg_0) {
(&Enum::Trait(ref __self_0), &Enum::Trait(ref __arg_1_0)) => {
true && (*__self_0) == (*__arg_1_0)
}
}
}
#[inline]
fn ne(&self, __arg_0: &Enum) -> bool {
match (&*self, &*__arg_0) {
(&Enum::Trait(ref __self_0), &Enum::Trait(ref __arg_1_0)) => {
false || (*__self_0) != (*__arg_1_0)
}
}
}
}
error[E0507]: cannot move out of borrowed content
--> src/main.rs:21:40
|
21 | true && (*__self_0) == (*__arg_1_0)
| ^^^^^^^^^^^^ cannot move out of borrowed content
error[E0507]: cannot move out of borrowed content
--> src/main.rs:29:41
|
29 | false || (*__self_0) != (*__arg_1_0)
| ^^^^^^^^^^^^ cannot move out of borrowed content
作为Rust问题31740和39128进行跟踪。
您可能还需要自己为此类型实现
PartialEq
。