用途：本技能面向 Rust 泛型关联类型（Generic Associated Types，GAT），即 trait 中形如 type Item<'a> 或 type Output<T> 的关联类型。Rust 1.65（2022 年 11 月）起支持在关联类型上定义生命周期、类型和 const 泛型，使关联类型成为按泛型索引的类型族。
主要能力：讲解 GAT 声明语法（泛型参数、输出约束、where 子句、impl 侧定义），并给出三类典型模式：LendingIterator（next 返回值借用 &mut self）、按生命周期参数化的回调注册表、按生命周期索引的指针族。还说明 where Self: 'a 约束为何必要（避免 Self 提前释放导致悬垂），以及使用处需用 for<'a> 高阶 trait 约束。
使用方式：先判断是否真的需要 GAT——若关联类型无需按调用变化，应使用普通关联类型。生命周期 GAT 需在 trait 与 impl 两侧都写 where Self: 'a，并重复泛型参数与 where 子句。示例：trait LendingIterator { type Item<'a> where Self: 'a; fn next<'a>(&'a mut self) -> Option<Self::Item<'a>>; }。
限制：含 GAT 的 trait 不是 dyn 兼容的（E0038），无法用 &dyn Trait；LendingIterator 不是 Iterator，标准库的 map、filter、collect 不适用，需借助 itertools、streaming-iterator、lending-iterator 等 crate。常见错误包括 E0106、E0309、E0277、E0038、E0478、E0658（工具链低于 1.65）。资料未提供安装命令、收费或平台信息。