第5日目 - The book 第5, 6章をよむ - 構造体・列挙型

構造体について．C++の構造体はほとんど触ったことがない．

5.1 Defining and Instantiating Structs

異なる型の値をまとめて持てるという点で構造体はタプルに似ているが，名前を付けられる点で異なる．構成要素の値の順序を考えなくてよい．JSのオブジェクトと同じモチベーションだ．各データはfieldと呼ぶ．

具体的な値を持つ構造体の実体をinstanceという．「『実体をinstance』という」，同語反復では？

フィールドはインスタンスがミュータブルかそうでないかに応じて，「全てのフィールドがミュータブル」か「全てのフィールドがイミュータブル」かのどちらかである．特定のフィールドだけミュータブルとかはない．

Using the Field Init Shorthand when Variables and Fields Have the Same Name

フィールドへの値の代入は，フィールドのキーと同名の時反復しなくてよい．JSで知ってる．Field init shorthandという専門用語があるらしい．

Creating Instances From Other Instances With Struct Update Syntax

これもJSで知ってる．スプレッド構文だ．ただ，この順序で書くとJSなら下にあるuser1のusernameとemailが使われるところだ．

    let user2 = User {
        email: String::from("user2@example.com"),
        username: String::from("anotherusername567"),
        ..user1
    };

Using Tuple Structs without Named Fields to Create Different Types

タプルで構造体を定義することができる．この場合名前はない．例としてRGB値や3次元座標が挙げられている．

TypeScriptのインターフェースや型であれば，形状が同じであればたとえ名前が違っても同じ型として扱われる．Rustの構造体はそうではない．

Unit-Like Structs Without Any Fields

フィールドを持たない構造体も定義出来てunit-like structsという．Unit-typetとは空のタプル()のこと．トレイトを実装するときに有用になるらしい．

Ownership of Struct Data

構造体のフィールドに参照を持つことは可能だが，ライフタイムを慎重に扱う必要がある．10章で学ぶ．

5.2 An Example Program Using Structs

長方形構造体．この例あらゆる場所で見るな．

型の持つドキュメントになるという性質を強調する点は，TypeScriptの解説を読むときの感覚に似ている．それはそうか．

println!の{}の中では色々なフォーマットが行われるが，構造体はできない．プリミティブ型などはDisplayトレイトを実装しているためできる．

#[derive(Debug)]を構造体の定義の直前に付けると，{:?}なら可能になる．この場合Debugトレイトの実装による．{:#?}とするとさらに改行まで入れてくれる．

5.3 Method Syntax

メソッドについて．

impl Struct { fn method(&self) -> ... }が基本．&mut selfをパラメータに持つこともあるが，所有権を移すselfを引数に持つことは稀．

Where’s the -> Operator?

C, C++には.と->という，メソッドを呼ぶためのことなる2つの演算子があるが，Rustではautomatic referencing及びdereferencingが行われるため，->に相当するものはない．Rustはそのメソッドを呼んでいるのが参照なのかそうでないのか自動で判別する．

Methods with More Parameters

メソッドの第n(>=2)引数以降にself以外の引数を持つことができる．

Associated Functions

selfを引数に取らない関数をassociated functionという．静的メソッド？　メソッドとは呼ばない．この関数は構造体を名前空間に持ち，::演算子で呼び出すことができる．

Multiple impl Blocks

implブロックは複数持つことができる．ジェネリック型やトレイトを扱うときに役に立つ．

Chap.6 Enums and Pattern Matching

列挙型．列挙型は各言語で色々な形で実装されているが，Rustでのそれは関数型言語のalgebric data typeと呼ばれるものに近い．

Enum Values

Enumの各variantは引数を取ることができて，同じenumに属して？いても引数は異なる型であってよい．

リテラシーがなさすぎてIpAddr列挙型をこう定義するモチベーションがピンとこない……．

IPアドレス - Wikipedia

IpAddr in std::net - Rust

The Option Enum and Its Advantages Over Null Values

Rustは言語仕様からnullを排除している．すごい．ベクターへのpopでmatchかexpectしないといけないのが一瞬奇妙に思えたけど，あれはnullが存在しない世界を実現するためのものだったのか．

Option型はpreludeライブラリに入っている．VariantsのSomeとNoneもpreludeに入っているため，Option::Some等とする必要がない．Optionはジェネリックで，Someは引数から型推論される．Noneはそうではないから型注釈がいる．

Option in std::option - Rust

undefinedはないのだろうか．というかそもそもundefinedはスクリプト言語特有か？

Chap.5 Using Structs to Structure Related Data