pub enum DomainMut<'a, T> where
T: 'a + BitStore, {
Enclave {
head: BitIdx<T::Mem>,
elem: &'a T::Alias,
tail: BitTail<T::Mem>,
},
Region {
head: Option<(BitIdx<T::Mem>, &'a T::Alias)>,
body: &'a mut [T::Mem],
tail: Option<(&'a T::Alias, BitTail<T::Mem>)>,
},
}
Expand description
Granular representation of the memory region containing a
BitSlice
.
BitSlice
regions can be described in terms of edge and center
elements, where the edge elements retain the aliasing status of the
source BitSlice
handle, and the center elements are known to be
completely unaliased by any other view. This property allows any
BitSlice
handle to be decomposed into smaller regions, and safely
remove any aliasing markers from the subregion of memory that no
longer requires them for correct access.
This enum splits the element region backing a BitSlice
into
maybe-aliased and known-unaliased subslices. If you do not need to
work directly with the memory elements, and only need to firmly
specify the aliasing status of a BitSlice
, see the BitDomain
and BitDomainMut
enums.
Lifetimes
'a
: The lifetime of the referent storage region.
Type Parameters
T
: The element type of the sourceBitSlice
handle, including aliasing markers.
Variants
Enclave
Fields
elem: &'a T::Alias
An aliased view of the element containing the BitSlice
.
This is necessary even on immutable views, because other views to the referent element may be permitted to modify it.
Indicates that a BitSlice
is contained entirely in the
interior indices of a single memory element.
Region
Fields
head: Option<(BitIdx<T::Mem>, &'a T::Alias)>
If the BitSlice
started in the interior of its first
element, this contains the starting index and the base
address.
body: &'a mut [T::Mem]
All fully-spanned, unaliased, elements.
This is marked as bare memory without any access protections, because it is statically impossible for any other handle to have write access to the region it covers. As such, a bitslice that was marked as entirely aliased, but contains interior unaliased elements, can safely remove its aliasing protections.
Safety Exception
&BitSlice<O, T::Alias>
references have access to a
.set_aliased
method, which represents the only means in
bitvec
of writing to memory without an exclusive &mut
reference.
Construction of two such shared, aliasing, references over
the same data, then construction of a domain view over one
of them and simultaneous writing through the other to
interior elements marked as unaliased, will cause the domain
view to be undefined behavior. Do not combine domain views
and .set_aliased
calls.
Indicates that a BitSlice
region touches at least one edge
index of any number of elements.
This contains two optional references to the aliased edges, and one reference to the unaliased middle. Each can be queried and used individually.
Implementations
Attempts to view the domain as an enclave variant.
Parameters
self
Returns
If self
is the Enclave
variant, this returns Some
of the
enclave fields, as a tuple. Otherwise, it returns None
.
Attempts to view the domain as the region variant.
Parameters
self
Returns
If self
is the Region
variant, this returns Some
of the
region fields, as a tuple. Otherwise, it returns None
.
Trait Implementations
Auto Trait Implementations
impl<'a, T> RefUnwindSafe for DomainMut<'a, T> where
<T as BitStore>::Alias: RefUnwindSafe,
<T as BitStore>::Mem: RefUnwindSafe,
impl<'a, T> !UnwindSafe for DomainMut<'a, T>
Blanket Implementations
Mutably borrows from an owned value. Read more
Causes self
to use its Binary
implementation when Debug
-formatted.
Causes self
to use its Display
implementation when
Debug
-formatted. Read more
Causes self
to use its LowerExp
implementation when
Debug
-formatted. Read more
Causes self
to use its LowerHex
implementation when
Debug
-formatted. Read more
Causes self
to use its Octal
implementation when Debug
-formatted.
Causes self
to use its Pointer
implementation when
Debug
-formatted. Read more
Causes self
to use its UpperExp
implementation when
Debug
-formatted. Read more
Causes self
to use its UpperHex
implementation when
Debug
-formatted. Read more
fn pipe_as_ref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R where
Self: AsRef<T>,
T: 'a,
R: 'a,
fn pipe_as_ref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R where
Self: AsRef<T>,
T: 'a,
R: 'a,
Pipes a trait borrow into a function that cannot normally be called in suffix position. Read more
fn pipe_borrow<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R where
Self: Borrow<T>,
T: 'a,
R: 'a,
fn pipe_borrow<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R where
Self: Borrow<T>,
T: 'a,
R: 'a,
Pipes a trait borrow into a function that cannot normally be called in suffix position. Read more
fn pipe_deref<'a, R>(&'a self, func: impl FnOnce(&'a Self::Target) -> R) -> R where
Self: Deref,
R: 'a,
fn pipe_deref<'a, R>(&'a self, func: impl FnOnce(&'a Self::Target) -> R) -> R where
Self: Deref,
R: 'a,
Pipes a dereference into a function that cannot normally be called in suffix position. Read more
Pipes a reference into a function that cannot ordinarily be called in suffix position. Read more
Provides immutable access to the reference for inspection.
Calls tap_ref
in debug builds, and does nothing in release builds.
Provides mutable access to the reference for modification.
Calls tap_ref_mut
in debug builds, and does nothing in release builds.
Provides immutable access to the borrow for inspection. Read more
Calls tap_borrow
in debug builds, and does nothing in release builds.
fn tap_borrow_mut<F, R>(self, func: F) -> Self where
Self: BorrowMut<T>,
F: FnOnce(&mut T) -> R,
fn tap_borrow_mut<F, R>(self, func: F) -> Self where
Self: BorrowMut<T>,
F: FnOnce(&mut T) -> R,
Provides mutable access to the borrow for modification.
Immutably dereferences self
for inspection.
fn tap_deref_dbg<F, R>(self, func: F) -> Self where
Self: Deref,
F: FnOnce(&Self::Target) -> R,
fn tap_deref_dbg<F, R>(self, func: F) -> Self where
Self: Deref,
F: FnOnce(&Self::Target) -> R,
Calls tap_deref
in debug builds, and does nothing in release builds.
fn tap_deref_mut<F, R>(self, func: F) -> Self where
Self: DerefMut,
F: FnOnce(&mut Self::Target) -> R,
fn tap_deref_mut<F, R>(self, func: F) -> Self where
Self: DerefMut,
F: FnOnce(&mut Self::Target) -> R,
Mutably dereferences self
for modification.