第120章へようこそ。

第119章で、コンパイラとの協働を語りました。

コンパイラのエラーは設計へのフィードバックであり、エラーに従って設計を見直すと、コードは単純になる。

今日のテーマは「ゼロコスト抽象」です。

プログラミングにおいて、抽象化は強力な道具です。

共通の処理をまとめる。詳細を隠す。汎用的な部品を作る。

しかし、多くの言語では抽象化にはコストが伴います。

関数の呼び出しを抽象化すると、間接呼び出しが挟まる。

データの型を抽象化すると、実行時に型の情報を調べる処理が入る。

繰り返しの処理を抽象化すると、中間的なデータが生まれる。

抽象化するほど、コードは読みやすくなるが、遅くなる。

だから高速なコードが必要な場面では、抽象化を諦めて具体的なコードを書く。

Rustは、この二者択一を拒否しました。

「抽象化しても、手で書いた具体的なコードと同じ速度で動く。」

これがゼロコスト抽象です。

第10章でメモリ階層について触れました。

レジスタは最速だが容量が小さい。メインメモリは大容量だが遅い。

今日はその間に入る存在、「キャッシュ」を掘り下げます。

CPUが命令を実行する速度と、メインメモリからデータを取得する速度。

この2つには、巨大な差があります。

CPUは1クロックで演算を終えることができる。

メインメモリからデータを取得するには、数十クロックから百クロック以上かかる。

この差を放置すると、CPUは大半の時間を待ちに費やします。

キャッシュは、この問題を解決するために存在します。

前章で、機械語が0と1の列であることを学びました。

16進数で3バイトの並びが「2つのレジスタを足せ」という意味だと言われても、

すぐには理解できません。

人間が読みやすい形式が欲しい。

それが「アセンブリ言語」です。

第119章へようこそ。

今日のテーマは「コンパイラとの協働」です。

Rustのコンパイラはよくエラーを出します。

借用チェッカーに弾かれる。ライフタイムが合わない。型が一致しない。

このエラーに対して、「コンパイラが邪魔をしている」と感じることがある。

書きたいコードが書けない。通したいコードが通らない。

しかし、Rustのコンパイラは検査官ではない。

設計の共同作業者です。

コンパイラのエラーは、コードの問題を指摘しているのではない場合がある。

設計そのものに問題があることを示していることがある。

エラーに従ってコードを直すと、設計が改善される。

この構造が、Rustのコンパイラとの協働です。

前章で、CPUが命令をフェッチ・デコード・実行することを学びました。

その「命令」は、0と1の並びです。

これが「機械語」。

CPUが直接理解できる唯一の言語。

今日は、機械語がどのように構成されているかを見ていきます。

第118章へようこそ。

今日のテーマは「終焉の確定性」です。

英語ではdeterministic destruction、デターミニスティックデストラクションと呼びます。

値はいつ消えるのか。

多くの言語では、この問いに対する答えは「わからない」です。

ガベージコレクタがいつか回収する。いつかはランタイムが決める。

Rustでは、答えは明確です。

所有者がスコープを出たとき、値は消える。

いつ消えるかが、コードの構造から確定している。

この確定性が、Rustの資源管理の基盤です。

CPUは命令を実行します。

1つずつ、延々と。

でも、「命令を実行する」とは具体的に何をしているのでしょうか。

今日は、CPUが1つの命令を処理する過程を追います。

フェッチ、デコード、実行。

この3つのステップを理解しましょう。

第117章へようこそ。

今日のテーマは「網羅性の強制」です。

英語ではexhaustiveness、イグゾースティブネスと呼びます。

match式で全パターンを書かないと、コンパイルが通らない。

この仕組みは、分岐の書き方として学びました。

今日はその仕組みが持つ、もっと根本的な意味を考えます。

網羅性の強制とは、「考えられるすべての状態を列挙しろ」というコンパイラからの要求です。

これは分岐構文の話ではない。

思考の抜けをコンパイル時に検出する装置です。

ここまで、計算する回路と記憶する回路を見てきました。

でも、これらを「いつ」動かすのか。

どうやって全体を協調させるのか。

今日の主役は「クロック」です。

コンピュータの心臓の鼓動。

すべてを同期させる信号。

第116章へようこそ。

今日のテーマは「合成可能性」です。

英語ではcomposability、コンポーザビリティと呼びます。

小さな部品を組み合わせて、大きな振る舞いを作る。

これが合成可能性です。

Rustの標準ライブラリやエコシステムを見ると、この原則が繰り返し現れます。

イテレータのチェーン。トレイトの組み合わせ。Result/Optionの連鎖。型の組み合わせ。

大きな機能を一つの塊として作るのではなく、小さな部品を繋げて構築する。

この設計原則を今日は掘り下げます。