agb/agb-hashmap/src/node.rs

183 lines
4.8 KiB
Rust
Raw Normal View History

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 {
2023-05-10 07:38:04 +10:00
hash: HashType::default(),
2023-05-10 05:43:23 +10:00
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()
}
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
}
2023-05-10 07:43:06 +10:00
pub(crate) unsafe fn replace_unchecked(&mut self, key: K, value: V) -> (K, V) {
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 05:43:23 +10:00
2023-05-10 07:43:06 +10:00
(old_key.assume_init(), old_value.assume_init())
2023-05-10 05:43:23 +10:00
}
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(),
}
}
}
}