Struct RawAttachment 

#[repr(transparent)]
pub struct RawAttachment {
    ptr: NonNull<AttachmentData<Erased>>,
}

A pointer to an AttachmentData that is guaranteed to point to an initialized instance of an AttachmentData<A> for some specific A, though we do not know which actual A it is.

However, the pointer is allowed to transition into a non-initialized state inside the RawAttachment::drop method.

The pointer is guaranteed to have been created using Box::into_raw.

We cannot use a Box<AttachmentData<A>> directly, because that does not allow us to type-erase the A.

Fields

ptr: NonNull<AttachmentData<Erased>>

Pointer to the inner attachment data

Safety

The following safety invariants are guaranteed to be upheld as long as this struct exists:

1. The pointer must have been created from a Box<AttachmentData<A>> for some A using Box::into_raw.
2. The pointer will point to the same AttachmentData<A> for the entire lifetime of this object.
3. The pointee is properly initialized for the entire lifetime of this object, except during the execution of the Drop implementation.

Implementations

impl RawAttachment

pub fn new<A, H>(attachment: A) -> Self

where A: 'static, H: AttachmentHandler<A>,

Creates a new RawAttachment with the specified handler and attachment.

The returned attachment will embed the specified attachment and use the specified handler for all operations.

pub fn as_ref(&self) -> RawAttachmentRef<'_>

Returns a reference to the AttachmentData instance.

Trait Implementations

impl Drop for RawAttachment

fn drop(&mut self)

Executes the destructor for this type.