pub trait Eq: PartialEq { }
Expand description
Trait for comparisons corresponding to equivalence relations.
This means, that in addition to a == b
and a != b
being strict inverses,
the relation must be (for all a
, b
and c
):
- reflexive:
a == a
; - symmetric:
a == b
impliesb == a
(required byPartialEq
as well); and - transitive:
a == b
andb == c
impliesa == c
(required byPartialEq
as well).
This property cannot be checked by the compiler, and therefore Eq
implies
PartialEq
, and has no extra methods.
Violating this property is a logic error. The behavior resulting from a logic error is not
specified, but users of the trait must ensure that such logic errors do not result in
undefined behavior. This means that unsafe
code must not rely on the correctness of these
methods.
Implement Eq
in addition to PartialEq
if it’s guaranteed that
PartialEq::eq(a, a)
always returns true
(reflexivity), in addition to
the symmetric and transitive properties already required by PartialEq
.
§Derivable
This trait can be used with #[derive]
. When derive
d, because Eq
has
no extra methods, it is only informing the compiler that this is an
equivalence relation rather than a partial equivalence relation. Note that
the derive
strategy requires all fields are Eq
, which isn’t
always desired.
§How can I implement Eq
?
If you cannot use the derive
strategy, specify that your type implements
Eq
, which has no methods:
enum BookFormat { Paperback, Hardback, Ebook }
struct Book {
isbn: i32,
format: BookFormat,
}
impl PartialEq for Book {
fn eq(&self, other: &Self) -> bool {
self.isbn == other.isbn
}
}
impl Eq for Book {}
RunObject Safety§
Implementors§
impl Eq for AsciiChar
impl Eq for BacktraceStatus
impl Eq for TryReserveErrorKind
impl Eq for Infallible
impl Eq for VarError
impl Eq for std::fmt::Alignment
impl Eq for ErrorKind
impl Eq for SeekFrom
impl Eq for IpAddr
impl Eq for Ipv6MulticastScope
impl Eq for Shutdown
impl Eq for SocketAddr
impl Eq for FpCategory
impl Eq for IntErrorKind
impl Eq for BacktraceStyle
impl Eq for SearchStep
impl Eq for std::sync::atomic::Ordering
impl Eq for RecvTimeoutError
impl Eq for TryRecvError
impl Eq for std::cmp::Ordering
impl Eq for DwarfFileType
impl Eq for Format
impl Eq for SectionId
impl Eq for Vendor
impl Eq for RunTimeEndian
impl Eq for AbbreviationsCacheStrategy
impl Eq for Pointer
impl Eq for gimli::read::Error
impl Eq for ColumnType
impl Eq for ValueType
impl Eq for bool
impl Eq for char
impl Eq for i8
impl Eq for i16
impl Eq for i32
impl Eq for i64
impl Eq for i128
impl Eq for isize
impl Eq for !
impl Eq for str
impl Eq for u8
impl Eq for u16
impl Eq for u32
impl Eq for u64
impl Eq for u128
impl Eq for ()
impl Eq for usize
impl Eq for CpuidResult
impl Eq for AllocError
impl Eq for Layout
impl Eq for LayoutError
impl Eq for TypeId
impl Eq for CharTryFromError
impl Eq for DecodeUtf16Error
impl Eq for ParseCharError
impl Eq for TryFromCharError
impl Eq for UnorderedKeyError
impl Eq for TryReserveError
impl Eq for FromBytesUntilNulError
impl Eq for FromBytesWithNulError
impl Eq for FromVecWithNulError
impl Eq for IntoStringError
impl Eq for NulError
impl Eq for CStr
impl Eq for CString
impl Eq for OsStr
impl Eq for OsString
impl Eq for std::fmt::Error
impl Eq for FileType
impl Eq for Permissions
impl Eq for PhantomPinned
impl Eq for Assume
impl Eq for AddrParseError
impl Eq for Ipv4Addr
impl Eq for Ipv6Addr
impl Eq for SocketAddrV4
impl Eq for SocketAddrV6
impl Eq for ParseFloatError
impl Eq for ParseIntError
impl Eq for TryFromIntError
impl Eq for RangeFull
impl Eq for UCred
impl Eq for InvalidHandleError
impl Eq for NullHandleError
impl Eq for Components<'_>
impl Eq for Path
impl Eq for PathBuf
impl Eq for StripPrefixError
impl Eq for ExitStatus
impl Eq for ExitStatusError
impl Eq for Output
impl Eq for std::ptr::Alignment
impl Eq for ParseBoolError
impl Eq for Utf8Error
impl Eq for FromUtf8Error
impl Eq for String
impl Eq for RecvError
impl Eq for WaitTimeoutResult
impl Eq for AccessError
impl Eq for ThreadId
impl Eq for Duration
impl Eq for Instant
impl Eq for SystemTime
impl Eq for TryFromFloatSecsError
impl Eq for DebugTypeSignature
impl Eq for DwoId
impl Eq for Encoding
impl Eq for LineEncoding
impl Eq for Register
impl Eq for DwAccess
impl Eq for DwAddr
impl Eq for DwAt
impl Eq for DwAte
impl Eq for DwCc
impl Eq for DwCfa
impl Eq for DwChildren
impl Eq for DwDefaulted
impl Eq for DwDs
impl Eq for DwDsc
impl Eq for DwEhPe
impl Eq for DwEnd
impl Eq for DwForm
impl Eq for DwId
impl Eq for DwIdx
impl Eq for DwInl
impl Eq for DwLang
impl Eq for DwLle
impl Eq for DwLnct
impl Eq for DwLne
impl Eq for DwLns
impl Eq for DwMacro
impl Eq for DwOp
impl Eq for DwOrd
impl Eq for DwRle
impl Eq for DwSect
impl Eq for DwSectV2
impl Eq for DwTag
impl Eq for DwUt
impl Eq for DwVirtuality
impl Eq for DwVis
impl Eq for BigEndian
impl Eq for LittleEndian
impl Eq for Abbreviation
impl Eq for AttributeSpecification
impl Eq for ArangeEntry
impl Eq for Augmentation
impl Eq for BaseAddresses
impl Eq for SectionBaseAddresses
impl Eq for UnitIndexSection
impl Eq for FileEntryFormat
impl Eq for LineRow
impl Eq for ReaderOffsetId
impl Eq for gimli::read::rnglists::Range
impl Eq for StoreOnHeap
impl<'a> Eq for Component<'a>
impl<'a> Eq for Prefix<'a>
impl<'a> Eq for Location<'a>
impl<'a> Eq for PrefixComponent<'a>
impl<'a> Eq for Utf8Chunk<'a>
impl<'bases, Section, R> Eq for CieOrFde<'bases, Section, R>
impl<'bases, Section, R> Eq for PartialFrameDescriptionEntry<'bases, Section, R>where
Section: Eq + UnwindSection<R>,
R: Eq + Reader,
<R as Reader>::Offset: Eq,
<Section as UnwindSection<R>>::Offset: Eq,
impl<'input, Endian> Eq for EndianSlice<'input, Endian>
impl<A> Eq for &A
impl<A> Eq for &mut A
impl<B> Eq for Cow<'_, B>
impl<B, C> Eq for ControlFlow<B, C>
impl<Dyn> Eq for DynMetadata<Dyn>where
Dyn: ?Sized,
impl<F> Eq for Fwhere
F: FnPtr,
impl<H> Eq for BuildHasherDefault<H>
impl<Idx> Eq for std::ops::Range<Idx>where
Idx: Eq,
impl<Idx> Eq for RangeFrom<Idx>where
Idx: Eq,
impl<Idx> Eq for RangeInclusive<Idx>where
Idx: Eq,
impl<Idx> Eq for RangeTo<Idx>where
Idx: Eq,
impl<Idx> Eq for RangeToInclusive<Idx>where
Idx: Eq,
impl<K, V, A> Eq for BTreeMap<K, V, A>
impl<K, V, S> Eq for HashMap<K, V, S>
impl<Offset> Eq for UnitType<Offset>where
Offset: Eq + ReaderOffset,
impl<Ptr> Eq for Pin<Ptr>
impl<R> Eq for CallFrameInstruction<R>
impl<R> Eq for CfaRule<R>
impl<R> Eq for RegisterRule<R>
impl<R> Eq for DebugFrame<R>
impl<R> Eq for EhFrame<R>
impl<R> Eq for EhFrameHdr<R>
impl<R> Eq for LocationListEntry<R>
impl<R> Eq for Expression<R>
impl<R> Eq for Attribute<R>
impl<R, A> Eq for UnwindContext<R, A>
impl<R, Offset> Eq for LineInstruction<R, Offset>
impl<R, Offset> Eq for Operation<R, Offset>
impl<R, Offset> Eq for AttributeValue<R, Offset>
impl<R, Offset> Eq for ArangeHeader<R, Offset>
impl<R, Offset> Eq for CommonInformationEntry<R, Offset>
impl<R, Offset> Eq for FrameDescriptionEntry<R, Offset>
impl<R, Offset> Eq for CompleteLineProgram<R, Offset>
impl<R, Offset> Eq for FileEntry<R, Offset>
impl<R, Offset> Eq for IncompleteLineProgram<R, Offset>
impl<R, Offset> Eq for LineProgramHeader<R, Offset>
impl<R, Offset> Eq for UnitHeader<R, Offset>
impl<R, S> Eq for UnwindTableRow<R, S>
impl<T> Eq for Bound<T>where
T: Eq,
impl<T> Eq for Option<T>where
T: Eq,
impl<T> Eq for Poll<T>where
T: Eq,
impl<T> Eq for UnitSectionOffset<T>where
T: Eq,
impl<T> Eq for DieReference<T>where
T: Eq,
impl<T> Eq for *const Twhere
T: ?Sized,
impl<T> Eq for *mut Twhere
T: ?Sized,
impl<T> Eq for [T]where
T: Eq,
impl<T> Eq for (T₁, T₂, …, Tₙ)
This trait is implemented for tuples up to twelve items long.