Rust 中为何 impl 后面的泛型需要写两次？

2023-01-20 16:22:53

Rust 中为何 impl 后面 generics 写两次？揭秘背后的奥秘

在当今瞬息万变的技术领域，新兴术语和概念层出不穷，令人目不暇接。作为一门颇受赞誉的现代编程语言，Rust 以其独特的语法风格著称，其中最引人注目的当属 impl 后面的 generics 为何重复出现？

Rust 中 Generics 的本质

要理解这一设计背后的考量，首先需要深入了解 Rust 中泛型（generics）的本质。Rust 采用类型参数来实现泛型，它允许开发者在创建数据结构和函数时指定任意数据类型，无需明确声明。这意味着 Rust 代码能够灵活地适应不同类型的数据，提升代码的可复用性。

impl 后面 Generics 的重复出现

回到最初的问题，为何 impl 后面 generics 要写两次？这背后的设计逻辑十分清晰。在 Rust 中，实现一个 trait 需要使用 impl，而后面的 generics 第一次出现是为了指定该 trait 的泛型参数，这些参数限定了该 trait 可用于哪些类型；紧接着，第二次出现的 generics 则用于指定实现该 trait 的具体数据结构的泛型参数。

参数的职责：

第一次出现的 generics 参数： 约束 trait 可用于哪些类型。
第二次出现的 generics 参数： 指定实现 trait 的数据结构的类型。

举例说明：

为了更直观地理解这一概念，让我们以实现 Display trait 为例。

struct Person<T> {
    name: T,
}

impl<T: Display> Display for Person<T> {
    fn fmt(&self, f: &mut Formatter) -> fmt::Result {
        write!(f, "Person {{ name: {} }}", self.name)
    }
}

let person = Person { name: "John Doe" };
println!("{}", person);