Futures

Future é um traço, implementado por objetos que representam uma operação que pode ainda não estar completa. Uma future pode ser polled, e poll retorna um Poll.

#![allow(unused)] fn main() { use std::pin::Pin; use std::task::Context; pub trait Future { type Output; fn poll(self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<Self::Output>; } pub enum Poll<T> { Ready(T), Pending, } }

Uma função async retorna um impl Future. Também é possível (mas pouco comum) implementar Future para seus próprios tipos. Por exemplo, o JoinHandle retornado de tokio::spawn implementa Future para permitir juntar-se a ele.

A palavra-chave .await, aplicada a uma Future, faz com que a função assíncrona atual pause até que essa Future esteja pronta, e então avalia para sua saída.

Speaker Notes

This slide should take about 4 minutes.
  • Os tipos Future e Poll são implementados exatamente como mostrado; clique nos links para mostrar as implementações na documentação.

  • Não chegaremos a Pin e Context, pois nos concentraremos em escrever código async, em vez de construir novas primitivas async. Brevemente:

    • Context permite que uma Future agende-se para ser polled novamente quando um evento ocorre.

    • Pin garante que a Future não seja movida na memória, para que os ponteiros para essa future permaneçam válidos. Isso é necessário para permitir que as referências permaneçam válidas após um .await.