Rust关联类型定义中type语法右侧为何可直接使用trait约束

你看到的trait定义内type 关联类型名: TraitA + TraitB;的写法是Rust 1.32版本就已稳定的正式标准语法，正式名称为关联类型边界，不属于未记录的实验特性，你之前未在关联项文档中找到对应规则，是因为该语法规则归类在类型边界规范的关联类型边界条目下，而非通用关联类型定义条目。

语法作用 #

该写法的核心作用是给当前trait的关联类型强制添加实现约束：

• 所有实现当前trait的类型，在为该关联类型指定具体类型时，指定的类型必须满足冒号后列出的所有trait约束，否则会直接触发编译错误
• 在当前trait的默认方法实现中，可以直接调用该关联类型实例上被约束trait的方法，不需要在每个方法上重复编写相同的where约束

以你给出的代码为例，Container trait中写type Item: ATrait + BTrait;后，编译器会自动做两层校验：

• 你在impl Container for ContainerType时指定的type Item = ItemType;，必须保证ItemType同时实现ATrait和BTrait，如果删掉任意一个trait的实现，编译会直接抛出「关联类型Item不满足要求的trait约束」的错误
• 如果你后续给Container trait写带默认实现的方法，可以直接在方法里对Self::Item类型的值调用a()、b()方法，不需要额外加约束声明。

和其他约束写法的差异 #

很多初学者容易把这个写法和泛型参数约束、方法级where约束混淆，核心差异是：

• 关联类型的约束是写在trait定义层的强约束，所有实现者必须遵守，不需要在使用trait的地方重复声明约束
• 如果不在关联类型后加约束，你需要在所有用到该关联类型、且需要调用对应trait方法的位置反复写where Self::Item: ATrait + BTrait，代码冗余度会高很多。

内容的提问来源于stack exchange，提问作者Simplex_