第10章へようこそ。
今日のテーマは「ジェネリクス」です。
ここまでの章で、すでにジェネリクスに何度も出会っています。
第2章のOption型。第3章のResult型。第4章のイテレータが返すVec。
これらはすべて、型パラメータを持つジェネリックな型です。
しかし、「型パラメータを持つ」とはどういうことか。
なぜ型をパラメータにする必要があるのか。
コンパイラはジェネリックなコードをどう処理するのか。
今日はこの仕組みを正面から見ていきます。
