Trait structural::field::ownership::DropFields

pub unsafe trait DropFields {
    fn pre_move(&mut self);
    unsafe fn drop_fields(&mut self, moved: MovedOutFields);
}

Defines how the type is dropped, after some fields were moved out with the IntoField::move_out_field_ or IntoVariantField::move_out_vfield_ methods.

Safety

Implementors must drop the fields that were not moved out.

To check whether a field with an Into*Field implementation was moved out you must call moved.is_moved_out(), and pass the same FieldBit argument that was used to mark the fields as moved out in its Into*Field implementation. If is_moved_out returns false, then you must drop the field.

Before move method

You can define drop logic similar to Drop::drop with pre_move.

All fields that have accessor impls must still be usable after pre_move is called.

Example

For an example of implementing this trait you can look at:

• for structs: The manual implementation example for IntoField.

• for enums: The manual implementation example for IntoVariantField.

Required methods

fn pre_move(&mut self)

What this type does right before any field is moved.

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

Drops all the fields that were not moved out.

Safety

The passed in MovedOutFields must be the same one that was passed by mutable reference to the move_out_field and/or move_out_vfield methods on self, it must not have been mutated outside those method calls.

Loading content...

Implementations on Foreign Types

impl<T> DropFields for [T; 0]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 1]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 2]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 3]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 4]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 5]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 6]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 7]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 8]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 9]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 10]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 11]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 12]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 13]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 14]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 15]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 16]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 17]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 18]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 19]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 20]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 21]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 22]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 23]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 24]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 25]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 26]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 27]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 28]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 29]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 30]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 31]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for [T; 32]

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for Option<T> where
    Self: PrePostDropFields, 

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved_fields: MovedOutFields)

impl<T, E> DropFields for Result<T, E> where
    Self: PrePostDropFields, 

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved_fields: MovedOutFields)

impl<T> DropFields for Range<T> where
    Self: PrePostDropFields, 

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for RangeFrom<T> where
    Self: PrePostDropFields, 

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for RangeTo<T> where
    Self: PrePostDropFields, 

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T> DropFields for RangeToInclusive<T> where
    Self: PrePostDropFields, 

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T: ?Sized> DropFields for Box<T> where
    T: DropFields, 

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<C0> DropFields for (C0,)

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<C0, C1> DropFields for (C0, C1)

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<C0, C1, C2> DropFields for (C0, C1, C2)

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<C0, C1, C2, C3> DropFields for (C0, C1, C2, C3)

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<C0, C1, C2, C3, C4> DropFields for (C0, C1, C2, C3, C4)

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<C0, C1, C2, C3, C4, C5> DropFields for (C0, C1, C2, C3, C4, C5)

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<C0, C1, C2, C3, C4, C5, C6> DropFields for (C0, C1, C2, C3, C4, C5, C6)

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<C0, C1, C2, C3, C4, C5, C6, C7> DropFields for (C0, C1, C2, C3, C4, C5, C6, C7)

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<C0, C1, C2, C3, C4, C5, C6, C7, C8> DropFields for (C0, C1, C2, C3, C4, C5, C6, C7, C8)

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<C0, C1, C2, C3, C4, C5, C6, C7, C8, C9> DropFields for (C0, C1, C2, C3, C4, C5, C6, C7, C8, C9)

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10> DropFields for (C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10)

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10, C11> DropFields for (C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10, C11)

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

Loading content...

Implementors

impl<T> DropFields for FieldCloner<T>

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, _: MovedOutFields)

impl<T> DropFields for StrucWrapper<T> where
    T: DropFields, 

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

impl<T, V> DropFields for VariantProxy<T, V> where
    T: IsVariant<V> + DropFields,
    V: IsTStr, 

fn pre_move(&mut self)

unsafe fn drop_fields(&mut self, moved: MovedOutFields)

Loading content...