第110章へようこそ。

今日のテーマは「自己参照の壁」です。

第78章でPinを学びました。

値をメモリ上の位置に固定する仕組み。

自己参照構造体がムーブで壊れる問題を防ぐためにPinが存在する、と説明しました。

今日は、その問題の根をもっと深く掘ります。

なぜ自己参照構造体がRustで難しいのか。

他の言語では普通にできることが、なぜRustでは壁にぶつかるのか。

答えは、Rustの所有権モデルの根幹にある。

所有権とライフタイムの仕組みは、自分自身を指す参照を許容するようには設計されていない。

これは設計上の欠陥ではなく、安全性を保つための帰結です。

今日は、この壁の正体を見て、その壁をどう迂回するかを学びます。

第4章で半加算器と全加算器を紹介しました。

今日は加算器をさらに深掘りします。

実際のCPUではどのように加算が行われているのか。

そして、なぜ加算器の設計が重要なのか。

第109章へようこそ。

今日のテーマは「変性」、バリアンスです。

第107章で、借用チェッカーの目を学びました。

第108章で、トレイトオブジェクトとライフタイムの関係を学びました。

今日は、ライフタイムの「代入互換性」を考えます。

ある関数が、あるライフタイムを持つ参照を要求している。

手元には、もっと長いライフタイムを持つ参照がある。

この長い参照を、短い参照の代わりに渡せるか。

直感的には、渡せるはずです。

長く生きる参照は、短い期間の中でも当然有効。

借りた本の返却期限が来月なら、今週中に使う分には何の問題もない。

しかし、Rustではこの直感が常に通るわけではない。

文脈によって、長い寿命を短い寿命の代わりに使えたり、使えなかったりする。

この「代入互換性の規則」が、変性です。

前章では、論理ゲートで足し算ができることを見ました。

でも、その足し算は2進数で行われていました。

1たす1が、2ではなく、繰り上がって10になる世界。

今日は2進数そのものについて掘り下げます。

なぜコンピュータは10進数ではなく2進数を使うのか。

そして、2進数で数をどう表現するのか。

第108章へようこそ。

今日のテーマは「ライフタイムとトレイト」です。

第95章で、トレイトオブジェクトを学びました。

具体的な型を消して、dynを付けたトレイトとして扱う。

vtableを通じて、型の名前を知らなくてもメソッドを呼べる。

第13章から第15章で、ライフタイムを学びました。

参照には有効期間がある。参照先より長く生きてはならない。

今日は、この二つが交差する場所を見ます。

トレイトオブジェクトに、ライフタイムが絡むとどうなるか。

型を消しても、消えないものがある。

それが、参照の寿命です。

型の名前は消える。vtableでメソッドは呼べる。

しかし、その値の中に参照が含まれているなら、その参照の有効期間はどこかに記録されなければならない。

トレイトオブジェクトにライフタイム境界が付く理由。それが今日の核心です。

前章では、基本的な論理ゲートを学びました。

NOT、AND、OR、XOR、NAND。

でも、これらは単体では単純すぎます。

入力を1つか2つ受け取って、1ビット出力するだけ。

今日は、これらのゲートを組み合わせる話です。

組み合わせることで、驚くほど複雑な機能が生まれます。

第107章へようこそ。

今日のテーマは「借用チェッカーの目」です。

第13章でライフタイムの基本を学びました。

参照は、参照先のデータより先に消えなければならない。

第14章で、関数のライフタイム注釈を学びました。

第15章で、省略規則を学びました。

今日は視点を変えます。

あなたが書いたコードを、コンパイラはどう見ているか。

借用チェッカーは、Rustコンパイラの中でも最も独特な部品です。

他の言語のコンパイラは、型が合っているかを見る。構文が正しいかを見る。

Rustのコンパイラは、それに加えて「この参照は今使って安全か」を見る。

コンパイルが通らないとき、借用チェッカーが何を見て拒否しているかを理解できれば、エラーメッセージの意味が変わります。

「なぜ怒られているか分からない」から「何を守ろうとしているか分かる」に変わる。

今日は、借用チェッカーの目を通して、Rustのコードを見る方法を学びます。

前章では、トランジスタというスイッチを学びました。

今日は、そのスイッチを組み合わせて「論理」を作ります。

論理ゲート。

これは、0と1を入力として受け取り、何らかのルールで0か1を出力する部品です。

たった4種類の論理ゲートで、コンピュータのすべての計算が可能になります。

第106章へようこそ。

今日のテーマは「エラー型の設計」です。

第9章でResult型を学びました。

第64章でエラーハンドリングのパターンを学びました。

第69章でanyhowとthiserrorの使い分けを学びました。

今日は、これらの知識を前提に、エラー型の設計判断を深掘りします。

エラー型の設計で最も重要な問いは、「呼び出し側はこのエラーで何をするか」です。

エラーをログに書いて終了するのか。

エラーの種類に応じて処理を分岐するのか。

エラーを上位に伝播するだけなのか。

呼び出し側の行動が、エラー型の設計を決定します。

前章では、0と1が電圧の高低であることを学びました。

でも、電圧を「高くしたり低くしたり」するには、何かが必要です。

スイッチのようなもの。

今日の主役は「トランジスタ」。

現代のコンピュータを支える、極めて小さな電子部品です。