Rust 100 Ex 🏃【19/37】 配列・動的配列 ～スタックが使われる配列と、ヒープに保存できる動的配列～

前の記事

- [【0】 準備](https://qiita.com/namn1125/items/bd1b4cd028874189a3c1) ← 初回
- ...
- [【18】 Errorのネスト・慣例的な書き方 ～Rustらしさの目醒め～](https://qiita.com/namn1125/items/705829027661a38e4a4f) ← 前回
- 【19】 配列・動的配列 ～スタックが使われる配列と、ヒープに保存できる動的配列～ ← 今回

<details><summary>全記事一覧</summary>

- [【0】 準備](https://qiita.com/namn1125/items/bd1b4cd028874189a3c1)
- [【1】 構文・整数・変数](https://qiita.com/namn1125/items/c776768baec89b8a0438)
- [【2】 if・パニック・演習](https://qiita.com/namn1125/items/13870965e8273bc87bce)
- [【3】 可変・ループ・オーバーフロー](https://qiita.com/namn1125/items/4f57f8aede2f5201016f)
- [【4】 キャスト・構造体 (たまにUFCS)](https://qiita.com/namn1125/items/227ed5bbedbb775c5d27)
- [【5】 バリデーション・モジュールの公開範囲 ～ → カプセル化！～](https://qiita.com/namn1125/items/46721cceccbfa9ec3c7a)
- [【6】 カプセル化の続きと所有権とセッター ～そして不変参照と可変参照！～](https://qiita.com/namn1125/items/442de7798d49f777384c)
- [【7】 スタック・ヒープと参照のサイズ ～メモリの話～](https://qiita.com/namn1125/items/780d80e4340f0e34dbf6)
- [【8】 デストラクタ(変数の終わり)・トレイト ～終わりと始まり～](https://qiita.com/namn1125/items/7247edde3b6bd0b85b25)
- [【9】 Orphan rule (孤児ルール)・演算子オーバーロード・derive ～Empowerment 💪 ～](https://qiita.com/namn1125/items/e565713b423301a80c76)
- [【10】 トレイト境界・文字列・Derefトレイト ～トレイトのアレコレ～](https://qiita.com/namn1125/items/9060faee2965f23e0e3d)
- [【11】 Sized トレイト・From トレイト・関連型 ～おもしろトレイトと関連型～](https://qiita.com/namn1125/items/b68990712d379a3d6a49)
- [【12】 Clone・Copy・Dropトレイト ～覚えるべき主要トレイトたち～](https://qiita.com/namn1125/items/c6f34945f331c7229746)
- [【13】 トレイトまとめ・列挙型・match式 ～最強のトレイトの次は、最強の列挙型～](https://qiita.com/namn1125/items/6b2cc31d6a47f9ffaff6)
- [【14】 フィールド付き列挙型とOption型 ～チョクワガタ～](https://qiita.com/namn1125/items/6fe69d1cab6c7936c698)
- [【15】 Result型 ～Rust流エラーハンドリング術～](https://qiita.com/namn1125/items/698aafaf22ec4bfd1bde)
- [【16】 Errorトレイトと外部クレート ～依存はCargo.tomlに全部お任せ！～](https://qiita.com/namn1125/items/9dae7b728fa0668e4102)
- [【17】 thiserror・TryFrom ～トレイトもResultも自由自在！～](https://qiita.com/namn1125/items/d67006a29b7ff5d6148c)
- [【18】 Errorのネスト・慣例的な書き方 ～Rustらしさの目醒め～](https://qiita.com/namn1125/items/705829027661a38e4a4f)
- [【19】 配列・動的配列 ～スタックが使われる配列と、ヒープに保存できる動的配列～](https://qiita.com/namn1125/items/9c49fd4c08f3e61896c7)
- [【20】 動的配列のリサイズ・イテレータ ～またまたトレイト登場！～](https://qiita.com/namn1125/items/6e4dede789c6de97f396)
- [【21】 イテレータ・ライフタイム ～ライフタイム注釈ようやく登場！～](https://qiita.com/namn1125/items/9a1224abf733f29a980a)
- [【22】 コンビネータ・RPIT ～ :dragon: 「 `Iterator` トレイトを実装してるやつ」～](https://qiita.com/namn1125/items/27fe20f2d60803c94357)
- [【23】 `impl Trait` ・スライス ～配列の欠片～](https://qiita.com/namn1125/items/7601d0268293ce7fcf28)
- [【24】 可変スライス・下書き構造体 ～構造体で状態表現～](https://qiita.com/namn1125/items/a9acc7dc2ca7c4c55cc3)
- [【25】 インデックス・可変インデックス ～インデックスもトレイト！～](https://qiita.com/namn1125/items/bd43375362af10ea8b42)
- [【26】 HashMap・順序・BTreeMap ～Rustの辞書型～](https://qiita.com/namn1125/items/a2806cded12fa719a1cb)
- [【27】 スレッド・'staticライフタイム ～並列処理に見るRustの恩恵～](https://qiita.com/namn1125/items/5a4a09172834063268b1)
- [【28】 リーク・スコープ付きスレッド ～ライフタイムに技あり！～](https://qiita.com/namn1125/items/34a0aacd4d40f9234aef)
- [【29】 チャネル・参照の内部可変性 ～Rustの虎の子、mpscと `Rc<RefCell<T>>`～](https://qiita.com/namn1125/items/861e72dbb4b837508948)
- [【30】 双方向通信・リファクタリング ～返信用封筒を入れよう！～](https://qiita.com/namn1125/items/46f03de967d0de46737e)
- [【31】 上限付きチャネル・PATCH機能 ～パンクしないように制御！～](https://qiita.com/namn1125/items/d7ae8a205ee969339401)
- [【32】 `Send`・排他的ロック(`Mutex`)・非対称排他的ロック(`RwLock`) ～真打 `Arc<Mutex<T>>` 登場～](https://qiita.com/namn1125/items/eee890dc8672e975e70c)
- [【33】 チャネルなしで実装・Syncの話 ～考察回です～](https://qiita.com/namn1125/items/cc8bee3871b727e564e3)
- [【34】 `async fn`・非同期タスク生成 ～Rustの非同期入門～](https://qiita.com/namn1125/items/9c32b730a283ad76c891)
- [【35】 非同期ランタイム・Futureトレイト ～非同期のお作法～](https://qiita.com/namn1125/items/c840d48f8f558613ec10)
- [【36】 ブロッキング・非同期用の実装・キャンセル ～ラストスパート！～](https://qiita.com/namn1125/items/39c139da3f1f26264353)
- [【37】 Axumでクラサバ！ ～最終回～](https://qiita.com/namn1125/items/bae492f823fbe60e9974)
- [【おまけ1】 Rustで勘違いしていたこと3選 🏄🌴 【100 Exercises To Learn Rust 🦀 完走記事 🏃】](https://qiita.com/namn1125/items/2a59f486cce30fd2b889)
- [【おまけ2】 【🙇 懺悔 🙇】Qiitanグッズ欲しさに1日に33記事投稿した話またはQiita CLIとcargo scriptを布教する的な何か](https://qiita.com/namn1125/items/8e552694b389c5b13b5e)
</details>

[100 Exercise To Learn Rust](https://rust-exercises.com/) 演習第19回になります、今回から6章に入ります！

今回の関連ページ

- [6.1. Arrays](https://rust-exercises.com/06_ticket_management/01_arrays)
- [6.2. Vectors](https://rust-exercises.com/06_ticket_management/02_vec)

# [[06_ticket_management/01_arrays](https://github.com/mainmatter/100-exercises-to-learn-rust/blob/main/exercises/06_ticket_management/01_arrays/src/lib.rs)] 配列 (静的配列)

- [6.1. Arrays](https://rust-exercises.com/06_ticket_management/01_arrays)

問題はこちらです。

```rust:lib.rs
// TODO: Flesh out the `WeekTemperatures` struct and its method implementations to pass the tests.

pub struct WeekTemperatures {
    // TODO
}

pub enum Weekday {
    Monday,
    Tuesday,
    Wednesday,
    Thursday,
    Friday,
    Saturday,
    Sunday,
}

impl WeekTemperatures {
    pub fn new() -> Self {
        todo!()
    }

    pub fn get_temperature(&self, day: Weekday) -> Option<i32> {
        todo!()
    }

    pub fn set_temperature(&mut self, day: Weekday, temperature: i32) {
        todo!()
    }
}
```

<details><summary>テストを含めた全体</summary>

```rust:lib.rs
// TODO: Flesh out the `WeekTemperatures` struct and its method implementations to pass the tests.

pub struct WeekTemperatures {
    // TODO
}

pub enum Weekday {
    Monday,
    Tuesday,
    Wednesday,
    Thursday,
    Friday,
    Saturday,
    Sunday,
}

impl WeekTemperatures {
    pub fn new() -> Self {
        todo!()
    }

    pub fn get_temperature(&self, day: Weekday) -> Option<i32> {
        todo!()
    }

    pub fn set_temperature(&mut self, day: Weekday, temperature: i32) {
        todo!()
    }
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn test_get_temperature() {
        let mut week_temperatures = WeekTemperatures::new();

        assert_eq!(week_temperatures.get_temperature(Weekday::Monday), None);
        assert_eq!(week_temperatures.get_temperature(Weekday::Tuesday), None);
        assert_eq!(week_temperatures.get_temperature(Weekday::Wednesday), None);
        assert_eq!(week_temperatures.get_temperature(Weekday::Thursday), None);
        assert_eq!(week_temperatures.get_temperature(Weekday::Friday), None);
        assert_eq!(week_temperatures.get_temperature(Weekday::Saturday), None);
        assert_eq!(week_temperatures.get_temperature(Weekday::Sunday), None);

        week_temperatures.set_temperature(Weekday::Monday, 20);
        assert_eq!(week_temperatures.get_temperature(Weekday::Monday), Some(20));

        week_temperatures.set_temperature(Weekday::Monday, 25);
        assert_eq!(week_temperatures.get_temperature(Weekday::Monday), Some(25));

        week_temperatures.set_temperature(Weekday::Tuesday, 30);
        week_temperatures.set_temperature(Weekday::Wednesday, 35);
        week_temperatures.set_temperature(Weekday::Thursday, 40);
        week_temperatures.set_temperature(Weekday::Friday, 45);
        week_temperatures.set_temperature(Weekday::Saturday, 50);
        week_temperatures.set_temperature(Weekday::Sunday, 55);

        assert_eq!(week_temperatures.get_temperature(Weekday::Monday), Some(25));
        assert_eq!(
            week_temperatures.get_temperature(Weekday::Tuesday),
            Some(30)
        );
        assert_eq!(
            week_temperatures.get_temperature(Weekday::Wednesday),
            Some(35)
        );
        assert_eq!(
            week_temperatures.get_temperature(Weekday::Thursday),
            Some(40)
        );
        assert_eq!(week_temperatures.get_temperature(Weekday::Friday), Some(45));
        assert_eq!(
            week_temperatures.get_temperature(Weekday::Saturday),
            Some(50)
        );
        assert_eq!(week_temperatures.get_temperature(Weekday::Sunday), Some(55));
    }
}
```
</details>

## 解説

(配列を使わなくてもここまでの応用で普通に記述可能ですが、)一週間の気温を保存する配列を構造体に定義し、コンストラクタとその配列へのゲッター・セッターを記述すればACです。

```rust:lib.rs
pub struct WeekTemperatures {
    temperatures: [Option<i32>; 7],
}

pub enum Weekday {
    Monday,
    Tuesday,
    Wednesday,
    Thursday,
    Friday,
    Saturday,
    Sunday,
}

impl WeekTemperatures {
    pub fn new() -> Self {
        Self {
            temperatures: [None; 7],
        }
    }

    pub fn get_temperature(&self, day: Weekday) -> Option<i32> {
        self.temperatures[day as usize]
    }

    pub fn set_temperature(&mut self, day: Weekday, temperature: i32) {
        self.temperatures[day as usize] = Some(temperature);
    }
}
```

ところで[想定回答](https://github.com/mainmatter/100-exercises-to-learn-rust/blob/solutions/exercises/06_ticket_management/01_arrays/src/lib.rs)だと `match` 式を使うように書いていますし、実際このように書いたほうが "Rustっぽい" です。

```diff_rust:lib.rs (該当箇所抜粋)
impl From<Weekday> for usize {
    fn from(value: Weekday) -> Self {
        use Weekday::*;

        match value {
            Monday => 0,
            Tuesday => 1,
            Wednesday => 2,
            Thursday => 3,
            Friday => 4,
            Saturday => 5,
            Sunday => 6,
        }
    }
}

// ...

impl WeekTemperatures {
    pub fn new() -> Self {
        Self {
            temperatures: [None; 7],
        }
    }

    pub fn get_temperature(&self, day: Weekday) -> Option<i32> {
-        self.temperatures[day as usize]
+        self.temperatures[usize::from(day)]
    }

    pub fn set_temperature(&mut self, day: Weekday, temperature: i32) {
-        self.temperatures[day as usize] = Some(temperature);
+        self.temperatures[usize::from(day)] = Some(temperature);
    }
}
```

ところが今回演習に取り組んでみたところ、 **フィールドを持たない列挙体については `as usize` で整数型へのキャストが可能** みたいなんですよね...意外な仕様を知ったので折角の機会ということで載せてみました！

配列それ自体に対してはあまり解説することがない...Rustの配列はスタック領域に保存される静的配列を指すため、サイズの変更ができないので動的配列と比べるとあまり使われないですね、ぐらいでしょうか...？使用頻度は少ないですが、存在や仕組みは知っておいて損がないと思います。

# [[06_ticket_management/02_vec](https://github.com/mainmatter/100-exercises-to-learn-rust/blob/main/exercises/06_ticket_management/02_vec/src/lib.rs)] 動的配列

- [6.2. Vectors](https://rust-exercises.com/06_ticket_management/02_vec)

問題はこちらです。

```rust:lib.rs
// Given a number `n`, return the `n+1`th number in the Fibonacci sequence.
//
// The Fibonacci sequence is defined as follows:
//
// - The first number of the sequence is 0.
// - The second number of the sequence is 1.
// - Every subsequent number is the sum of the two preceding numbers.
//
// So the sequence goes: 0, 1, 1, 2, 3, 5, 8, 13, 21, and so on.
//
// We expect `fibonacci(0)` to return `0`, `fibonacci(1)` to return `1`,
// `fibonacci(2)` to return `1`, and so on.
pub fn fibonacci(n: u32) -> u32 {
    // TODO: implement the `fibonacci` function
    //
    // Hint: use a `Vec` to memoize the results you have already calculated
    // so that you don't have to recalculate them several times.
    todo!()
}
```

<details><summary>テストを含めた全体</summary>

```rust:lib.rs
// Given a number `n`, return the `n+1`th number in the Fibonacci sequence.
//
// The Fibonacci sequence is defined as follows:
//
// - The first number of the sequence is 0.
// - The second number of the sequence is 1.
// - Every subsequent number is the sum of the two preceding numbers.
//
// So the sequence goes: 0, 1, 1, 2, 3, 5, 8, 13, 21, and so on.
//
// We expect `fibonacci(0)` to return `0`, `fibonacci(1)` to return `1`,
// `fibonacci(2)` to return `1`, and so on.
pub fn fibonacci(n: u32) -> u32 {
    // TODO: implement the `fibonacci` function
    //
    // Hint: use a `Vec` to memoize the results you have already calculated
    // so that you don't have to recalculate them several times.
    todo!()
}

#[cfg(test)]
mod tests {
    use crate::fibonacci;

    #[test]
    fn first() {
        assert_eq!(fibonacci(0), 0);
    }

    #[test]
    fn second() {
        assert_eq!(fibonacci(1), 1);
    }

    #[test]
    fn third() {
        assert_eq!(fibonacci(2), 1);
    }

    #[test]
    fn tenth() {
        assert_eq!(fibonacci(10), 55);
    }

    #[test]
    fn thirtieth() {
        assert_eq!(fibonacci(30), 832040);
    }
}
```
</details>

## 解説

フィボナッチ数列を返す関数を定義せよという問題です。30程度なら要らない気もしますが、プログラミングでの実装練習において「フィボナッチ数列」は「メモ化」の枕詞であり、この問題でもメモとして動的配列を使用してほしいようです。

```rust:lib.rs
pub fn fibonacci(n: u32) -> u32 {
    let n = n as usize;

    // 1.
    if n == 0 {
        return 0;
    }

    if n == 1 {
        return 1;
    }

    // 2.
    let mut memo = vec![0; n + 1];
    memo[0] = 0;
    memo[1] = 1;

    // 3.
    for i in 2..=n {
        memo[i] = memo[i - 2] + memo[i - 1];
    }

    memo[n]
}
```

処理の詳細になります。

1. 計算不可能な特定の値に対するガード節
    - 再帰で書く場合は再帰を終わらせるために必須のもので、再帰実装も試していたのでその名残です
2. 必要分のサイズを持つ動的配列 `memo` を `vec!` マクロにより作成
    - 計算に必要な初期値も代入
3. `for` 文で答えを計算

また本エクササイズでは解説することがあまりない... `vec![0; n + 1]` だと `n` の値がコンパイル時にわからないから、静的配列ではなく動的配列を使う必要がある、ということがわかればとりあえず良しです！

:::note
**C言語のVLA**

あんまり他言語に苦言を呈するのはよろしくないですが、母国語C言語に対して色々ある不満の一つに、C99から追加されたVLA (Variable Length Array) という機能があります。このVLAを使用すると、静的配列と同じ記法で可変長配列を宣言できます。

https://qiita.com/raccy/items/bfcb62086c5f027d57b6

下記コードはC11等ではコンパイルが通りちゃんと動作します。え？？

```c:C
#include <stdio.h>

int main(void) {
    int lngth;
    scanf("%d", &lngth);

    // コンパイル時サイズ不定なのに静的配列みたいに書けちゃうの...？？
    int array[lngth];

    for (int i = 0; i < lngth; i++) {
        array[i] = i;
        printf("%d\n", array[i]);
    }

    return 0;
}
```

本来可変長配列は `malloc` 関数を使ってヒープ上に動的に確保されるべきです(過激派)。この機能が実装された後にC言語を学んだ初学者は「 `malloc` 関数ってなんですか？」となること請け合いです！こんなお節介改良のせいで、スタックとヒープというコンピュータサイエンスで必要な知識の説明機会が後延ばしになってしまっているのです[^edu]。後から長さを変えるなどはできないらしい(可変長という和訳はミスリードでは...？)のがまだ救いでしょうか。

言語はアップデートされていくものではありますが、正直自分はC言語には「教育用言語」としての役割を期待しているので、この改良はやめてほしいなぁとか思ってしまいました...古き良きC言語で転んでRustを始めるのです...(強い思想)
:::

[^edu]: VLAのせい(おかげ？)でmallocに気づかずに課題を終えていた友人が実際にいました。

では次の問題に行きましょう！

次の記事: [【20】 動的配列のリサイズ・イテレータ ～またまたトレイト登場！～](https://qiita.com/namn1125/items/6e4dede789c6de97f396)