1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
use core::mem::size_of;
use ext::*;
pub trait MemEq<Rhs: ?Sized = Self> {
#[must_use]
fn mem_eq(&self, other: &Rhs) -> bool;
#[inline]
#[must_use]
fn mem_neq(&self, other: &Rhs) -> bool { !self.mem_eq(other) }
}
#[inline(always)]
fn _mem_eq<T, U>(this: &T, other: &U) -> bool {
size_of::<T>() == size_of::<U>() && unsafe { _memcmp(this, other, 1) == 0 }
}
impl<T, U> MemEq<U> for T {
#[inline]
#[cfg(feature = "specialization")]
default fn mem_eq(&self, other: &U) -> bool { _mem_eq(self, other) }
#[cfg(not(feature = "specialization"))]
fn mem_eq(&self, other: &U) -> bool { _mem_eq(self, other) }
}
impl<T, U> MemEq<[U]> for [T] {
#[inline]
fn mem_eq(&self, other: &[U]) -> bool {
size_of::<T>() == size_of::<U>() && self.len() == other.len() && unsafe {
let x = self.as_ptr();
let y = other.as_ptr();
(x as usize) == (y as usize) || _memcmp(x, y, self.len()) == 0
}
}
}
macro_rules! impl_specialized {
($($t:ty)+) => {
$(#[cfg(feature = "specialization")]
impl MemEq for $t {
#[inline]
fn mem_eq(&self, other: &Self) -> bool { self == other }
})+
}
}
impl_specialized!(u8 u16 u32 u64 usize);
impl_specialized!(i8 i16 i32 i64 isize);
#[cfg(test)]
mod tests {
use super::*;
#[test]
fn equal_bytes() {
let buf = [0u8; 128];
assert!(buf.mem_eq(&buf));
let x = [0u8; 1];
let y = 0u8;
assert!(x.mem_eq(&y));
assert!(buf.mem_neq(&x));
assert!(buf.mem_neq(&y));
}
}