Question

我有以下定义：

enum Either<T, U> {
    Left(T),
    Right(U),
}

我如何获得此类型的#[derive(PartialEq)]等价物？我想使用match表达式，例如：

impl<T: PartialEq, U: PartialEq> PartialEq for Either<T, U> {
    fn eq(&self, other: &Either<T, U>) -> bool {
        use Either::*;
        match (*self, *other) {
            (Left(ref a), Left(ref b)) => a == b,
            (Right(ref a), Right(ref b)) => a == b,
            _ => false,
        }
    }
}

这会消耗*self和*other，即使我只需要match表达式，导致错误：

error[E0507]: cannot move out of borrowed content
 --> src/lib.rs:9:16
  |
9 |         match (*self, *other) {
  |                ^^^^^ cannot move out of borrowed content

error[E0507]: cannot move out of borrowed content
 --> src/lib.rs:9:23
  |
9 |         match (*self, *other) {
  |                       ^^^^^^ cannot move out of borrowed content

Answer 1

通常，您只需使用#[derive(PartialEq)]，就像这样：

#[derive(PartialEq)]
enum Either<T, U> {
    Left(T),
    Right(U),
}

这将生成为您实现特征的代码。 The Rust Programming Language describes the implementation details

有时，您希望直接实现特征。这可能是因为默认版本太具体或过于通用。

您的案例中的错误是您需要模式匹配引用而不是尝试取消引用它们：

impl<T: PartialEq, U: PartialEq> PartialEq for Either<T, U> {
    fn eq(&self, other: &Self) -> bool {
        use Either::*;

        match (self, other) {
            (&Left(ref a), &Left(ref b)) => a == b,
            (&Right(ref a), &Right(ref b)) => a == b,
            _ => false,
        }
    }
}

当你创建一个元组时，你会将解除引用的项目移动到元组中，放弃所有权。当您拥有match *foo时，您不必放弃所有权。

在现代Rust中，你可以用更少的噪声编写相同的东西，因为在模式匹配时会发生更多的隐式引用/解引用：

impl<T: PartialEq, U: PartialEq> PartialEq for Either<T, U> {
    fn eq(&self, other: &Self) -> bool {
        use Either::*;
        match (self, other) {
            (Left(a), Left(b)) => a == b,
            (Right(a), Right(b)) => a == b,
            _ => false,
        }
    }
}

如何为枚举实现PartialEq？

1 个答案: