Métodos & Funções Associadas

Métodos são funções com um receptor self em um bloco impl. Funções associadas não possuem self - construtores como new são o exemplo familiar.

Receita

struct Rectangle { width: u32, height: u32 }
 
impl Rectangle {
    fn new(width: u32, height: u32) -> Self {
        Self { width, height }
    }
 
    fn area(&self) -> u32 {
        self.width * self.height
    }
}
 
fn main() {
    let r = Rectangle::new(10, 20);
    println!("{}", r.area());
}

Quando usar isso: Agrupar comportamento com dados, APIs de construtor (builder APIs) e encapsular invariantes na mutação de structs.

Exemplo Funcional

#[derive(Debug)]
struct Account {
    balance: i64,
}
 
impl Account {
    fn open(initial: i64) -> Self {
        Self { balance: initial.max(0) }
    }
 
    fn deposit(&mut self, amount: i64) {
        if amount > 0 { self.balance += amount; }
    }
 
    fn balance(&self) -> i64 {
        self.balance
    }
}
 
fn main() {
    let mut a = Account::open(100);
    a.deposit(50);
    println!("{:?}", a.balance());
}

O que isso demonstra:

• open é uma função associada - chamada como Account::open
• deposit muta através de &mut self
• balance lê através de &self
• Invariantes aplicadas dentro dos métodos

Análise Detalhada

Tipos de Receptor

Múltiplos Blocos impl

impl Rectangle { /* métodos */ }
impl Rectangle { /* mais métodos - mescla conceitualmente */ }

impl Genérico

impl<T: std::fmt::Display> Pair<T> {
    fn show(&self) { println!("{}", self.0); }
}

Traits vs. Métodos Inerentes

Métodos inerentes são específicos do tipo. Implementações de traits (impl) fornecem interfaces compartilhadas (Display, etc.).

Armadilhas

• Campos públicos ignoram encapsulamento - Chamadores mutam diretamente. Correção: Tornar campos privados, expor métodos.
• Escolha errada de self vs &self - Método consumidor quando empréstimo é suficiente força movimentos (moves). Correção: Usar &self por padrão.
• Conflito de nome de método com campo - self.x() vs self.x - namespaces diferentes, mas confuso. Correção: Renomear para clareza.
• Esqueceu o alias Self - Self refere-se ao tipo sendo implementado no bloco impl atual. Correção: Usar Self em construtores que retornam o próprio tipo.
• Métodos async precisam de async fn em traits com cuidado - Traits async nativos foram estabilizados em versões recentes do Rust. Correção: Seguir a documentação da edição para async em traits.

Alternativas

FAQs

Relacionados

• Noções Básicas de Structs - formas de struct
• Noções Básicas de Traits - métodos de trait
• Enums - métodos em enums
• Derivando Traits - impl automáticos

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