Macro futures_util::unsafe_pinned [−][src]
macro_rules! unsafe_pinned { ($f:tt: $t:ty) => { ... }; }
A pinned projection of a struct field.
To make using this macro safe, two things need to be ensured:
- If the struct implements
Drop
, thedrop
method is not allowed to move the value of the field. - If the struct wants to implement
Unpin
, it has to do so conditionally: The struct can only implementUnpin
if the field's type isUnpin
.
struct Foo<T> { field: T, } impl<T> Foo<T> { unsafe_pinned!(field: T); fn baz(mut self: PinMut<Self>) { let _: PinMut<T> = self.field(); // Pinned reference to the field } } impl<T: Unpin> Unpin for Foo<T> {}; // Conditional Unpin impl