热搜：编程 Python Microsoft 编程语言 C++

Rust中的关联类型总结

发布时间：2024-03-09 07:58:59 来源：互联网

.

1 关联类型简介关联类型是定义通用 trait 的一种机制。它允许在 trait 中定义一个或多个占位符类型，这些类型将在 trait 的实现中具体化。这样

1. 关联类型简介

关联类型是定义通用 trait 的一种机制。它允许在 trait 中定义一个或多个占位符类型，这些类型将在 trait 的实现中具体化。这样可以增强代码的可读性，因为它可以将容器内部的类型移动到 trait 中作为输出类型。

例如，在下面的例子中有一个叫作 Graph 的 trait，它的节点和边使用了两个关联类型。

trait Graph {
    type N;
    type E;

    fn has_edge(&self, n1: &Self::N, n2: &Self::N) -> bool;
    fn edges(&self, n: &Self::N) -> Vec<Self::E>;
}

2. 关联类型与泛型的区别

关联类型和泛型都可以用来定义通用 trait，但它们之间存在一些区别。如果 trait 中包含泛型参数，那么可以对同一个目标类型多次 impl 此 trait，每次提供不同的泛型参数。而关联类型方式只允许对目标类型实现一次。如果 trait 中包含泛型参数，那么在具体方法调用的时候，必须加以类型标注以明确使用的是哪一个具体的实现。而关联类型方式具体调用时不需要标注类型（因为不存在模棱两可的情况）。

例如，假设你有一个叫做 MyNumeric 的类型。你可以在此类型上实现 From、From、From 等多种数据转换。但是对于关联类型，一个类型只能实现一个 trait 一次。

trait A<T> {
    fn f(t: T) -> T;
}

struct S {}

// 第一个实现: A<String>
impl A<String> for S {
    fn f(t: String) -> String {
        t
    }
}

// 第二个实现：A<i32>
impl A<i32> for S {
    fn f(t: i32) -> i32 {
        t
    }
}

trait A {
    type Item;
    fn f(t: Self::Item) -> Self::Item;
}

struct S {}

impl A for S {
    type Item = i32;
    fn f(t: Self::Item) -> Self::Item {
        t
    }
}

因此，在选择使用关联类型还是泛型时，需要根据具体情况进行判断。如果针对特定类型的 trait 有多个实现（例如 From），则使用泛型；否则使用关联类型（例如 Iterator 和 Deref）。

3. 关联类型的定义语法

关联类型的定义语法如下：

trait Contains {
    type A;
    type B;

    fn contains(&self, _: &Self::A, _: &Self::B) -> bool;
}

注意使用了 Contains trait 的函数就不需要写出 A 或 B 了：

// 不使用关联类型
fn difference<A, B, C>(container: &C) -> i32
where
    C: Contains<A, B>,
{
    ...
}

// 使用关联类型
fn difference<C: Contains>(container: &C) -> i32 {
    ...
}

4. 关联类型的使用场景

关联类型可以用于多种场景，例如在定义通用容器时，可以使用关联类型来表示容器内部的元素类型。这样可以增强代码的可读性，因为它可以将容器内部的类型移动到 trait 中作为输出类型。

struct Container(i32, i32);

trait Contains {
    type A;
    type B;

    fn contains(&self, _: &Self::A, _: &Self::B) -> bool;
    fn first(&self) -> i32;
    fn last(&self) -> i32;
}

impl Contains for Container {
    type A = i32;
    type B = i32;

    fn contains(&self, number_1: &i32, number_2: &i32) -> bool {
        (&self.0 == number_1) && (&self.1 == number_2)
    }

    fn first(&self) -> i32 {
        self.0
    }

    fn last(&self) -> i32 {
        self.1
    }
}

5. 关联类型与 trait 的配合使用

关联类型可以与 trait 配合使用，这样可以更好地表达代码中的抽象概念。例如，在下面的例子中，我们定义了一个叫做 Contains 的 trait，它包含两个关联类型 A 和 B。然后我们定义了一个叫做 Container 的结构体，并为它实现了 Contains trait。在实现过程中，我们指定了 A 和 B 的具体类型为 i32。

struct Container(i32, i32);

trait Contains {
    type A;
    type B;

    fn contains(&self, _: &Self::A, _: &Self::B) -> bool;
}

impl Contains for Container {
    type A = i32;
    type B = i32;

    fn contains(&self, number_1: &i32, number_2: &i32) -> bool {
        (&self.0 == number_1) && (&self.1 == number_2)
    }
}