Struct drop_move::DropHandle

pub struct DropHandle<T: DropMoveTypes>(_);

A wrapper of T::Outer that will drop by converting to T then dropping, rather than dropping the T::Outer.

The trouble with making drop be pass by move is that the self parameter may end up being dropped, creating infinite recursion. To avoid this, a DropHandle is passed to drop_move so that if it goes out of scope it will not create infinite recursion. This implements Deref and DerefMut for easy access to functions on T::Outer.

Implementations

impl<T: DropMoveTypes> DropHandle<T>

pub fn into_inner(self_: Self) -> T

Convert to the inner structure T.

This is an associated function so that will not conflict with any methods of T::Outer, which are accessible through Deref.

pub fn into_outer(self_: Self) -> T::Outer

Convert to the outer structure T::Outer. Be careful when using this function, as it is easy to end up recursively calling drop on the output by accident, creating an infinite recursive loop.

This is an associated function so that will not conflict with any methods of T::Outer, which are accessible through Deref.

Trait Implementations

impl<T: Debug + DropMoveTypes> Debug for DropHandle<T> where
    T::Outer: Debug, 

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T: DropMoveTypes> Deref for DropHandle<T>

type Target = T::Outer

The resulting type after dereferencing.

pub fn deref(&self) -> &T::Outer

Dereferences the value.

impl<T: DropMoveTypes> DerefMut for DropHandle<T>

pub fn deref_mut(&mut self) -> &mut T::Outer

Mutably dereferences the value.

impl<T: DropMoveTypes> Drop for DropHandle<T>

pub fn drop(&mut self)

Executes the destructor for this type.

impl<T: DropMoveTypes> From<T> for DropHandle<T>

pub fn from(t: T) -> Self

Performs the conversion.