use super::{Pointer, Tag}; use crate::stable_hasher::{HashStable, StableHasher}; use std::fmt; use super::CopyTaggedPtr; /// A TaggedPtr implementing `Drop`. /// /// If `COMPARE_PACKED` is true, then the pointers will be compared and hashed without /// unpacking. Otherwise we don't implement PartialEq/Eq/Hash; if you want that, /// wrap the TaggedPtr. pub struct TaggedPtr
where P: Pointer, T: Tag, { raw: CopyTaggedPtr
, } impl
Clone for TaggedPtr
where P: Pointer + Clone, T: Tag, { fn clone(&self) -> Self { unsafe { Self::new(P::with_ref(self.raw.pointer_raw(), |p| p.clone()), self.raw.tag()) } } } // We pack the tag into the *upper* bits of the pointer to ease retrieval of the // value; a right shift is a multiplication and those are embeddable in // instruction encoding. impl
TaggedPtr
where P: Pointer, T: Tag, { pub fn new(pointer: P, tag: T) -> Self { TaggedPtr { raw: CopyTaggedPtr::new(pointer, tag) } } pub fn pointer_ref(&self) -> &P::Target { self.raw.pointer_ref() } pub fn tag(&self) -> T { self.raw.tag() } } impl
std::ops::Deref for TaggedPtr
where P: Pointer, T: Tag, { type Target = P::Target; fn deref(&self) -> &Self::Target { self.raw.pointer_ref() } } impl
std::ops::DerefMut for TaggedPtr
where P: Pointer + std::ops::DerefMut, T: Tag, { fn deref_mut(&mut self) -> &mut Self::Target { self.raw.pointer_mut() } } impl
Drop for TaggedPtr
where P: Pointer, T: Tag, { fn drop(&mut self) { // No need to drop the tag, as it's Copy unsafe { drop(P::from_usize(self.raw.pointer_raw())); } } } impl
fmt::Debug for TaggedPtr
where P: Pointer, P::Target: fmt::Debug, T: Tag + fmt::Debug, { fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result { f.debug_struct("TaggedPtr") .field("pointer", &self.pointer_ref()) .field("tag", &self.tag()) .finish() } } impl
PartialEq for TaggedPtr
where P: Pointer, T: Tag, { fn eq(&self, other: &Self) -> bool { self.raw.eq(&other.raw) } } impl
Eq for TaggedPtr
where P: Pointer, T: Tag, { } impl
std::hash::Hash for TaggedPtr
where
P: Pointer,
T: Tag,
{
fn hash HashStable
where
P: Pointer + HashStable