Testcase: уточнення одиниць

Корисний метод перетворення одиниць можна дослідити, реалізувавши Add за допомогою параметра типу-привида. trait Add розглядається нижче:

// This construction would impose: `Self + RHS = Output`
// where RHS defaults to Self if not specified in the implementation.
pub trait Add<RHS = Self> {
    type Output;

    fn add(self, rhs: RHS) -> Self::Output;
}

// `Output` must be `T<U>` so that `T<U> + T<U> = T<U>`.
impl<U> Add for T<U> {
    type Output = T<U>;
    ...
}

Уся реалізація:

use std::ops::Add;
use std::marker::PhantomData;

/// Створює порожні переліки, щоб визначити типи одиниць.
#[derive(Debug, Clone, Copy)]
enum Inch {}
#[derive(Debug, Clone, Copy)]
enum Mm {}

/// `Length` — це тип із параметром типу-привида `Unit`,
/// і він не є узагальненим за типом довжини (тобто `f64`).
///
/// `f64` уже реалізує трейти `Clone` і `Copy`.
#[derive(Debug, Clone, Copy)]
struct Length<Unit>(f64, PhantomData<Unit>);

/// Трейт `Add` визначає поведінку оператора `+`.
impl<Unit> Add for Length<Unit> {
    type Output = Length<Unit>;

    // add() повертає нову структуру `Length`, що містить суму.
    fn add(self, rhs: Length<Unit>) -> Length<Unit> {
        // `+` викликає реалізацію `Add` для `f64`.
        Length(self.0 + rhs.0, PhantomData)
    }
}

fn main() {
    // Вказує `one_foot` мати параметр типу-привида `Inch`.
    let one_foot:  Length<Inch> = Length(12.0, PhantomData);
    // `one_meter` має параметр типу-привида `Mm`.
    let one_meter: Length<Mm>   = Length(1000.0, PhantomData);

    // `+` викликає метод `add()`, який ми реалізували для `Length<Unit>`.
    //
    // Оскільки `Length` реалізує `Copy`, `add()` не споживає
    // `one_foot` і `one_meter`, а копіює їх у `self` і `rhs`.
    let two_feet = one_foot + one_foot;
    let two_meters = one_meter + one_meter;

    // Додавання працює.
    println!("one foot + one_foot = {:?} in", two_feet.0);
    println!("one meter + one_meter = {:?} mm", two_meters.0);

    // Безглузді операції зазнають невдачі, як і повинні:
    // Помилка часу компіляції: невідповідність типів.
    //let one_feter = one_foot + one_meter;
}

Дивіться також:

Запозичення (&), Обмеження (X: Y), enum, impl & self, Перевантаження, ref, Трейти (X for Y), and Кортежні структури.