Rust 012 関連型 - トレイトが型を持つとき

第12章へようこそ。今日のテーマは「関連型」です。第4章でイテレータを学んだとき、Itemという言葉が出てきました。イテレータが返す要素の型。整数のイテレータなら整数。文字列のイテレータなら文字列。このItemは、Iteratorトレイトの中で定義された型です。トレイトの中に型が定義されている。これが関連型。関連型は、第10章の型パラメータと似た役割を持つように見える。どちらも「後から決まる型」を表現する。しかし、型パラメータと関連型には構造的な違いがあります。なぜRustは両方を用意したのか。どう使い分けるのか。今日はこの違いを見ていきます。