第6日目 - The book 第6章をよむ（続） - 列挙型とmatch式

文字コード分からなすぎるので買った．日本語を扱うコードを恐れないようになりたい

そういえばこれも気になっている．

中国語タイプライターを作ろうとした人びとの知的・技術的葛藤と格闘を，西洋，中国，日本を舞台にダイナミックに辿る圧巻の文化史．製品開発やその宣伝を跡づける興味深い図版多数収載．

The book 第6章”Enums and Pattern Matching”よむ（続）

The `match` Control Flow Operator

The power of match comes from the expressiveness of the patterns and the fact that the compiler confirms that all possible cases are handled.

網羅性検査．素晴らしい．

enum Coin {
    Penny,
    Nickel,
    Dime,
    Quarter,
}

漫然と読んでいて気付いていなかったが，列挙型のvariant同士は等号比較ができないのか．

error[E0369]: binary operation `==` cannot be applied to type `Coin`
  --> src\main.rs:32:32
   |
32 |     println!("{}", Coin::Penny == Coin::Penny);
   |                    ----------- ^^ ----------- Coin
   |                    |
   |                    Coin
   |
   = note: an implementation of `std::cmp::PartialEq` might be missing for `Coin`  

JavaのComparableインターフェースみたいなものを実装している必要がある．

Patterns that Bind to Values

へ～……．

From 1999 through 2008, the United States minted quarters with different designs for each of the 50 states on one side.

50州25セント硬貨 - Wikipedia

オハイオ州の宇宙服を着たニール・アームストロングの図柄が良い．

matchのアームはenumのvariantの中身を取り出せる．中身．前の章見てもvalueとしか言っていないな．Fieldではない．

Matching with `Option<T>`

    fn plus_one(x: Option<i32>) -> Option<i32> {
        match x {
            None => None,
            Some(i) => Some(i + 1),
        }
    }

Variantが「実体」なのかそうでないのかでやや捉え難さを感じる．

Matches Are Exhaustive

matchがパターンを尽くしていない場合，コンパイルしないこと．Exhaustiveという．

The `_` Placeholder

ワイルドカード．switch文のdefault．

6.3 Concise Control Flow with `if let`

（if letは網羅性検査の恩恵を失わせるということに関して）

In other words, you can think of if let as syntax sugar for a match that runs code when the value matches one pattern and then ignores all other values.

何故代入でもないのに等号1つ=なんだろう．

次の7章がパッケージの扱い方．

TODO

VSCodeと同じ見た目でpretty printしたい．

The book 第6章”Enums and Pattern Matching”よむ（続）

The match Control Flow Operator