11、Rust 泛型、Impl 与 Traits 入门

Rust 泛型、Impl 与 Traits 入门

在现代编程语言中，能够使用可以表示任意类型的特性是一项关键优势。它不仅能减少所需的代码量，还能在代码创建过程中提供更大的灵活性。Rust 不仅支持泛型类型和函数，还引入了 Traits。Traits 可以被视为泛型的逻辑扩展，它能告知编译器该类型必须提供的功能。

1. Rust 中的泛型基础

对于有 C++ 或 C# 编程经验的人来说，泛型并不陌生。在 Rust 中，泛型通常用 T 表示，它的使用方式与标准类型类似。由于 T 实际上没有具体类型，所以它被称为多态参数。

泛型类型有一个简单的规则：类型必须匹配。例如，如果将 T 定义为 f64 ，却尝试为其赋值一个 String 类型，编译器将无法构建该代码。

虽然 T 可能是最常用的泛型类型表示字母，但实际上可以使用任何字母甚至单词。例如：

enum Result<Y, N>
{
    Ok(Y),
    Err(N),
}

这里的 Y 和 N 不需要是相同的类型， Y 可以是 String 类型， N 可以是 bool 类型。

标准库中的 Op