Rust 关联类型
示例
当实现特征的类型和关联的类型之间存在一对一关系时，请使用关联的类型。
有时也称为输出类型，因为这是我们将特征应用到该类型时赋予该类型的项。
创建
trait GetItems {
type First;
//^~~~定义关联的类型。
type Last: ?Sized;
//^~~~~~~~~相关类型也可能受特征约束
fn first_item(&self) -> &Self::First;
//^~~~~~~~~~~~使用`Self::`来指代相关的类型
fn last_item(&self) -> &Self::Last;
//^~~~~~~~~~~相关类型可以用作函数输出...
fn set_first_item(&mut self, item: Self::First);
//^~~~~~~~~~~~...输入，以及任何位置。
}实施方式
impl<T, U: ?Sized> GetItems for (T, U) {
type First = T;
type Last = U;
//^~~分配关联的类型
fn first_item(&self) -> &Self::First { &self.0 }
fn last_item(&self) -> &Self::Last { &self.1 }
fn set_first_item(&mut self, item: Self::First) { self.0 = item; }
}
impl<T> GetItems for [T; 3] {
type First = T;
type Last = T;
fn first_item(&self) -> &T { &self[0] }
//^您可以参考实际类型而不是`Self::First`
fn last_item(&self) -> &T { &self[2] }
fn set_first_item(&mut self, item: T) { self[0] = item; }
}引用关联的类型
如果我们确定类型可以在泛型中T实现GetItems，则可以简单地使用它T::First来获取关联的类型。
fn get_first_and_last<T: GetItems>(obj: &T) -> (&T::First, &T::Last) {
//^~~~~~~~~指关联类型
(obj.first_item(), obj.last_item())
}否则，您需要明确告知编译器该类型正在实现的特征
let array: [u32; 3] = [1, 2, 3]; let first: &<[u32; 3] as GetItems>::First = array.first_item(); //^~~~~~~~~~~~~~~~~~~~~~~~~~~~[u32;3]可以实现多种特征，其中许多 //它们提供“First”关联类型。 // thus the explicit "cast" is necessary here. assert_eq!(*first, 1);
约束关联类型
fn clone_first_and_last<T: GetItems>(obj: &T) -> (T::First, T::Last)
where T::First: Clone, T::Last: Clone
//^~~~~使用where子句按特征约束关联类型
{
(obj.first_item().clone(), obj.last_item().clone())
}
fn get_first_u32<T: GetItems<First=u32>>(obj: &T) -> u32 {
//^~~~~~~~~~~~约束相等类型
*obj.first_item()
}