Rust 135 メモリ具体化 - ジェネリクスが形を持つ瞬間

第135章へようこそ。第134章で、並行性とメモリの関係を見ました。複数のスレッドが同じバイト列に触れるとき、型システムが安全を構造的に保証する。今日のテーマは「メモリ具体化」です。ジェネリクスが形を持つ瞬間を見ます。第7章でジェネリクスを学びました。第120章で、ジェネリクスのゼロコスト抽象を語りました。モノモーフィゼーション。コンパイル時に具体的な型で展開される。今日の問いは、ジェネリクスがメモリにどう影響するか。ジェネリックな関数を書いたとき、メモリの中には何があるのか。型パラメータが具体化されるとき、メモリレイアウトはどう決まるのか。ジェネリクスとトレイトオブジェクトで、メモリの姿はどう異なるのか。抽象が具体になる瞬間を、メモリの側から見ます。