Sobrecarga de Operadores

Rust sobrecarrega operadores por meio de traits em std::ops (Add, Sub, Mul, Index, etc.), mantendo a sintaxe familiar sem "mágica" oculta.

Receita

use std::ops::Add;
 
#[derive(Clone, Copy, Debug)]
struct Vec2 { x: f32, y: f32 }
 
impl Add for Vec2 {
    type Output = Vec2;
    fn add(self, rhs: Self) -> Self::Output {
        Self { x: self.x + rhs.x, y: self.y + rhs.y }
    }
}

Quando usar: Tipos de domínio onde +, [] ou * correspondem a semânticas matemáticas ou de contêiner.

Exemplo de Trabalho

use std::ops::{Add, Index};
 
struct Matrix<T> { data: Vec<T>, cols: usize }
 
impl<T: Copy + Add<Output = T>> Add for Matrix<T> {
    type Output = Self;
    fn add(self, rhs: Self) -> Self {
        let data = self.data.iter().zip(&rhs.data)
            .map(|(a, b)| *a + *b).collect();
        Self { data, cols: self.cols }
    }
}
 
impl<T> Index<usize> for Matrix<T> {
    type Output = T;
    fn index(&self, i: usize) -> &Self::Output { &self.data[i] }
}

O que isso demonstra:

• Add com tipo associado Output
• Index para sintaxe []
• Limites no parâmetro de tipo para adição elemento a elemento

Análise Detalhada

Traits comuns: Add, Sub, Mul, Div, Rem, Neg, Not, BitAnd, Shl, Index, IndexMut, Deref.

Armadilhas

• Semântica confusa - + para um significado não relacionado prejudica a legibilidade. Correção: Métodos nomeados para operações incomuns.
• Esquecer o tipo Output - Tipo associado obrigatório. Correção: type Output = Self é comum.
• Variantes Add<&Self> - Pode precisar de uma segunda implementação para referências. Correção: Implementar separadamente para possuídos e referências, se necessário.
• Index que entra em pânico - Deve corresponder às regras de slice ou usar get. Correção: Documentar o contrato de pânico.
• Operações automáticas vs. manuais - += usa AddAssign. Correção: Implementar ambos para ergonomia.

Alternativas

FAQs

Relacionados

• Noções Básicas de Traits
• Traits Padrão Comuns
• Deref & Coerção Deref
• Derivando Traits

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