RAII & Drop Guards

Aquisição de Recursos é Inicialização (RAII): adquira recursos em construtores, libere em Drop quando o escopo terminar. Guards de escopo executam a limpeza mesmo em pânico (com unwinding).

Receita

struct TempDirGuard(tempfile::TempDir);
impl Drop for TempDirGuard {
    fn drop(&mut self) { /* tempdir é deletado no drop */ }
}

Quando usar isso: Locks, arquivos, transações, timers de métricas, restauração de estado anterior.

Exemplo Funcional

struct ResetFlag<'a> { flag: &'a AtomicBool, prev: bool }
 
impl<'a> ResetFlag<'a> {
    fn guard(flag: &'a AtomicBool, value: bool) -> Self {
        let prev = flag.swap(value, Ordering::SeqCst);
        ResetFlag { flag, prev }
    }
}
 
impl Drop for ResetFlag<'_> {
    fn drop(&mut self) {
        self.flag.store(self.prev, Ordering::SeqCst);
    }
}
 
fn work() {
    let _g = ResetFlag::guard(&IN_PROGRESS, true);
    // flag é restaurado quando _g sai do escopo
}

O que isso demonstra:

• O binding _g mantém o guard vivo até o fim do escopo
• Drop é executado em retornos normais e em pânico (unwinding)
• Encapsula a lógica de restauração em um só lugar
• Crate scopeguard para guards baseados em closures

Mergulho Profundo

Padrão defer com scopeguard::guard((), |_| cleanup()). Guards de Mutex (MutexGuard) são locks RAII. Tarefas tokio::spawn devem usar RAII para contadores em andamento.

Armadilhas

• Ordem de Drop - campos são liberados na ordem inversa de declaração. Correção: estruture os campos se a ordem importar.
• panic=abort - sem drop de unwinding em algumas compilações. Correção: limpeza crítica pode precisar de caminhos explícitos estilo finally também para compilações com abort.
• Drop assíncrono - não é automático. Correção: futuro de shutdown explícito ou Drop apenas para recursos síncronos.
• Binding _ esquecido - guard é liberado imediatamente. Correção: let _guard = ... para escopo completo.
• Deadlock no drop - ordem de lock em guards aninhados. Correção: ordenação consistente de locks.

Alternativas

FAQs

Relacionados

• Noções Básicas de Ponteiros Inteligentes - trait Drop
• Mutex e RwLock - guards de lock
• Anti-Padrões Comuns - padrões de vazamento
• 30 Regras Unsafe

Versões da Stack: 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+.