Derivando Traits

#[derive(...)] pede ao compilador para auto-implementar traits padrão para structs e enums com lógica correta campo a campo.

Receita

#[derive(Debug, Clone, PartialEq, Eq, Hash)]
struct UserId(u64);
 
#[derive(Debug, serde::Serialize, serde::Deserialize)]
struct User {
    id: UserId,
    name: String,
}

Quando usar isso: Implementação rápida de Debug, Clone, igualdade, ordenação e serde quando a semântica dos campos corresponde ao comportamento derivado.

Exemplo de Trabalho

#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
enum Priority { Low, Medium, High }
 
fn main() {
    use std::collections::BTreeSet;
    let mut set = BTreeSet::new();
    set.insert(Priority::High);
    set.insert(Priority::Low);
    println!("{:?}", set);
}

O que isso demonstra:

• Ord derivado em enums requer ordenação de discriminante
• Hash + Eq habilitam chaves HashSet/HashMap
• Copy adicionado quando todos os campos são Copy
• Traits personalizados ainda precisam de impl manual

Análise Profunda

Derives Comuns

#[derive(Default)]

Escolhe a primeira variante para enums ou requer o atributo #[default] na variante escolhida (Rust 1.62+).

Não Pode Derivar

Display, Drop, From para lógica arbitrária - impl manual ou crates separados (thiserror, strum).

Armadilhas

• Derivar Eq em floats - Impossível. Correção: Use inteiros ou partial_cmp manualmente.
• Derivar Ord em floats - Não é uma ordem total. Correção: impl manual com tipo wrapper partial_cmp.
• Custo de Clone alto oculto - Derive clona todos os campos. Correção: Use Arc internamente ou evite Clone.
• Hash derivado muda com a ordem dos campos - Reordenar campos muda o hash (mesmo tipo). Correção: Versionamento de esquema estável para hashes persistidos.
• Manual + derive conflitantes - Não pode ter ambos. Correção: Remova o derive para esse trait.

Alternativas

FAQs

Relacionados

• Traits Padrão Comuns
• Noções Básicas de Traits
• thiserror
• Formatação e Impressão

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