Trait std::cmp::Ord 1.0.0
[−]
[src]
pub trait Ord: Eq + PartialOrd<Self> {
fn cmp(&self, other: &Self) -> Ordering;
}Trait for types that form a total order.
An order is a total order if it is (for all a, b and c):
- total and antisymmetric: exactly one of
a < b,a == bora > bis true; and - transitive,
a < bandb < cimpliesa < c. The same must hold for both==and>.
Derivable
This trait can be used with #[derive]. When derived, it will produce a lexicographic
ordering based on the top-to-bottom declaration order of the struct's members.
How can I implement Ord?
Ord requires that the type also be PartialOrd and Eq (which requires PartialEq).
Then you must define an implementation for cmp(). You may find it useful to use
cmp() on your type's fields.
Implementations of PartialEq, PartialOrd, and Ord must agree with each other. It's
easy to accidentally make them disagree by deriving some of the traits and manually
implementing others.
Here's an example where you want to sort people by height only, disregarding id
and name:
use std::cmp::Ordering; #[derive(Eq)] struct Person { id: u32, name: String, height: u32, } impl Ord for Person { fn cmp(&self, other: &Person) -> Ordering { self.height.cmp(&other.height) } } impl PartialOrd for Person { fn partial_cmp(&self, other: &Person) -> Option<Ordering> { Some(self.cmp(other)) } } impl PartialEq for Person { fn eq(&self, other: &Person) -> bool { self.height == other.height } }Run
Required Methods
fn cmp(&self, other: &Self) -> Ordering
This method returns an Ordering between self and other.
By convention, self.cmp(&other) returns the ordering matching the expression
self <operator> other if true.
Examples
use std::cmp::Ordering; assert_eq!(5.cmp(&10), Ordering::Less); assert_eq!(10.cmp(&5), Ordering::Greater); assert_eq!(5.cmp(&5), Ordering::Equal);Run
Implementors
impl<T> Ord for Rc<T> where
T: Ord + ?Sized,impl<T> Ord for Box<T> where
T: Ord + ?Sized,impl<T> Ord for Arc<T> where
T: Ord + ?Sized,impl<T> Ord for LinkedList<T> where
T: Ord,impl Ord for Stringimpl<T> Ord for Vec<T> where
T: Ord,impl<A> Ord for VecDeque<A> where
A: Ord,impl<T> Ord for BTreeSet<T> where
T: Ord,impl<K, V> Ord for BTreeMap<K, V> where
K: Ord,
V: Ord,impl<'a, B> Ord for Cow<'a, B> where
B: Ord + ToOwned + ?Sized,impl<A, B> Ord for (A, B) where
A: Ord,
B: Ord,impl<Ret, A, B, C, D, E, F, G, H> Ord for extern "C" fn(A, B, C, D, E, F, G, H) -> Retimpl<Ret, A, B, C> Ord for unsafe extern "C" fn(A, B, C) -> Retimpl<Ret, A> Ord for extern "C" fn(A, ...) -> Retimpl<Ret, A, B, C, D, E, F, G, H, I, J> Ord for unsafe extern "C" fn(A, B, C, D, E, F, G, H, I, J, ...) -> Retimpl<Ret, A, B, C> Ord for fn(A, B, C) -> Retimpl<T> Ord for *const T where
T: ?Sized,impl<Ret, A, B, C, D, E, F, G, H, I, J, K> Ord for unsafe fn(A, B, C, D, E, F, G, H, I, J, K) -> Retimpl<T> Ord for [T; 4] where
T: Ord,impl<T> Ord for [T; 22] where
T: Ord,impl<Ret, A, B, C, D> Ord for unsafe extern "C" fn(A, B, C, D, ...) -> Retimpl<Ret, A, B, C, D, E, F, G> Ord for unsafe fn(A, B, C, D, E, F, G) -> Retimpl<Ret, A, B, C, D, E, F, G, H, I, J, K> Ord for unsafe extern "C" fn(A, B, C, D, E, F, G, H, I, J, K) -> Retimpl<A, B, C, D, E, F> Ord for (A, B, C, D, E, F) where
A: Ord,
B: Ord,
C: Ord,
D: Ord,
E: Ord,
F: Ord,impl<A> Ord for (A,) where
A: Ord,impl<T> Ord for [T; 6] where
T: Ord,impl Ord for strimpl Ord for i32impl<T> Ord for [T; 24] where
T: Ord,impl<Ret, A, B, C, D, E, F, G, H, I, J, K> Ord for fn(A, B, C, D, E, F, G, H, I, J, K) -> Retimpl<Ret> Ord for fn() -> Retimpl Ord for TypeIdimpl<T> Ord for [T; 10] where
T: Ord,impl<T> Ord for Cell<T> where
T: Copy + Ord,impl<Ret, A, B> Ord for unsafe extern "C" fn(A, B, ...) -> Retimpl<Ret, A, B, C> Ord for unsafe extern "C" fn(A, B, C, ...) -> Retimpl<T> Ord for [T; 17] where
T: Ord,impl<Ret, A, B, C, D, E, F, G, H, I, J> Ord for fn(A, B, C, D, E, F, G, H, I, J) -> Retimpl<A, B, C, D, E> Ord for (A, B, C, D, E) where
A: Ord,
B: Ord,
C: Ord,
D: Ord,
E: Ord,impl<Ret, A, B, C, D, E, F, G, H, I> Ord for unsafe extern "C" fn(A, B, C, D, E, F, G, H, I) -> Retimpl<Ret, A> Ord for unsafe fn(A) -> Retimpl<Ret, A, B, C, D, E> Ord for fn(A, B, C, D, E) -> Retimpl<T> Ord for Wrapping<T> where
T: Ord,impl<Ret, A, B, C, D, E, F, G, H, I> Ord for unsafe extern "C" fn(A, B, C, D, E, F, G, H, I, ...) -> Retimpl<Ret, A, B, C, D> Ord for unsafe extern "C" fn(A, B, C, D) -> Retimpl<Ret, A, B, C, D, E, F, G> Ord for unsafe extern "C" fn(A, B, C, D, E, F, G, ...) -> Retimpl Ord for u32impl<Ret, A, B, C, D> Ord for extern "C" fn(A, B, C, D) -> Retimpl<A, B, C, D, E, F, G, H, I, J, K, L> Ord for (A, B, C, D, E, F, G, H, I, J, K, L) where
A: Ord,
B: Ord,
C: Ord,
D: Ord,
E: Ord,
F: Ord,
G: Ord,
H: Ord,
I: Ord,
J: Ord,
K: Ord,
L: Ord,impl<T> Ord for [T; 18] where
T: Ord,impl<Ret, A, B, C, D> Ord for extern "C" fn(A, B, C, D, ...) -> Retimpl<T> Ord for [T; 28] where
T: Ord,impl<Ret, A, B, C, D, E, F> Ord for fn(A, B, C, D, E, F) -> Retimpl<'a, A> Ord for &'a A where
A: Ord + ?Sized,impl<Ret, A, B, C, D, E, F, G, H, I, J, K> Ord for extern "C" fn(A, B, C, D, E, F, G, H, I, J, K, ...) -> Retimpl<T> Ord for [T] where
T: Ord,impl<Ret, A, B, C, D, E> Ord for extern "C" fn(A, B, C, D, E, ...) -> Retimpl<T> Ord for [T; 32] where
T: Ord,impl<T> Ord for PhantomData<T> where
T: ?Sized,impl<Ret, A, B, C, D, E, F, G, H> Ord for extern "C" fn(A, B, C, D, E, F, G, H, ...) -> Retimpl<Ret, A, B, C, D, E, F, G> Ord for extern "C" fn(A, B, C, D, E, F, G) -> Retimpl<Ret, A, B, C, D, E> Ord for extern "C" fn(A, B, C, D, E) -> Retimpl<Ret, A, B> Ord for unsafe fn(A, B) -> Retimpl<Ret, A, B, C, D, E, F, G, H, I, J, K, L> Ord for extern "C" fn(A, B, C, D, E, F, G, H, I, J, K, L) -> Retimpl Ord for i16impl<Ret, A, B, C, D, E, F> Ord for unsafe extern "C" fn(A, B, C, D, E, F) -> Retimpl<Ret, A, B, C, D, E, F, G, H, I> Ord for fn(A, B, C, D, E, F, G, H, I) -> Retimpl Ord for u128impl<Ret, A, B, C, D, E, F, G, H> Ord for fn(A, B, C, D, E, F, G, H) -> Retimpl<T> Ord for [T; 30] where
T: Ord,impl<T> Ord for [T; 14] where
T: Ord,impl Ord for ()impl<Ret, A, B, C, D, E, F, G, H, I> Ord for extern "C" fn(A, B, C, D, E, F, G, H, I) -> Retimpl<Ret, A, B, C, D, E> Ord for unsafe extern "C" fn(A, B, C, D, E) -> Retimpl<Ret, A, B, C, D, E, F, G, H, I, J> Ord for extern "C" fn(A, B, C, D, E, F, G, H, I, J, ...) -> Retimpl<Ret, A, B, C, D, E, F, G, H> Ord for unsafe extern "C" fn(A, B, C, D, E, F, G, H) -> Retimpl<T> Ord for [T; 27] where
T: Ord,impl<T> Ord for [T; 0] where
T: Ord,impl Ord for u16impl<T> Ord for [T; 2] where
T: Ord,impl<T> Ord for [T; 26] where
T: Ord,impl<Ret, A, B, C, D, E, F, G, H, I, J, K> Ord for unsafe extern "C" fn(A, B, C, D, E, F, G, H, I, J, K, ...) -> Retimpl<T> Ord for [T; 11] where
T: Ord,impl<Ret, A, B> Ord for unsafe extern "C" fn(A, B) -> Retimpl Ord for u64impl<Ret, A, B, C, D, E, F, G> Ord for unsafe extern "C" fn(A, B, C, D, E, F, G) -> Retimpl<Ret, A> Ord for unsafe extern "C" fn(A) -> Retimpl<Ret, A, B, C, D, E, F> Ord for unsafe extern "C" fn(A, B, C, D, E, F, ...) -> Retimpl<Ret, A> Ord for extern "C" fn(A) -> Retimpl<Ret, A, B, C, D, E, F, G> Ord for fn(A, B, C, D, E, F, G) -> Retimpl<Ret, A> Ord for unsafe extern "C" fn(A, ...) -> Retimpl<Ret, A, B, C, D, E, F, G, H, I, J> Ord for unsafe fn(A, B, C, D, E, F, G, H, I, J) -> Retimpl<T> Ord for [T; 20] where
T: Ord,impl<Ret, A, B, C, D, E, F> Ord for extern "C" fn(A, B, C, D, E, F) -> Retimpl<Ret, A> Ord for fn(A) -> Retimpl<Ret> Ord for extern "C" fn() -> Retimpl<Ret, A, B> Ord for extern "C" fn(A, B, ...) -> Retimpl<T> Ord for [T; 1] where
T: Ord,impl<Ret, A, B, C, D, E, F> Ord for unsafe fn(A, B, C, D, E, F) -> Retimpl Ord for Orderingimpl<Ret, A, B, C, D, E, F, G, H> Ord for unsafe extern "C" fn(A, B, C, D, E, F, G, H, ...) -> Retimpl<T> Ord for [T; 8] where
T: Ord,impl<A, B, C, D, E, F, G, H, I, J, K> Ord for (A, B, C, D, E, F, G, H, I, J, K) where
A: Ord,
B: Ord,
C: Ord,
D: Ord,
E: Ord,
F: Ord,
G: Ord,
H: Ord,
I: Ord,
J: Ord,
K: Ord,impl<T> Ord for Option<T> where
T: Ord,impl<Ret, A, B, C, D, E, F, G, H, I, J> Ord for unsafe extern "C" fn(A, B, C, D, E, F, G, H, I, J) -> Retimpl<Ret, A, B, C> Ord for extern "C" fn(A, B, C) -> Retimpl Ord for !impl<Ret, A, B, C> Ord for unsafe fn(A, B, C) -> Retimpl<T> Ord for [T; 25] where
T: Ord,impl<A, B, C, D> Ord for (A, B, C, D) where
A: Ord,
B: Ord,
C: Ord,
D: Ord,impl<T> Ord for [T; 31] where
T: Ord,impl<Ret, A, B, C, D> Ord for fn(A, B, C, D) -> Retimpl Ord for i128impl<T, E> Ord for Result<T, E> where
E: Ord,
T: Ord,impl<Ret, A, B, C> Ord for extern "C" fn(A, B, C, ...) -> Retimpl<A, B, C, D, E, F, G, H, I, J> Ord for (A, B, C, D, E, F, G, H, I, J) where
A: Ord,
B: Ord,
C: Ord,
D: Ord,
E: Ord,
F: Ord,
G: Ord,
H: Ord,
I: Ord,
J: Ord,impl<Ret, A, B, C, D, E, F, G, H, I, J, K> Ord for extern "C" fn(A, B, C, D, E, F, G, H, I, J, K) -> Retimpl Ord for boolimpl<Ret, A, B> Ord for extern "C" fn(A, B) -> Retimpl Ord for i8impl<Ret, A, B, C, D, E, F, G, H, I, J, K, L> Ord for unsafe fn(A, B, C, D, E, F, G, H, I, J, K, L) -> Retimpl<Ret> Ord for unsafe fn() -> Retimpl<Ret, A, B, C, D, E, F, G, H, I, J, K, L> Ord for extern "C" fn(A, B, C, D, E, F, G, H, I, J, K, L, ...) -> Retimpl Ord for u8impl<Ret, A, B, C, D, E> Ord for unsafe extern "C" fn(A, B, C, D, E, ...) -> Retimpl Ord for Errorimpl<T> Ord for Reverse<T> where
T: Ord,impl<T> Ord for RefCell<T> where
T: Ord + ?Sized,impl<T> Ord for [T; 9] where
T: Ord,impl Ord for usizeimpl Ord for i64impl<Ret, A, B, C, D, E, F, G, H, I, J, K, L> Ord for fn(A, B, C, D, E, F, G, H, I, J, K, L) -> Retimpl<Ret, A, B> Ord for fn(A, B) -> Retimpl<'a, A> Ord for &'a mut A where
A: Ord + ?Sized,impl<T> Ord for [T; 21] where
T: Ord,impl<Ret, A, B, C, D, E, F, G, H, I> Ord for unsafe fn(A, B, C, D, E, F, G, H, I) -> Retimpl<A, B, C, D, E, F, G, H> Ord for (A, B, C, D, E, F, G, H) where
A: Ord,
B: Ord,
C: Ord,
D: Ord,
E: Ord,
F: Ord,
G: Ord,
H: Ord,impl<Ret, A, B, C, D> Ord for unsafe fn(A, B, C, D) -> Retimpl<Ret, A, B, C, D, E, F, G, H, I, J> Ord for extern "C" fn(A, B, C, D, E, F, G, H, I, J) -> Retimpl<Ret, A, B, C, D, E, F, G, H> Ord for unsafe fn(A, B, C, D, E, F, G, H) -> Retimpl<T> Ord for [T; 15] where
T: Ord,impl<T> Ord for [T; 19] where
T: Ord,impl<T> Ord for [T; 23] where
T: Ord,impl Ord for isizeimpl<Ret, A, B, C, D, E, F, G, H, I, J, K, L> Ord for unsafe extern "C" fn(A, B, C, D, E, F, G, H, I, J, K, L, ...) -> Retimpl<T> Ord for [T; 16] where
T: Ord,impl<A, B, C, D, E, F, G, H, I> Ord for (A, B, C, D, E, F, G, H, I) where
A: Ord,
B: Ord,
C: Ord,
D: Ord,
E: Ord,
F: Ord,
G: Ord,
H: Ord,
I: Ord,impl<Ret, A, B, C, D, E, F, G, H, I, J, K, L> Ord for unsafe extern "C" fn(A, B, C, D, E, F, G, H, I, J, K, L) -> Retimpl<T> Ord for NonZero<T> where
T: Zeroable + Ord,impl<T> Ord for *mut T where
T: ?Sized,impl<Ret, A, B, C, D, E, F> Ord for extern "C" fn(A, B, C, D, E, F, ...) -> Retimpl<T> Ord for [T; 5] where
T: Ord,impl<Ret, A, B, C, D, E, F, G, H, I> Ord for extern "C" fn(A, B, C, D, E, F, G, H, I, ...) -> Retimpl<Ret, A, B, C, D, E, F, G> Ord for extern "C" fn(A, B, C, D, E, F, G, ...) -> Retimpl<T> Ord for [T; 7] where
T: Ord,impl<Ret> Ord for unsafe extern "C" fn() -> Retimpl<A, B, C, D, E, F, G> Ord for (A, B, C, D, E, F, G) where
A: Ord,
B: Ord,
C: Ord,
D: Ord,
E: Ord,
F: Ord,
G: Ord,impl<Ret, A, B, C, D, E> Ord for unsafe fn(A, B, C, D, E) -> Retimpl Ord for charimpl<T> Ord for [T; 13] where
T: Ord,impl<T> Ord for [T; 3] where
T: Ord,impl<T> Ord for [T; 29] where
T: Ord,impl<T> Ord for [T; 12] where
T: Ord,impl<A, B, C> Ord for (A, B, C) where
A: Ord,
B: Ord,
C: Ord,impl Ord for CStringimpl Ord for CStrimpl Ord for OsStringimpl Ord for OsStrimpl Ord for ErrorKindimpl Ord for IpAddrimpl Ord for Ipv4Addrimpl Ord for Ipv6Addrimpl<'a> Ord for Prefix<'a>impl<'a> Ord for PrefixComponent<'a>impl<'a> Ord for Component<'a>impl<'a> Ord for Components<'a>impl Ord for PathBufimpl Ord for Pathimpl Ord for Durationimpl Ord for Instantimpl Ord for SystemTime