Trait UnsafeFutureObj

pub unsafe trait UnsafeFutureObj<'a, T>: 'a {
    // Required methods
    fn into_raw(self) -> *mut dyn Future<Output = T> + 'a;
    unsafe fn drop(ptr: *mut dyn Future<Output = T> + 'a);
}

A custom implementation of a future trait object for FutureObj, providing a vtable with drop support.

This custom representation is typically used only in no_std contexts, where the default Box-based implementation is not available.

Safety

See the safety notes on individual methods for what guarantees an implementor must provide.

Required Methods

fn into_raw(self) -> *mut dyn Future<Output = T> + 'a

Convert an owned instance into a (conceptually owned) fat pointer.

Safety

Implementor

The trait implementor must guarantee that it is safe to convert the provided *mut (dyn Future<Output = T> + 'a) into a Pin<&mut (dyn Future<Output = T> + 'a)> and call methods on it, non-reentrantly, until UnsafeFutureObj::drop is called with it.

unsafe fn drop(ptr: *mut dyn Future<Output = T> + 'a)

Drops the future represented by the given fat pointer.

Safety

Implementor

The trait implementor must guarantee that it is safe to call this function once per into_raw invocation.

Caller

The caller must ensure:

• the pointer passed was obtained from an into_raw invocation from this same trait object
• the pointer is not currently in use as a Pin<&mut (dyn Future<Output = T> + 'a)>
• the pointer must not be used again after this function is called

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<'a, T> UnsafeFutureObj<'a, T> for &'a mut (dyn Future<Output = T> + Unpin)

fn into_raw(self) -> *mut dyn Future<Output = T> + 'a

unsafe fn drop(_ptr: *mut dyn Future<Output = T> + 'a)

impl<'a, T> UnsafeFutureObj<'a, T> for Box<dyn Future<Output = T> + 'a>

where T: 'a,

fn into_raw(self) -> *mut dyn Future<Output = T> + 'a

unsafe fn drop(ptr: *mut dyn Future<Output = T> + 'a)

impl<'a, T> UnsafeFutureObj<'a, T> for Box<dyn Future<Output = T> + Send + 'a>

where T: 'a,

fn into_raw(self) -> *mut dyn Future<Output = T> + 'a

unsafe fn drop(ptr: *mut dyn Future<Output = T> + 'a)

impl<'a, T> UnsafeFutureObj<'a, T> for Pin<&'a mut dyn Future<Output = T>>

fn into_raw(self) -> *mut dyn Future<Output = T> + 'a

unsafe fn drop(_ptr: *mut dyn Future<Output = T> + 'a)

impl<'a, T> UnsafeFutureObj<'a, T> for Pin<Box<dyn Future<Output = T> + 'a>>

where T: 'a,

fn into_raw(self) -> *mut dyn Future<Output = T> + 'a

unsafe fn drop(ptr: *mut dyn Future<Output = T> + 'a)

impl<'a, T> UnsafeFutureObj<'a, T> for Pin<Box<dyn Future<Output = T> + Send + 'a>>

where T: 'a,

fn into_raw(self) -> *mut dyn Future<Output = T> + 'a

unsafe fn drop(ptr: *mut dyn Future<Output = T> + 'a)

impl<'a, T, F> UnsafeFutureObj<'a, T> for &'a mut F

where F: Future<Output = T> + Unpin + 'a,

fn into_raw(self) -> *mut dyn Future<Output = T> + 'a

unsafe fn drop(_ptr: *mut dyn Future<Output = T> + 'a)

impl<'a, T, F> UnsafeFutureObj<'a, T> for Box<F>

where F: Future<Output = T> + 'a,

fn into_raw(self) -> *mut dyn Future<Output = T> + 'a

unsafe fn drop(ptr: *mut dyn Future<Output = T> + 'a)

impl<'a, T, F> UnsafeFutureObj<'a, T> for Pin<&'a mut F>

where F: Future<Output = T> + 'a,

fn into_raw(self) -> *mut dyn Future<Output = T> + 'a

unsafe fn drop(_ptr: *mut dyn Future<Output = T> + 'a)

impl<'a, T, F> UnsafeFutureObj<'a, T> for Pin<Box<F>>

where F: Future<Output = T> + 'a,

fn into_raw(self) -> *mut dyn Future<Output = T> + 'a

unsafe fn drop(ptr: *mut dyn Future<Output = T> + 'a)

Implementors