Anotações de Tempo de Vida

Anotações explícitas de tempo de vida informam ao compilador como os parâmetros de referência e os valores de retorno se relacionam. Elas aparecem em assinaturas de funções, structs, enums e impls de traits.

Receita

fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
    if x.len() > y.len() { x } else { y }
}
 
fn main() {
    let s = String::from("abcd");
    let slice = longest(&s, "xy");
    println!("{slice}");
}

Quando usar isso: APIs públicas que retornam referências, structs que contêm empréstimos e para resolver erros de tempo de vida que o compilador não consegue elidir.

Exemplo de Trabalho

struct Parser<'a> {
    input: &'a str,
}
 
impl<'a> Parser<'a> {
    fn new(input: &'a str) -> Self {
        Self { input }
    }
 
    fn peek_word(&self) -> Option<&'a str> {
        self.input.split_whitespace().next()
    }
}
 
fn main() {
    let text = String::from("hello world");
    let p = Parser::new(&text);
    println!("{:?}", p.peek_word());
}

O que isso demonstra:

• impl<'a> repete o tempo de vida no bloco impl
• Métodos retornam &'a str vinculado à entrada do parser
• Parser não pode sobreviver a text
• Mesmo tempo de vida em todas as referências vinculadas

Mergulho Profundo

Anotações de Função

fn split<'a>(s: &'a str, at: usize) -> (&'a str, &'a str) {
    s.split_at(at)
}

Struct com Múltiplos Tempos de Vida

struct Pair<'a, 'b> {
    first: &'a str,
    second: &'b str,
}

Cada campo pode emprestar de fontes diferentes.

Limites de Tempo de Vida

fn copy_str<'a: 'b, 'b>(x: &'a str, y: &'b mut &str) {
    *y = x;
}

'a: 'b significa que 'a vive mais que 'b.

Tempos de Vida impl

Parâmetros de tempo de vida em impl devem corresponder à definição da struct/trait quando os métodos retornam dados internos emprestados.

Armadilhas

• Anotar apenas o tempo de vida de retorno - As entradas precisam de conexão. Correção: Adicione 'a a todas as referências relacionadas.
• Tempos de vida não relacionados forçados a serem iguais - Sobrecarrega a API. Correção: Use 'a, 'b separados quando as fontes diferirem.
• Tempo de vida ausente em struct impl com referências - Erro de compilação nos métodos. Correção: impl<'a> Struct<'a>.
• Tempo de vida em fn dentro de impl sem necessidade - Ruído. Correção: Use a elisão quando o compilador aceitar.
• Pensar que 'a define a duração - Você declara relacionamentos; o compilador verifica os pontos de chamada. Correção: Leia os erros como falhas de restrição.

Alternativas

FAQs

Relacionado

• Elisao de Tempo de Vida - quando omitir
• Tempos de Vida Explicados - modelo conceitual
• 'static & Limites - limites de sobrevivência
• Cenários de Incompatibilidade de Tempo de Vida - correções

Versões da Pilha: Esta página foi escrita para Rust 1.97.0 (edição 2024), Tokio 1.x, Axum 0.8, serde 1.0, sqlx 0.8, clap 4 e Polars 0.46+.