Características e limites de características

Traits definem o comportamento que um determinado tipo tem e pode compartilhar com outros tipos. Podemos usar traits para definir um conjunto de métodos que representam uma determinada funcionalidade ou interface comum, semelhante a interfaces em outras linguagens de programação.

Limites de características nos permitem especificar que um tipo genérico deve implementar uma característica específica, garantindo que os métodos necessários estejam disponíveis em tempo de compilação.

Definindo e implementando uma característica

Para definir uma característica, usamos a palavra-chave trait seguida das assinaturas dos métodos que os tipos de implementação devem definir:

pub trait Summary {
    fn summarize(&self) -> String;
}

Para implementar uma característica em um tipo concreto, usamos a sintaxe impl TraitName for TypeName:

pub struct NewsArticle {
    pub headline: String,
    pub content: String,
}

impl Summary for NewsArticle {
    fn summarize(&self) -> String {
        format!("{}", self.headline)
    }
}

Limites de características

Ao escrever funções genéricas, podemos restringir os parâmetros de tipo para garantir que implementem uma característica específica. A sintaxe padrão é <T: Trait>:

pub fn notify<T: Summary>(item: &T) {
    println!("Notification: {}", item.summarize());
}

Alternativamente, para assinaturas mais complexas, podemos usar a cláusula where:

pub fn notify_advanced<T>(item: &T)
where
    T: Summary
{
    println!("Notification: {}", item.summarize());
}

Experimente você mesmo

Exercício 1: A característica de resumo

Exercício 2: Limites de características com print_summary

Exercício 3: Cálculo de área usando características