Boas Práticas de Traits & Generics

Como Usar Esta Lista

• Aplique ao projetar traits e limites genéricos de bibliotecas públicas.
• Revise antes de adicionar dyn Trait ou implementações blanket (impl).

A - Design de Traits

• Mantenha os traits focados (responsabilidade única). Divida traits de leitura/escrita quando necessário.
• Prefira tipos associados para uma saída por impl. Evite parâmetros genéricos redundantes.
• Documente a segurança de objeto (object safety) e as expectativas de Send/Sync. Os consumidores precisam de clareza nos limites (bounds).
• Sele (seal) traits que não são para impl externa. Padrão de pub trait em módulo privado.
• Use métodos padrão (default methods) para lógica compartilhada. Reduza o boilerplate de impl.

B - Generics e Limites (Bounds)

• Prefira cláusulas where para limites complexos. Assinaturas legíveis.
• Use impl Trait em parâmetros para limites simples e únicos. Menos ruído.
• Padrão para despacho estático (static dispatch) em caminhos críticos (hot paths). Perfis antes de usar dyn.
• Evite gatilhos de lint de complexidade de tipo. Use aliases de tipo para limites longos.
• Consciência de monomorfização para tamanho de binário. Apagamento de tipo nas bordas.

C - Coerência e Órfãos (Orphans)

• Use Newtype para implementar traits locais em tipos estrangeiros. Conformidade com a regra do órfão.
• Evite implementações blanket (blanket impls) sobrepostas. Conflitos de coerência são dolorosos.
• Altere implementações blanket (blanket impls) de Semver com cuidado. Pode quebrar implementações downstream.
• Use traits de extensão (extension traits) em módulos separados. Superfície de API clara.
• Teste padrões órfãos em CI para bibliotecas. Evite conflitos acidentais.

D - Ergonomia

• Forneça From/Into/Default quando natural. Construtores idiomáticos.
• Implemente Debug em tipos públicos. Suportabilidade.
• Use Display para strings voltadas ao usuário, não Debug. Qualidade de log.
• Prefira AsRef/Borrow nas bordas para strings/caminhos. Entradas flexíveis.
• Documente o contrato do trait (leis) na documentação. Ex: reflexividade de Eq, transitividade de Ord.

FAQs

Relacionados

• Noções Básicas de Traits
• Objetos de Trait & Despacho Dinâmico
• Implementações Blanket & Condicionais
• Abstração Baseada em Trait na Arquitetura

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