【Rust音声学習 第101章】関連型と型パラメータ ― 「一つだけ」か「複数」か

第101章へようこそ。今日のテーマは「関連型と型パラメータの使い分け」です。第12章で関連型を紹介しました。IteratorトレイトのItem型。実装側が一つだけ決定する型。そこでは、構文としての関連型を学びました。今日は、設計判断としての関連型に踏み込みます。トレイトに型を持たせる方法は二つあります。関連型を使う方法と、型パラメータを使う方法。Iteratorトレイトは関連型Itemを持っています。nextメソッドの戻り値の中身が何の型かを、関連型Itemが決定する。これを型パラメータで表現することもできたはずです。Iteratorトレイト自体に型パラメータを持たせ、何の型を返すかを外から指定する方式。どちらでも同じことが表現できるように見える。しかし、意味がまったく違う。この違いが、トレイト設計の核心に関わります。