--- title: ジェネリクスと単一化 url: https://doc.liz6.com/ja/rust/03-advanced-generics-and-traits/01-generics-and-monomorphization locale: ja area: rust tags: - rust - generics - monomorphization - zero-cost-abstraction - const-generics - specialization - advanced-generics-and-traits date: 2026-06-30 modified: 2026-07-16 description: Rustにおけるジェネリクスの中核メカニズムは単一化（monomorphization）です。コンパイラは各具体的な型引数に対して独立した機械語を生成します。つまり、`Vec`と`Vec`は全く異なる関数本体を持ち、実行時のオーバーヘッドはゼロですが、その代償としてバイナリサイズが膨張します。const genericsは定数値もジェネリックパラメータに組み込み、specializationは特定の型に対してより最適な実装を提供することを可能にします（現時点ではnightly版のみ利用可能）。 --- # ジェネリクスと単一化 > Rustにおけるジェネリクスの中核メカニズムは単一化（monomorphization）です。コンパイラは各具体的な型引数に対して独立した機械語を生成します。つまり、`Vec`と`Vec`は全く異なる関数本体を持ち、実行時のオーバーヘッドはゼロですが、その代償としてバイナリサイズが膨張します。const genericsは定数値もジェネリックパラメータに組み込み、specializationは特定の型に対してより最適な実装を提供することを可能にします（現時点ではnightly版のみ利用可能）。 ## 単一化（Monomorphization）: 各具体的な型に対してコンパイル時にコードを生成 Rustのジェネリクスはランタイムでのポリモーフィズム（vtableなし）ではありません。コンパイラは、ジェネリクスが使用される各具体的な型に対して独立した機械語を生成します。 ```rust fn max(a: T, b: T) -> T { if a > b { a } else { b } } let _ = max(1, 2); // コンパイラは max_i32 を生成 let _ = max(1.0, 2.0); // コンパイラは max_f64 を生成 let x = "a"; let y = "b"; let _ = max(x, y); // コンパイラは max_&str を生成 // 出力されるバイナリには、3つの独立した max 関数が含まれており、それぞれが具体的な型に対して最適化されています ``` これはC++テンプレートのメカニズムと同じく、コンパイル時のコード生成です。しかし、Rustではジェネリクスは**定義時にチェックされます**（インスタンス化を待たないため）、その結果、エラーメッセージがより明確になります。C++テンプレートでのエラーは通常、インスタンス化時に発生するため、数十行に及ぶテンプレート関連のエラーメッセージになることがあります。 ## 「ゼロコスト抽象」の意味 リリースビルドでは、ジェネリック関数は通常、呼び出し元で**インライン展開**されます。最終的なアセンブリコードにはジェネリック関数の存在は表示されず、`i32`や`f64`を直接操作する`cmp`命令が数行残るだけです。これがRustが言うところの「ゼロコスト抽象（zero-cost abstraction）」です。高レベルな抽象化を利用できますが、コンパイル後のコードは、具体的な型に対して手書きで記述したコードと同じ速度で実行されます。 ## コードの肥大化と緩和策 各具体的な型に対してコードが生成されるため、多くの型組み合わせが存在すると、コンパイル時間の爆発的増加とバイナリサイズの肥大化を招きます。古典的な緩和策は、**非ジェネリックな内部関数を抽出**することです。 ```rust fn process(items: &[T]) { for item in items { // ジェネリック部分: Stringに変換 (各Tに対して異なる Display::fmt が呼び出される) let s = item.to_string(); // 非ジェネリック部分: 後のロジックはTに依存しない process_inner(&s); // 1回だけコンパイルされる } } fn process_inner(s: &str) { ... } // Tに依存しない → 分岐しない ``` 重要なのは、ジェネリックでなければならない部分（型変換など）と、トレイトオブジェクトや具体的な型で処理できる部分（ビジネスロジックなど）を分離することです。 ## const generics: 値をジェネリックパラメータとして使用 従来のジェネリックパラメータは型でしたが、const generics（Rust 1.51以降）により**値**もジェネリックパラメータとして使用できるようになりました。具体的には、コンパイル時定数です。 ```rust struct Buffer { data: [T; N] } let b1: Buffer = Buffer { data: [1, 2, 3, 4] }; let b2: Buffer = Buffer { data: [1; 8] }; // b1 と b2 は**異なる型**です! 互いに代入することはできません ``` 主な用途としては、固定サイズの配列/ベクタ、SIMDレーン、コンパイル時における配列サイズの検証などがあります。 ## Specialization（nightly版、まだstableではない） 現在のstable版Rustではトレイトのspecializationはサポートされていません。つまり、あるトレイトに対して「より具体的なimplがより一般的なimplを上書きする」ということはできません。これは、`Vec`に対してジェネリックな`Vec`よりも効率的な`Extend` implを提供するなど、いくつかのパフォーマンス最適化を制限しています。nightly版では`min_specialization`が利用可能ですが、stable版ではまだ利用できません。現時点での代替案としては、newtypeパターンを使用して特殊化を提供する方法があります。 ## 参考 - **Rust Book**: 第10章 10.1節 - **Rust Reference**: const generics - **RFC 2000**: const generics; **RFC 1210**: Specialization *Keywords: monomorphization, zero-cost abstraction, code bloat, const generics, specialization*