2023-05-10 05:43:23 +10:00
|
|
|
use core::{
|
|
|
|
mem::{self, MaybeUninit},
|
|
|
|
ptr,
|
|
|
|
};
|
|
|
|
|
|
|
|
use crate::HashType;
|
|
|
|
|
|
|
|
pub(crate) struct Node<K, V> {
|
|
|
|
hash: HashType,
|
|
|
|
|
|
|
|
// distance_to_initial_bucket = -1 => key and value are uninit.
|
|
|
|
// distance_to_initial_bucket >= 0 => key and value are init
|
|
|
|
distance_to_initial_bucket: i32,
|
|
|
|
key: MaybeUninit<K>,
|
|
|
|
value: MaybeUninit<V>,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<K, V> Node<K, V> {
|
|
|
|
fn new() -> Self {
|
|
|
|
Self {
|
|
|
|
hash: 0,
|
|
|
|
distance_to_initial_bucket: -1,
|
|
|
|
key: MaybeUninit::uninit(),
|
|
|
|
value: MaybeUninit::uninit(),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub(crate) fn new_with(key: K, value: V, hash: HashType) -> Self {
|
|
|
|
Self {
|
|
|
|
hash,
|
|
|
|
distance_to_initial_bucket: 0,
|
|
|
|
key: MaybeUninit::new(key),
|
|
|
|
value: MaybeUninit::new(value),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-05-10 06:33:20 +10:00
|
|
|
pub(crate) unsafe fn value_ref_unchecked(&self) -> &V {
|
|
|
|
self.value.assume_init_ref()
|
|
|
|
}
|
|
|
|
|
2023-05-10 05:43:23 +10:00
|
|
|
pub(crate) fn value_mut(&mut self) -> Option<&mut V> {
|
|
|
|
if self.has_value() {
|
2023-05-10 06:55:14 +10:00
|
|
|
Some(
|
|
|
|
// SAFETY: has a value
|
|
|
|
unsafe { self.value_mut_unchecked() },
|
|
|
|
)
|
2023-05-10 05:43:23 +10:00
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-05-10 06:33:20 +10:00
|
|
|
pub(crate) unsafe fn value_mut_unchecked(&mut self) -> &mut V {
|
|
|
|
self.value.assume_init_mut()
|
|
|
|
}
|
|
|
|
|
2023-05-10 05:43:23 +10:00
|
|
|
pub(crate) fn key_ref(&self) -> Option<&K> {
|
|
|
|
if self.distance_to_initial_bucket >= 0 {
|
2023-05-10 06:55:14 +10:00
|
|
|
Some(
|
|
|
|
// SAFETY: has a value
|
|
|
|
unsafe { self.key.assume_init_ref() },
|
|
|
|
)
|
2023-05-10 05:43:23 +10:00
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-05-10 06:44:14 +10:00
|
|
|
pub(crate) fn key_value_ref(&self) -> Option<(&K, &V)> {
|
|
|
|
if self.has_value() {
|
2023-05-10 06:55:14 +10:00
|
|
|
Some(
|
|
|
|
// SAFETY: has a value
|
|
|
|
unsafe { self.key_value_ref_unchecked() },
|
|
|
|
)
|
2023-05-10 06:44:14 +10:00
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-05-10 06:37:20 +10:00
|
|
|
pub(crate) unsafe fn key_value_ref_unchecked(&self) -> (&K, &V) {
|
|
|
|
(self.key.assume_init_ref(), self.value.assume_init_ref())
|
2023-05-10 05:43:23 +10:00
|
|
|
}
|
|
|
|
|
|
|
|
pub(crate) fn key_value_mut(&mut self) -> Option<(&K, &mut V)> {
|
|
|
|
if self.has_value() {
|
2023-05-10 06:55:14 +10:00
|
|
|
Some(
|
|
|
|
// SAFETY: has a value
|
|
|
|
unsafe { (self.key.assume_init_ref(), self.value.assume_init_mut()) },
|
|
|
|
)
|
2023-05-10 05:43:23 +10:00
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub(crate) fn has_value(&self) -> bool {
|
|
|
|
self.distance_to_initial_bucket >= 0
|
|
|
|
}
|
|
|
|
|
|
|
|
pub(crate) fn take_key_value(&mut self) -> Option<(K, V, HashType)> {
|
|
|
|
if self.has_value() {
|
|
|
|
let key = mem::replace(&mut self.key, MaybeUninit::uninit());
|
|
|
|
let value = mem::replace(&mut self.value, MaybeUninit::uninit());
|
|
|
|
self.distance_to_initial_bucket = -1;
|
|
|
|
|
2023-05-10 06:55:14 +10:00
|
|
|
Some(
|
|
|
|
// SAFETY: has a value
|
|
|
|
unsafe { (key.assume_init(), value.assume_init(), self.hash) },
|
|
|
|
)
|
2023-05-10 05:43:23 +10:00
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-05-10 06:33:20 +10:00
|
|
|
pub(crate) unsafe fn replace_value_unchecked(&mut self, value: V) -> V {
|
|
|
|
let old_value = mem::replace(&mut self.value, MaybeUninit::new(value));
|
|
|
|
old_value.assume_init()
|
2023-05-10 05:43:23 +10:00
|
|
|
}
|
|
|
|
|
|
|
|
pub(crate) fn replace(&mut self, key: K, value: V) -> (K, V) {
|
|
|
|
if self.has_value() {
|
|
|
|
let old_key = mem::replace(&mut self.key, MaybeUninit::new(key));
|
|
|
|
let old_value = mem::replace(&mut self.value, MaybeUninit::new(value));
|
|
|
|
|
2023-05-10 06:55:14 +10:00
|
|
|
// SAFETY: has a value
|
2023-05-10 05:43:23 +10:00
|
|
|
unsafe { (old_key.assume_init(), old_value.assume_init()) }
|
|
|
|
} else {
|
|
|
|
panic!("Cannot replace an uninitialised node");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub(crate) fn increment_distance(&mut self) {
|
|
|
|
self.distance_to_initial_bucket += 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
pub(crate) fn decrement_distance(&mut self) {
|
|
|
|
self.distance_to_initial_bucket -= 1;
|
2023-05-10 07:10:53 +10:00
|
|
|
|
|
|
|
assert!(
|
|
|
|
self.distance_to_initial_bucket >= 0,
|
|
|
|
"Cannot decrement distance below 0"
|
|
|
|
);
|
2023-05-10 05:43:23 +10:00
|
|
|
}
|
|
|
|
|
|
|
|
pub(crate) fn distance(&self) -> i32 {
|
|
|
|
self.distance_to_initial_bucket
|
|
|
|
}
|
|
|
|
|
|
|
|
pub(crate) fn hash(&self) -> HashType {
|
|
|
|
self.hash
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<K, V> Drop for Node<K, V> {
|
|
|
|
fn drop(&mut self) {
|
|
|
|
if self.has_value() {
|
2023-05-10 06:55:14 +10:00
|
|
|
// SAFETY: has a value
|
|
|
|
unsafe {
|
|
|
|
ptr::drop_in_place(self.key.as_mut_ptr());
|
|
|
|
ptr::drop_in_place(self.value.as_mut_ptr());
|
|
|
|
}
|
2023-05-10 05:43:23 +10:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<K, V> Default for Node<K, V> {
|
|
|
|
fn default() -> Self {
|
|
|
|
Self::new()
|
|
|
|
}
|
|
|
|
}
|
2023-05-10 06:05:00 +10:00
|
|
|
|
|
|
|
impl<K, V> Clone for Node<K, V>
|
|
|
|
where
|
|
|
|
K: Clone,
|
|
|
|
V: Clone,
|
|
|
|
{
|
|
|
|
fn clone(&self) -> Self {
|
|
|
|
if self.has_value() {
|
|
|
|
Self {
|
|
|
|
hash: self.hash,
|
|
|
|
distance_to_initial_bucket: self.distance_to_initial_bucket,
|
2023-05-10 06:55:14 +10:00
|
|
|
key: MaybeUninit::new(
|
|
|
|
// SAFETY: has a value
|
|
|
|
unsafe { self.key.assume_init_ref() }.clone(),
|
|
|
|
),
|
|
|
|
value: MaybeUninit::new(
|
|
|
|
// SAFETY: has a value
|
|
|
|
unsafe { self.value.assume_init_ref() }.clone(),
|
|
|
|
),
|
2023-05-10 06:05:00 +10:00
|
|
|
}
|
|
|
|
} else {
|
|
|
|
Self {
|
|
|
|
hash: self.hash,
|
|
|
|
|
|
|
|
distance_to_initial_bucket: self.distance_to_initial_bucket,
|
|
|
|
key: MaybeUninit::uninit(),
|
|
|
|
value: MaybeUninit::uninit(),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|