PartialEq trait
PartialEq トレイトは、Rustで型同士を比較するための標準的なトレイトです。このトレイトを実装することで、その型のインスタンスを比較できるようになります。
PartialEq を実装している型は == や != といった比較演算子を使えるようになります。以下に詳細を解説します。
---
PartialEq トレイトの概要 PartialEq トレイトは次のように定義されています。rustpub trait PartialEq<Rhs = Self> {
fn eq(&self, other: &Rhs) -> bool;
fn ne(&self, other: &Rhs) -> bool { !self.eq(other) }
}関連型
Rhs Rhs は比較する相手の型を表します。デフォルトでは Self （つまり同じ型同士の比較）になっています。 eq メソッド 2つの値が等しいかどうかを判断します。
== 演算子はこのメソッドを使用しています。 ne メソッド 2つの値が等しくないかどうかを判断します。
!= 演算子はこのメソッドを使用します。デフォルトの実装では !eq を呼び出しています。---
デリファルト実装
PartialEq はRustの多くの標準型でデリファルト実装されています。たとえば次のような型では自動的に利用可能です。プリミティブ型（
i32 , f64 , char , など）標準ライブラリの型（
String , Vec<T> , など）配列とスライス（
[T; N] , [T] ）デリファルトってなんやねん
カスタム型への実装
カスタム型に
PartialEq を実装することで、その型のインスタンス同士を比較できるようになります。例を見てみましょう。手動で実装する例
rust#[derive(Debug)]
struct Point {
x: i32,
y: i32,
}
impl PartialEq for Point {
fn eq(&self, other: &Self) -> bool {
self.x == other.x && self.y == other.y
}
}
fn main() {
let p1 = Point { x: 1, y: 2 };
let p2 = Point { x: 1, y: 2 };
let p3 = Point { x: 3, y: 4 };
println!("{}", p1 == p2); // true
println!("{}", p1 == p3); // false
} #[derive(PartialEq)] を使う手動で実装する代わりに、ほとんどの場合は
#[derive(PartialEq)] を使うことで自動的に実装できます。rust#[derive(PartialEq, Debug)]
struct Point {
x: i32,
y: i32,
}
fn main() {
let p1 = Point { x: 1, y: 2 };
let p2 = Point { x: 1, y: 2 };
let p3 = Point { x: 3, y: 4 };
println!("{}", p1 == p2); // true
println!("{}", p1 == p3); // false
}
この方法では、型のすべてのフィールドが
PartialEq を実装している必要があります。---
部分順序関係での注意
PartialEq という名前の通り、このトレイトは「部分的な等価性（partial equality）」を表します。そのため、次の特徴があります：1. 対称性（Symmetry）
a == b であれば、 b == a も成立します。2. 推移性（Transitivity）
a == b かつ b == c なら、 a == c も成立します。3. 反射性（Reflexivity）
a == a は常に成立します。ただし、浮動小数点型（
f32 , f64 ）では NaN という特例があるため、反射性が破れます。たとえば、 NaN != NaN は true になります。---
Eq traitとの関係
Eq トレイトは PartialEq の拡張で、すべての値が完全な順序関係を持つ場合に使用されます。 Eq を実装するには PartialEq を先に実装する必要があります。rustpub trait Eq: PartialEq<Self> {}多くの型では
#[derive(Eq)] で自動的に実装できます。---
PartialEq の使い所カスタム型のインスタンス同士を比較する必要がある場合。
標準型ではデフォルトの比較ロジックを変更したい場合（たとえばフィールドの一部だけを比較対象にするなど）。
PartialEq はRustの比較演算の基本を支える重要なトレイトであり、特にジェネリックプログラミングで頻繁に使われます。