Wie man PartialEq für eine Enum implementieren?

Question

Ich habe die folgende Definition:

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

Wie würde ich das Äquivalent von #[derive(PartialEq)] für diese Art bekommen? Ich möchte einen match Ausdruck verwenden, wie:

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

aber dies verursacht einen Fehler cannot move out of borrowed content bei der Erstellung von (*self, *other) weil dies sowohl *self und *other verbraucht, auch wenn ich brauche es nur für das Spiel Ausdruck.

Answer 1

Normalerweise würden Sie nur #[derive(PartialEq)] verwenden, etwa so:

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

Dies wird den Code generieren für Sie das Merkmal zu implementieren.

---

Manchmal möchten Sie das Merkmal direkt implementieren. Dies kann daran liegen, dass die Standardversion entweder zu spezifisch oder zu allgemein ist.

Der Fehler in Ihrem Fall ist, dass Sie Sie die Referenzen übereinstimmen müssen Muster anstatt zu dereferenzieren sie versuchen:

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, 
     } 
    } 
} 

Ich glaube, das liegt daran, dass, wenn Sie ein Tupel erstellen, würden Sie den dereferenzierten bewegen Element in das Tupel, Besitz aufgeben. Wenn Sie eine match *foo haben, müssen Sie die Eigentumsrechte nicht aufgeben.