Trait Executor 

pub trait Executor: Send + Sync {
    type Task<T: Send + 'static>: Task<T> + Send;

    // Required method
    fn spawn<Fut>(&self, fut: Fut) -> Self::Task<Fut::Output>
       where Fut: Future<Output: Send> + Send + 'static;
}

A trait for spawning Send + 'static futures.

This trait is implemented by runtime-agnostic executors that can spawn futures across thread boundaries. The spawned futures must be Send and 'static.

The 'static lifetime requirements come from the underlying async runtimes (like Tokio) which need to ensure memory safety when tasks are moved across threads and may outlive their spawning scope.

See AnyExecutor for a type-erased executor.

Required Associated Types

type Task<T: Send + 'static>: Task<T> + Send

The task type returned by spawn.

The T: Send + 'static constraint ensures the task output can be safely sent across thread boundaries and doesn’t contain any borrowed data.

Required Methods

fn spawn<Fut>(&self, fut: Fut) -> Self::Task<Fut::Output>

where Fut: Future<Output: Send> + Send + 'static,

Spawn a future that will run to completion.

The future must be Send + 'static to ensure it can be moved across threads. Returns a Task that can be awaited to get the result.

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<E: Executor> Executor for &E

type Task<T: Send + 'static> = <E as Executor>::Task<T>

fn spawn<Fut>(&self, fut: Fut) -> Self::Task<Fut::Output>

where Fut: Future<Output: Send> + Send + 'static,

impl<E: Executor> Executor for &mut E

type Task<T: Send + 'static> = <E as Executor>::Task<T>

fn spawn<Fut>(&self, fut: Fut) -> Self::Task<Fut::Output>

where Fut: Future<Output: Send> + Send + 'static,

impl<E: Executor> Executor for Box<E>

type Task<T: Send + 'static> = <E as Executor>::Task<T>

fn spawn<Fut>(&self, fut: Fut) -> Self::Task<Fut::Output>

where Fut: Future<Output: Send> + Send + 'static,

impl<E: Executor> Executor for Arc<E>

type Task<T: Send + 'static> = <E as Executor>::Task<T>

fn spawn<Fut>(&self, fut: Fut) -> Self::Task<Fut::Output>

where Fut: Future<Output: Send> + Send + 'static,

Implementors

impl Executor for Executor<'static>

Available on crate feature async-executor only.

type Task<T: Send + 'static> = AsyncTask<T>

impl Executor for AnyExecutor

type Task<T: Send + 'static> = AnyExecutorTask<T>

impl Executor for DefaultExecutor

Available on crate feature std only.

type Task<T: Send + 'static> = AnyExecutorTask<T>

impl Executor for Runtime

Available on crate feature tokio only.

type Task<T: Send + 'static> = TokioTask<T>

impl Executor for TokioGlobal

Available on crate feature tokio only.

type Task<T: Send + 'static> = TokioTask<T>