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

/// 단위 타입을 정의하는 void 열거형을 만든다.
#[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` trait은 `+`연산자의 행위를 정의한다.
impl<Unit> Add for Length<Unit> {
     type Output = Length<Unit>;

    // add()는 합계를 담고있는 새로운 `Length` 구조체를 반환한다.
    fn add(self, rhs: Length<Unit>) -> Length<Unit> {
        // `+` calls the `Add` implementation for `f64`.
        Length(self.0 + rhs.0, PhantomData)
    }
}

fn main() {
    // 유령 타입 매개변수 `Inch`를 갖도록 `one_foot`를 지정
    let one_foot:  Length<Inch> = Length(12.0, PhantomData);
    // `one_meter`는 유령 타입 매개변수 `Mm`을 갖는다.
    let one_meter: Length<Mm>   = Length(1000.0, PhantomData);

    // `+`는 `Length`에 구현한 `add()`메소드를 호출한다. 
    // `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);

    // 다음과 같이 비정상적 동작 실패를 한다:
    // Compile-time Error: type mismatch.
    //let one_feter = one_foot + one_meter;
}