Trait Bounds

Bounds restringem parâmetros genéricos para que o código possa chamar métodos de trait com segurança: T: Display, cláusulas where e múltiplos bounds com +.

Receita

use std::fmt::Display;
 
fn print_all<T: Display>(items: &[T]) {
    for item in items {
        println!("{item}");
    }
}
 
fn compare<T>(a: T, b: T) -> T
where
    T: PartialOrd,
{
    if a > b { a } else { b }
}

Quando usar isso: Qualquer função genérica que use métodos de trait; prefira where para bounds complexos e legíveis.

Exemplo de Trabalho

use std::fmt::{Debug, Display};
 
fn report<T>(value: T) -> String
where
    T: Debug + Display,
{
    format!("o usuário vê {value}, debug {value:?}")
}
 
fn main() {
    println!("{}", report(42));
}

O que isso demonstra:

• Múltiplos bounds Debug + Display
• A cláusula where separa os bounds da assinatura
• Bounds verificados em tempo de compilação por T monomorfizado
• Violação falha no local da chamada com erro claro

Mergulho Profundo

Açúcar sintático impl Trait

fn f(x: impl Display) == fn f<T: Display>(x: T) para um parâmetro.

Bounds de alta ordem (Higher-ranked bounds)

for<'a> para funções que precisam de qualquer lifetime - avançado com traits Fn.

Bounds de lifetime

T: 'a - valores em T não podem emprestar por menos tempo que 'a.

Armadilhas

• Bound muito fraco - Método ausente em T. Correção: Adicionar trait à lista de bounds.
• Bound muito forte - Limita os tipos utilizáveis. Correção: Dividir funções ou usar trait objects.
• Impls blanket conflitantes - Duas auto impls sobrepostas. Correção: Evitar padrões blanket impossíveis.
• Explosão da cláusula where - Ilegível. Correção: Aliases de tipo type SerializeMap = ....
• impl Trait em retorno não é object-safe (mistura) - Não pode retornar tipos impl Trait diferentes. Correção: Enum ou Box<dyn Trait>.

Alternativas

FAQs

Relacionados

• Genéricos
• Traits Padrão Comuns
• Dispatch Estático vs Dinâmico
• Impls Blanket e Condicionais

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