Referências Fracas

Weak<T> é uma referência não proprietária a dados Rc/Arc - quebra ciclos via upgrade() para Option<Rc/Arc>.

Receita

use std::rc::{Rc, Weak};
 
struct Node { value: i32, parent: Option<Weak<Node>>, child: Option<Rc<Node>> }

Quando usar: Ponteiros pai em árvores/grafos sem vazar ciclos de Rc.

Exemplo de Funcionamento

use std::rc::{Rc, Weak};
 
struct Owner { name: String }
struct Observer { owner: Weak<Owner> }
 
fn main() {
    let owner = Rc::new(Owner { name: "app".into() });
    let obs = Observer { owner: Rc::downgrade(&owner) };
    if let Some(o) = obs.owner.upgrade() {
        println!("{}", o.name);
    }
}

O que isso demonstra:

• downgrade de Rc para Weak
• upgrade retorna None se o proprietário for descartado
• O observador não mantém o proprietário vivo

Mergulho Profundo

Ciclos: A Rc-> B Rc-> A vazam memória. Torne uma direção Weak. Arc::downgrade é o mesmo para threads.

Armadilhas

• Esqueceu a verificação de upgrade - None significa que foi descartado. Correção: Trate o proprietário ausente.
• upgrade mantém vivo temporariamente - Descarte o Rc do upgrade prontamente se não for necessário.
• Weak sem strong - O valor foi descartado. Correção: Garanta que exista algum strong.
• Padrões Mutex fracos - Raro - geralmente Arc.
• upgrade em loop apertado - Custo atômico em Arc.

Alternativas

FAQs

Relacionado

• Rc & Arc
• Rc<RefCell<T>>
• Combatendo o Borrow Checker
• Melhores Práticas de Ownership

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