【Effective-Rustlings-jp】Day 6：newtypeパターンを活用しよう

# はじめに
こんにちは。細々とプログラミングをしている[sotanengel](https://x.com/sota_eng_prog)です。
この記事は以下の記事の連載です。

https://qiita.com/sotanengel/private/78103dcfe2fa34f8815e


<details>
<summary><strong>他の連載記事</strong> (<em>詳細</em>)</summary>

- [Day 1：型システムを使ってデータ構造を再現しよう](https://qiita.com/sotanengel/private/588a7f7cc03c36fc1adc)
- [Day 2：型システムを用いて共通の挙動を表現しよう](https://qiita.com/sotanengel/private/2a8fc62b6d9f8e916021)
- [Day 3：OptionとResultに対してはmatchを用いずに変換しよう](https://qiita.com/sotanengel/items/b54990dc82d877b9d70d)
- [Day 4：標準のErrorを使おう](https://qiita.com/sotanengel/private/79f683c3d75d09244567)
- [Day 5：型変換を理解しよう](https://qiita.com/sotanengel/private/8cc28c8b6108e5998e23)
- [Day 6：newtypeパターンを活用しよう](https://qiita.com/sotanengel/private/38814f8b5a88aad9eccc)
- [Day 7：複雑な型にはビルダを使おう](https://qiita.com/sotanengel/private/80bc555e95ed56b72f14)
- [Day 8：明示的なループの代わりにイテレータ変換を使用することを検討しよう](https://qiita.com/sotanengel/private/f7f4fc03f0b2dc445bf2)
- [Day 9：標準トレイトに習熟しよう](https://qiita.com/sotanengel/private/24a8ad443fc23e779ccd)
- [Day 10：RIIパターンにはDropトレイトを実装しよう](https://qiita.com/sotanengel/private/a3d1b04f98ea80b8989d)
- [Day 11：ジェネリクスとトレイトオブジェクトのトレードオフを理解しよう](https://qiita.com/sotanengel/private/8e2e88d5619b434c3ada)
- [Day 12：デフォルト実装を用いて、実装しなければならないトレイトメソッドを最小限にしよう](https://qiita.com/sotanengel/private/16b02d32732727eaf66f)
- [Day 13：Don't panic](https://qiita.com/sotanengel/private/aa833ce99c8e8b8eecf2)
- [Day 14：リフレクションを避けよう](https://qiita.com/sotanengel/private/6108b22f6644d4fde997)
- [Day 15：可視範囲を最小化しよう](https://qiita.com/sotanengel/private/4075925e05de50dfac96)
- [Day 16：ワイルドカードインポートを避けよう](https://qiita.com/sotanengel/private/555314f77c8318bb1c45)
- [Day 17：パブリックインターフェースのドキュメントを書こう](https://qiita.com/sotanengel/private/b4e8a11522b253ebb62e)
- [Day 18：分別を持ってマクロを使おう](https://qiita.com/sotanengel/private/a33b5ab66a82a26b4adc)
- [Day 19：Clippyに耳を傾けよう](https://qiita.com/sotanengel/private/b4c161bb87fc9e7e813e)
- [Day 20：ユニットテスト以上のものを書こう](https://qiita.com/sotanengel/private/58fcafaee5418b2b2b16)

</details>

また本記事は[Effective Rust(David Drysdale (著), 中田 秀基 (翻訳))](https://www.oreilly.com/library/view/effective-rust/9781098151393/)を参考に作成されております。とてもいい書籍ですので興味を持った方は、ぜひ読んでみてください！
<div style="text-align: center;">
  <figure>
    <a href="https://www.amazon.co.jp/Effective-Rust-%E2%80%95Rust%E3%82%B3%E3%83%BC%E3%83%89%E3%82%92%E6%94%B9%E5%96%84%E3%81%97%E3%80%81%E3%82%A8%E3%82%B3%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0%E3%82%92%E6%9C%80%E5%A4%A7%E9%99%90%E3%81%AB%E6%B4%BB%E7%94%A8%E3%81%99%E3%82%8B%E3%81%9F%E3%82%81%E3%81%AE35%E9%A0%85%E7%9B%AE-David-Drysdale/dp/4814400942"  target="_blank">
      <img src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/1758960/cb1245be-02d6-0c74-8b79-e46288f2ea73.png" alt="商品画像" width="50%">
    </a>
  </figure>
</div>

# 今日の内容
## 概要
Rustでは既存の型を一つだけ持つタプル構造体のことを`newtypeパターン`と呼んでいます。
うまく活用することでコンパイル時にエラーを発見することができます。

## newtypeパターンを使って意図しないバグをコンパイル時に発見しよう
### 問([リンク](https://github.com/sotanengel/effective-rustlings-jp/blob/20250101/exercises/6_types_Embrace_the_newtype_pattern/1_use_new_type.rs))
メートルと重さを管理する独自の型を実装し、既存の型(`f64`)を使う場合よりも安全なコードを書いてみましょう。

<details>
<summary><strong>コード</strong> (<em>詳細</em>)</summary>

```rust
// TODO: 長さを表すメートルの型を定義しましょう。

// TODO: 重さを表すキログラムの型を定義しましょう。

// f64 から Meters への変換
impl From<f64> for Meters {
    fn from(value: f64) -> Self {
        Meters(value)
    }
}

// f64 から Kilograms への変換
impl From<f64> for Kilograms {
    fn from(value: f64) -> Self {
        Kilograms(value)
    }
}

// メートルをスケーリングする関数
fn scale_meters(m: Meters, factor: f64) -> Meters {
    Meters(m.0 * factor)
}

// キログラムをグラムに変換する関数
fn convert_to_grams(k: Kilograms) -> f64 {
    k.0 * 1000.0
}

fn main() {
    let height = Meters(1.75);
    let weight = Kilograms(68.0);

    let double_height = scale_meters(height, 2.0);
    println!("Double height: {} m", double_height.0);

    let weight_in_grams = convert_to_grams(weight);
    println!("Weight in grams: {} g", weight_in_grams);
}

/// テストモジュール
/// コンパイルエラーを期待するテスト
///
/// ```compile_fail
/// let m = Meters::from(3.0);
/// // Kilograms 型を要求している関数に Meters を渡す -> エラー
/// let _ = convert_to_grams(m);
/// ```
fn compile_fail_example() {}
```

</details>

### 解答([リンク](https://github.com/sotanengel/effective-rustlings-jp/blob/20250101/solutions/6_types_Embrace_the_newtype_pattern/1_use_new_type.rs))
コード参照。

<details>
<summary><strong>コード</strong> (<em>詳細</em>)</summary>

```rust
// 長さを表すメートルの型
#[repr(transparent)] // この属性を追加することでメモリ表現を内部の型(f64)と同じにすることができ、効率化になる。
struct Meters(f64);

// 重さを表すキログラムの型
#[repr(transparent)]
struct Kilograms(f64);

// f64 から Meters への変換
impl From<f64> for Meters {
    fn from(value: f64) -> Self {
        Meters(value)
    }
}

// f64 から Kilograms への変換
impl From<f64> for Kilograms {
    fn from(value: f64) -> Self {
        Kilograms(value)
    }
}

// メートルをスケーリングする関数
fn scale_meters(m: Meters, factor: f64) -> Meters {
    Meters(m.0 * factor)
}

// キログラムをグラムに変換する関数
fn convert_to_grams(k: Kilograms) -> f64 {
    k.0 * 1000.0
}

fn main() {
    let height = Meters(1.75);
    let weight = Kilograms(68.0);

    let double_height = scale_meters(height, 2.0);
    println!("Double height: {} m", double_height.0);

    let weight_in_grams = convert_to_grams(weight);
    println!("Weight in grams: {} g", weight_in_grams);
}

/// テストモジュール
/// コンパイルエラーを期待するテスト
///
/// ```compile_fail
/// let m = Meters::from(3.0);
/// // Kilograms 型を要求している関数に Meters を渡す -> エラー
/// let _ = convert_to_grams(m);
/// ```
#[allow(dead_code)]
fn compile_fail_example() {}
```

</details>

## トレイト孤児ルールを回避しよう
### 問([リンク](https://github.com/sotanengel/effective-rustlings-jp/blob/20250101/exercises/6_types_Embrace_the_newtype_pattern/2_avoid_trait_rule.rs))
Rustではある型にトレイトを実装するためには以下の条件を満たす必要がある。
- そのクレートでそのトレイトを定義している
- そのクレートでその型を定義している

そこで`newtype`を使うことでトレイト孤児ルールを回避しましょう。

<details>
<summary><strong>コード</strong> (<em>詳細</em>)</summary>

```rust
struct MyVec(Vec<i32>);

trait Sum {
    fn sum(&self) -> i32;
}

// TODO: 自分で作成したnewTypeにSumトレイトを実装しましょう。

fn main() {
    let numbers = MyVec(vec![1, 2, 3, 4]);
    println!("Sum: {}", numbers.sum());
}
```

</details>

### 解答([リンク](https://github.com/sotanengel/effective-rustlings-jp/blob/20250101/solutions/6_types_Embrace_the_newtype_pattern/2_avoid_trait_rule.rs))
コード参照。

<details>
<summary><strong>コード</strong> (<em>詳細</em>)</summary>

```rust
struct MyVec(Vec<i32>);

trait Sum {
    fn sum(&self) -> i32;
}

// 自分で作成したnewTypeのため、Sumを実装することができる。
impl Sum for MyVec {
    fn sum(&self) -> i32 {
        self.0.iter().sum()
    }
}

fn main() {
    let numbers = MyVec(vec![1, 2, 3, 4]);
    println!("Sum: {}", numbers.sum());
}
```

</details>

# さいごに

もしも本リポジトリで不備などあれば、リポジトリのissueやPRなどでご指摘いただければと思います。

https://github.com/sotanengel/effective-rustlings-jp/issues