1use super::{from_raw_parts, memchr};
4use crate::ascii;
5use crate::cmp::{self, BytewiseEq, Ordering};
6use crate::intrinsics::compare_bytes;
7use crate::num::NonZero;
8use crate::ops::ControlFlow;
9
10#[stable(feature = "rust1", since = "1.0.0")]
11#[rustc_const_unstable(feature = "const_cmp", issue = "143800")]
12impl<T, U> const PartialEq<[U]> for [T]
13where
14 T: [const] PartialEq<U>,
15{
16 fn eq(&self, other: &[U]) -> bool {
17 SlicePartialEq::equal(self, other)
18 }
19
20 fn ne(&self, other: &[U]) -> bool {
21 SlicePartialEq::not_equal(self, other)
22 }
23}
24
25#[stable(feature = "rust1", since = "1.0.0")]
26#[rustc_const_unstable(feature = "const_cmp", issue = "143800")]
27impl<T: [const] Eq> const Eq for [T] {}
28
29#[stable(feature = "rust1", since = "1.0.0")]
31impl<T: Ord> Ord for [T] {
32 fn cmp(&self, other: &[T]) -> Ordering {
33 SliceOrd::compare(self, other)
34 }
35}
36
37#[inline]
38const fn as_underlying(x: ControlFlow<bool>) -> u8 {
39 unsafe { crate::mem::transmute(x) }
46}
47
48#[stable(feature = "rust1", since = "1.0.0")]
50impl<T: PartialOrd> PartialOrd for [T] {
51 #[inline]
52 fn partial_cmp(&self, other: &[T]) -> Option<Ordering> {
53 SlicePartialOrd::partial_compare(self, other)
54 }
55 #[inline]
56 fn lt(&self, other: &Self) -> bool {
57 as_underlying(self.__chaining_lt(other)) == 1
66 }
67 #[inline]
68 fn le(&self, other: &Self) -> bool {
69 as_underlying(self.__chaining_le(other)) != 0
70 }
71 #[inline]
72 fn gt(&self, other: &Self) -> bool {
73 as_underlying(self.__chaining_gt(other)) == 1
74 }
75 #[inline]
76 fn ge(&self, other: &Self) -> bool {
77 as_underlying(self.__chaining_ge(other)) != 0
78 }
79 #[inline]
80 fn __chaining_lt(&self, other: &Self) -> ControlFlow<bool> {
81 SliceChain::chaining_lt(self, other)
82 }
83 #[inline]
84 fn __chaining_le(&self, other: &Self) -> ControlFlow<bool> {
85 SliceChain::chaining_le(self, other)
86 }
87 #[inline]
88 fn __chaining_gt(&self, other: &Self) -> ControlFlow<bool> {
89 SliceChain::chaining_gt(self, other)
90 }
91 #[inline]
92 fn __chaining_ge(&self, other: &Self) -> ControlFlow<bool> {
93 SliceChain::chaining_ge(self, other)
94 }
95}
96
97#[doc(hidden)]
98#[rustc_const_unstable(feature = "const_cmp", issue = "143800")]
100const trait SlicePartialEq<B> {
101 fn equal(&self, other: &[B]) -> bool;
102
103 fn not_equal(&self, other: &[B]) -> bool {
104 !self.equal(other)
105 }
106}
107
108#[rustc_const_unstable(feature = "const_cmp", issue = "143800")]
110impl<A, B> const SlicePartialEq<B> for [A]
111where
112 A: [const] PartialEq<B>,
113{
114 default fn equal(&self, other: &[B]) -> bool {
115 if self.len() != other.len() {
116 return false;
117 }
118
119 let mut idx = 0;
124 while idx < self.len() {
125 if self[idx] != other[idx] {
127 return false;
128 }
129 idx += 1;
130 }
131
132 true
133 }
134}
135
136#[rustc_const_unstable(feature = "const_cmp", issue = "143800")]
139impl<A, B> const SlicePartialEq<B> for [A]
140where
141 A: [const] BytewiseEq<B>,
142{
143 fn equal(&self, other: &[B]) -> bool {
144 if self.len() != other.len() {
145 return false;
146 }
147
148 unsafe {
151 let size = size_of_val(self);
152 compare_bytes(self.as_ptr() as *const u8, other.as_ptr() as *const u8, size) == 0
153 }
154 }
155}
156
157#[doc(hidden)]
158#[rustc_const_unstable(feature = "const_cmp", issue = "143800")]
159const trait SlicePartialOrd: Sized {
161 fn partial_compare(left: &[Self], right: &[Self]) -> Option<Ordering>;
162}
163
164#[doc(hidden)]
165#[rustc_const_unstable(feature = "const_cmp", issue = "143800")]
166const trait SliceChain: Sized {
168 fn chaining_lt(left: &[Self], right: &[Self]) -> ControlFlow<bool>;
169 fn chaining_le(left: &[Self], right: &[Self]) -> ControlFlow<bool>;
170 fn chaining_gt(left: &[Self], right: &[Self]) -> ControlFlow<bool>;
171 fn chaining_ge(left: &[Self], right: &[Self]) -> ControlFlow<bool>;
172}
173
174type AlwaysBreak<B> = ControlFlow<B, crate::convert::Infallible>;
175
176impl<A: PartialOrd> SlicePartialOrd for A {
177 default fn partial_compare(left: &[A], right: &[A]) -> Option<Ordering> {
178 let elem_chain = |a, b| match PartialOrd::partial_cmp(a, b) {
179 Some(Ordering::Equal) => ControlFlow::Continue(()),
180 non_eq => ControlFlow::Break(non_eq),
181 };
182 let len_chain = |a: &_, b: &_| ControlFlow::Break(usize::partial_cmp(a, b));
183 let AlwaysBreak::Break(b) = chaining_impl(left, right, elem_chain, len_chain);
184 b
185 }
186}
187
188impl<A: PartialOrd> SliceChain for A {
189 default fn chaining_lt(left: &[Self], right: &[Self]) -> ControlFlow<bool> {
190 chaining_impl(left, right, PartialOrd::__chaining_lt, usize::__chaining_lt)
191 }
192 default fn chaining_le(left: &[Self], right: &[Self]) -> ControlFlow<bool> {
193 chaining_impl(left, right, PartialOrd::__chaining_le, usize::__chaining_le)
194 }
195 default fn chaining_gt(left: &[Self], right: &[Self]) -> ControlFlow<bool> {
196 chaining_impl(left, right, PartialOrd::__chaining_gt, usize::__chaining_gt)
197 }
198 default fn chaining_ge(left: &[Self], right: &[Self]) -> ControlFlow<bool> {
199 chaining_impl(left, right, PartialOrd::__chaining_ge, usize::__chaining_ge)
200 }
201}
202
203#[inline]
204fn chaining_impl<'l, 'r, A: PartialOrd, B, C>(
205 left: &'l [A],
206 right: &'r [A],
207 elem_chain: impl Fn(&'l A, &'r A) -> ControlFlow<B>,
208 len_chain: impl for<'a> FnOnce(&'a usize, &'a usize) -> ControlFlow<B, C>,
209) -> ControlFlow<B, C> {
210 let l = cmp::min(left.len(), right.len());
211
212 let lhs = &left[..l];
215 let rhs = &right[..l];
216
217 for i in 0..l {
218 elem_chain(&lhs[i], &rhs[i])?;
219 }
220
221 len_chain(&left.len(), &right.len())
222}
223
224#[rustc_const_unstable(feature = "const_cmp", issue = "143800")]
238impl<A: [const] AlwaysApplicableOrd> const SlicePartialOrd for A {
239 fn partial_compare(left: &[A], right: &[A]) -> Option<Ordering> {
240 Some(SliceOrd::compare(left, right))
241 }
242}
243
244#[rustc_specialization_trait]
245#[rustc_const_unstable(feature = "const_cmp", issue = "143800")]
246const trait AlwaysApplicableOrd: [const] SliceOrd + [const] Ord {}
247
248macro_rules! always_applicable_ord {
249 ($([$($p:tt)*] $t:ty,)*) => {
250 $(impl<$($p)*> AlwaysApplicableOrd for $t {})*
251 }
252}
253
254always_applicable_ord! {
255 [] u8, [] u16, [] u32, [] u64, [] u128, [] usize,
256 [] i8, [] i16, [] i32, [] i64, [] i128, [] isize,
257 [] bool, [] char,
258 [T: ?Sized] *const T, [T: ?Sized] *mut T,
259 [T: AlwaysApplicableOrd] &T,
260 [T: AlwaysApplicableOrd] &mut T,
261 [T: AlwaysApplicableOrd] Option<T>,
262}
263
264#[doc(hidden)]
265#[rustc_const_unstable(feature = "const_cmp", issue = "143800")]
266const trait SliceOrd: Sized {
268 fn compare(left: &[Self], right: &[Self]) -> Ordering;
269}
270
271impl<A: Ord> SliceOrd for A {
272 default fn compare(left: &[Self], right: &[Self]) -> Ordering {
273 let elem_chain = |a, b| match Ord::cmp(a, b) {
274 Ordering::Equal => ControlFlow::Continue(()),
275 non_eq => ControlFlow::Break(non_eq),
276 };
277 let len_chain = |a: &_, b: &_| ControlFlow::Break(usize::cmp(a, b));
278 let AlwaysBreak::Break(b) = chaining_impl(left, right, elem_chain, len_chain);
279 b
280 }
281}
282
283#[rustc_specialization_trait]
291const unsafe trait UnsignedBytewiseOrd: [const] Ord {}
292
293#[rustc_const_unstable(feature = "const_cmp", issue = "143800")]
294unsafe impl const UnsignedBytewiseOrd for bool {}
295#[rustc_const_unstable(feature = "const_cmp", issue = "143800")]
296unsafe impl const UnsignedBytewiseOrd for u8 {}
297#[rustc_const_unstable(feature = "const_cmp", issue = "143800")]
298unsafe impl const UnsignedBytewiseOrd for NonZero<u8> {}
299#[rustc_const_unstable(feature = "const_cmp", issue = "143800")]
300unsafe impl const UnsignedBytewiseOrd for Option<NonZero<u8>> {}
301#[rustc_const_unstable(feature = "const_cmp", issue = "143800")]
302unsafe impl const UnsignedBytewiseOrd for ascii::Char {}
303
304#[rustc_const_unstable(feature = "const_cmp", issue = "143800")]
307impl<A: [const] Ord + [const] UnsignedBytewiseOrd> const SliceOrd for A {
308 #[inline]
309 fn compare(left: &[Self], right: &[Self]) -> Ordering {
310 let diff = left.len() as isize - right.len() as isize;
313 let len = if left.len() < right.len() { left.len() } else { right.len() };
316 let left = left.as_ptr().cast();
317 let right = right.as_ptr().cast();
318 let mut order = unsafe { compare_bytes(left, right, len) as isize };
324 if order == 0 {
325 order = diff;
326 }
327 order.cmp(&0)
328 }
329}
330
331#[rustc_const_unstable(feature = "const_cmp", issue = "143800")]
334impl<A: [const] PartialOrd + [const] UnsignedBytewiseOrd> const SliceChain for A {
335 #[inline]
336 fn chaining_lt(left: &[Self], right: &[Self]) -> ControlFlow<bool> {
337 match SliceOrd::compare(left, right) {
338 Ordering::Equal => ControlFlow::Continue(()),
339 ne => ControlFlow::Break(ne.is_lt()),
340 }
341 }
342 #[inline]
343 fn chaining_le(left: &[Self], right: &[Self]) -> ControlFlow<bool> {
344 match SliceOrd::compare(left, right) {
345 Ordering::Equal => ControlFlow::Continue(()),
346 ne => ControlFlow::Break(ne.is_le()),
347 }
348 }
349 #[inline]
350 fn chaining_gt(left: &[Self], right: &[Self]) -> ControlFlow<bool> {
351 match SliceOrd::compare(left, right) {
352 Ordering::Equal => ControlFlow::Continue(()),
353 ne => ControlFlow::Break(ne.is_gt()),
354 }
355 }
356 #[inline]
357 fn chaining_ge(left: &[Self], right: &[Self]) -> ControlFlow<bool> {
358 match SliceOrd::compare(left, right) {
359 Ordering::Equal => ControlFlow::Continue(()),
360 ne => ControlFlow::Break(ne.is_ge()),
361 }
362 }
363}
364
365pub(super) trait SliceContains: Sized {
366 fn slice_contains(&self, x: &[Self]) -> bool;
367}
368
369impl<T> SliceContains for T
370where
371 T: PartialEq,
372{
373 default fn slice_contains(&self, x: &[Self]) -> bool {
374 x.iter().any(|y| *y == *self)
375 }
376}
377
378impl SliceContains for u8 {
379 #[inline]
380 fn slice_contains(&self, x: &[Self]) -> bool {
381 memchr::memchr(*self, x).is_some()
382 }
383}
384
385impl SliceContains for i8 {
386 #[inline]
387 fn slice_contains(&self, x: &[Self]) -> bool {
388 let byte = *self as u8;
389 let bytes: &[u8] = unsafe { from_raw_parts(x.as_ptr() as *const u8, x.len()) };
394 memchr::memchr(byte, bytes).is_some()
395 }
396}
397
398macro_rules! impl_slice_contains {
399 ($($t:ty),*) => {
400 $(
401 impl SliceContains for $t {
402 #[inline]
403 fn slice_contains(&self, arr: &[$t]) -> bool {
404 const LANE_COUNT: usize = 4 * (128 / (size_of::<$t>() * 8));
407 let mut chunks = arr.chunks_exact(LANE_COUNT);
409 for chunk in &mut chunks {
410 if chunk.iter().fold(false, |acc, x| acc | (*x == *self)) {
411 return true;
412 }
413 }
414 return chunks.remainder().iter().any(|x| *x == *self);
416 }
417 }
418 )*
419 };
420}
421
422impl_slice_contains!(u16, u32, u64, i16, i32, i64, f32, f64, usize, isize, char);