[Rust] trait: PartialEq과 Eq

#Rust

PartialEq과 Eq는 비교를 정의하는 기본 trait이다. 연산자 ==, !=에 대응하는 동작을 표현한다고 보면 된다.

Rust의 강박적일 정도의 설계 원칙을 드러내는 부분이다.

PartialEq

PartialEq은 비교에 대한 전반적인 동작을 직접 구현하는 trait이다.

derive로 자동 구현을 시킬 경우에는 모든 필드가 일치할 때만 true를 반환하며, 직접 구현을 할 때는 eq 메서드를 통해 부분적인 비교를 적용시킬 수도 있다.

ne 메서드는 기본 구현이 되어있어서 구현하지 않으면 !eq(...)를 내보낸다.

일반적인 비교를 정의하기 위해서는 PartialEq만으로도 충분하다.

완전 일치 비교가 가능함을 나타내는 PartialEq 종속 트레잇이다.

이 트레잇을 적용시키려면 PartialEq가 구현된 상태에서 빈 impl만 추가해주면 된다.
이렇게 말이다.

이건 이 자체로는 대단히 특수한 기능을 갖고 있거나 하지는 않다.
"의미"를 부여하기 위한 것이다.

Eq 트레잇을 사용하는 대표적인 사용례는 HashMap의 Key 타입이다.

키에 대해서 해시값을 뽑아낼 수 있는 Hash 트레잇과 동등 비교를 보장하는 Eq를 제약한다.

일반적인 타입들은 동등 비교를 구현하는데 문제가 없고, 대부분의 기본 타입들은 전부 Eq를 구현한다.
여기서 예외는 부동소수점 타입들 뿐이다. 사실 부동소수점 저격용이라고 봐도 된다.

예를 들어 f64, f32 같은 부동소수점 타입은 PartialEq은 구현하지만 Eq는 구현하지 않는다.
왜 그럴까?

관계 이론에 따르면 동등 비교라고 한다면 같은 값에 대해서는 동등 비교가 true가 되어야 한다.
하지만 부동소수점 규격에서는 알다시피 같은 값인데도 NaN != NaN가 true인 이상한 비교 결과들이 잘 나온다...

이런게 일관성을 파괴하고 코드를 어지럽힌다고 trait을 2단계로 분리해둔 것이다.

PartialOrd와 Ord 트레잇의 관계도 이와 같다.