Busque em todas as páginas da documentação
O verificador de empréstimos rastreia quais ligações possuem dados e quais referências os emprestam. Ele rejeita programas que poderiam causar uso após liberação (use-after-free), liberação dupla (double-free) ou corridas de dados (data races).
fn longest<'a>(a: &'a str, b: &'a str) -> &'a str {
if a.len() >= b.len() { a } else { b }
}
fn main() {
let s1 = String::from("longer");
let len = {
let s2 = String::from("x");
longest(&s1, &s2)
};
println!("{len}");
}Quando usar isso: Para entender erros de compilação sobre "valor emprestado não vive o tempo suficiente" ou "não é possível emprestar como mutável".
struct Cache { data: Vec<String> }
impl Cache {
fn get_or_insert(&mut self, key: &str) -> &String {
for s in &self.data {
if s == key { return s; }
}
self.data.push(key.to_string());
self.data.last().unwrap()
}
}
fn main() {
let mut c = Cache { data: vec![] };
let v = c.get_or_insert("a");
println!("{v}");
}O que isso demonstra:
&String de &mut self estende o empréstimo de selfc enquanto v empresta dele| Mensagem de erro | Causa Típica |
|---|---|
| valor emprestado após mover (value borrowed after move) | Uso de ligação após transferência |
| não é possível emprestar como mutável (cannot borrow as mutable) | Empréstimo compartilhado ativo existe |
| não vive o tempo suficiente (does not live long enough) | Referência retornada sobrevive ao proprietário |
&mut entre chamadas de método | Empréstimos sobrepostos em métodos de struct |
{ }unsafe ou transmute - Esconde um problema real de design. Correção: Refatoração segura primeiro.String/Arc possuídos ou índices.&mut enquanto muta a coleção - Segundo empréstimo falha. Correção: Separe passagens ou use índices.| Alternativa | Usar Quando | Não Usar Quando |
|---|---|---|
Retornar T possuído | Chamadores precisam de dados independentes | Compartilhamento de zero cópia é necessário |
| Índices em arena | Handles estáveis sem referências | Árvore simples com referências pai |
Rc<RefCell<T>> | Grafo compartilhado em um thread | Caminho crítico de alta performance |
| Alocador de arena | Muitos refs de curta duração ligados | Objetos não relacionados de longa duração |
Não. Ele roda apenas em tempo de compilação. Custo zero em tempo de execução para as regras de empréstimo.
Rust imprime cadeias de causalidade completas. Foque no primeiro erro e nas extensões destacadas.
Às vezes, as APIs parecem difíceis de expressar. Padrões como split_at_mut e tempos de vida existem para modelar o uso seguro.
Não. Apenas segurança de memória e segurança de threads (com Send/Sync). Use testes para lógica.
O empréstimo mutável de um campo de struct pode ser dividido entre etapas de auto-referência em chamadas de método. Erros podem ser sutis.
Análise experimental melhorando alguns casos de erro. O rustc estável usa o verificador baseado em NLL.
Apenas com unsafe Rust dentro de um bloco unsafe para ponteiros brutos - não para referências normais.
Parâmetros de tempo de vida conectam empréstimos de entrada e saída para que os chamadores não possam usar indevidamente as refs retornadas.
Cell move valores Copy para dentro/fora em tempo de execução. RefCell impõe regras de empréstimo dinamicamente com pânicos.
rustc --explain E0499 (e códigos relacionados), dicas rust-analyzer e Miri para unsafe.
'aVersõ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+.
Revisado por Chris St. John·Última atualização: 16 de jul. de 2026