Padrões de Mutabilidade Interna

Mutabilidade interna permite que você modifique dados através de referências compartilhadas quando as regras de empréstimo em tempo de execução ou a sincronização substituem a exclusividade em tempo de compilação.

Receita

use std::cell::RefCell;
let cache = RefCell::new(HashMap::new());
cache.borrow_mut().insert("k", 1);

Quando usar isso: Grafos com aliasing, caches de thread única ou contadores compartilhados com Mutex/Atomic.

Exemplo de Trabalho

use std::sync::{Arc, Mutex};
 
struct AppState {
    counter: Mutex<u64>,
}
 
async fn handler(state: Arc<AppState>) {
    let mut n = state.counter.lock().unwrap();
    *n += 1;
}

O que isso demonstra:

• RefCell para mutabilidade interna de thread única (pânico de empréstimo em tempo de execução se violado)
• Mutex para mutação compartilhada multi-thread
• Cell apenas para tipos Copy
• Arc<Mutex<T>> comum em estado compartilhado do Axum (prefira tokio::sync::Mutex em async)

Análise Detalhada

Prefira passagem de mensagens ou mutação de propriedade antes de Rc<RefCell<_>>.

Armadilhas

• Rc<RefCell> em todo lugar - pânicos em tempo de execução e grafo emaranhado. Correção: arena + índices ou propriedade única.
• Mutex entre await - problemas de Send e deadlocks. Correção: tokio::sync::Mutex; escopo do lock mínimo, sem await enquanto segura std::sync::Mutex.
• unwrap em poison de lock - esconde bugs. Correção: mapeie o erro de poison ou use lock().expect("msg") com uma política.
• RefCell em tarefa async - não é Sync. Correção: não coloque RefCell em Arc compartilhado entre threads.
• Mutação oculta em método &self - API surpreendente. Correção: documente a thread-safety e a mutação na documentação do método.

Alternativas

FAQs

Relacionado

• RefCell e Cell
• Rc e Arc
• Padrões Anti-Comuns
• Send e Sync

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+.