Learn Rust Coding · 课时

特征约束

Q: 「特征约束」这节课中我会学到什么？

使用特征约束泛型。 你通过在浏览器中直接运行的动手代码来练习 Learn Rust Coding，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

使用特征约束泛型。

特征约束 是 CoddyKit 上的免费 Learn Rust Coding 课时。这是第 3 节课，共 4 节。你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。这是 Learn Rust Coding 学习路径的一部分，你的进度在网页和 CoddyKit 应用中同步。 Learn Rust Coding 课程共包含 4 节课。

特征约束的作用

特征约束会将泛型类型限制为实现了某个特征的类型。它会告诉编译器该类型保证提供哪些行为。

这样，泛型代码就可以使用该特征的方法，同时函数仍可用于多种类型。

内联约束语法

最简单的形式是将约束直接放在类型参数后面：T: Trait。这里的 T 必须实现 Display，这样才能打印它。

在函数内部，您现在可以调用 Display 提供的任何方法。

use std::fmt::Display;

fn show<T: Display>(value: T) {
    println!("value = {}", value);
}

自定义特征

约束同样适用于您自己的特征。定义一个带方法的特征，然后使用它约束泛型函数。

这个 Summary 特征要求提供一个返回字符串的 summarize 方法。

trait Summary {
    fn summarize(&self) -> String;
}

实现特征并添加约束

为某个类型实现特征后，受约束的函数就可以接受任何实现了该特征的类型。函数无需知道具体类型，就能调用特征方法。

这个完整程序会输出一篇 Article 的摘要。

trait Summary { fn summarize(&self) -> String; }

struct Article { title: String }

impl Summary for Article {
    fn summarize(&self) -> String {
        format!("Article: {}", self.title)
    }
}

fn notify<T: Summary>(item: &T) {
    println!("{}", item.summarize());
}

fn main() {
    let a = Article { title: String::from("Rust") };
    notify(&a);
}

使用 + 组合约束

使用 + 将多个特征连接起来，即可同时要求它们。这里的 T 必须同时实现 Display 和 Clone。

这样，函数既可以打印值，也可以复制它。

use std::fmt::Display;

fn process<T: Display + Clone>(value: T) {
    let copy = value.clone();
    println!("{}", copy);
}

参数中的 impl Trait

在参数位置使用 impl Trait 语法，是简单特征约束的简写。item: &impl Summary 与 <T: Summary> 参数含义相同。

对于只有一个参数的情况，这种写法更加简洁；但当您需要重复使用该类型时，可控性较低。

trait Summary { fn summarize(&self) -> String; }

fn notify(item: &impl Summary) {
    println!("{}", item.summarize());
}

返回 impl Trait

您也可以返回 impl Trait，在隐藏具体类型的同时，保证它实现了某个特征。这对闭包和迭代器很有用。

调用者只知道结果实现了指定的特征。

fn make_adder(n: i32) -> impl Fn(i32) -> i32 {
    move |x| x + n
}

fn main() {
    let add5 = make_adder(5);
    println!("{}", add5(10));
}

约束支持运算符

运算符会映射到特征：+ 需要 Add，== 需要 PartialEq，比较运算需要 PartialOrd。通过这些特征进行约束，泛型代码就可以使用相应的运算符。

这里的求和要求 T 实现与自身进行运算的 Add。

use std::ops::Add;

fn sum<T: Add<Output = T>>(a: T, b: T) -> T {
    a + b
}

特征的默认方法

特征可以提供默认的方法体。实现者可以重写这些方法，也可以使用默认实现。带约束的泛型会使用当前生效的实现。

这里的 Summary 提供了默认的 summarize，类型可以直接保留它。

trait Summary {
    fn summarize(&self) -> String {
        String::from("(no summary)")
    }
}

struct Note;
impl Summary for Note {}

静态分发与动态分发

特征约束使用静态分发：编译器通过单态化在编译时选择确切的方法。相比之下，dyn Trait 会通过虚函数表使用动态分发。

约束通常更快；dyn 则以速度换取更小的二进制文件和运行时灵活性。

泛型结构体上的约束

特征约束并不局限于函数。定义结构体时也可以要求这些约束，从而保证所有实例都满足相应特征。

这里每个 Sortable<T> 都保证其元素可以进行比较。

struct Sortable<T: PartialOrd> {
    items: Vec<T>,
}

快速检查

检验您对特征约束的理解。

回顾

特征约束限制泛型类型，使编译器允许使用相应特征的方法和运算符。您可以用 + 组合特征，并在参数或返回值中使用 impl Trait 作为简写。

约束提供零额外开销的静态分发，不同于 dyn Trait 的动态分发。

常见问题解答

「特征约束」课时是免费的吗？

是的 — 「特征约束」的完整文本可在网页上免费阅读。要进行交互式练习（内置代码编辑器和全天候 AI 导师）并解锁 Learn Rust Coding 课程的其余内容，请升级到 CoddyKit PRO。 Learn Rust Coding 课程共包含 4 节课。

「特征约束」这节课中我会学到什么？

使用特征约束泛型。你通过在浏览器中直接运行的动手代码来练习 Learn Rust Coding，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 Learn Rust Coding 需要有经验吗？

无需任何先前经验。CoddyKit 上的 Learn Rust Coding 课程适合初学者到高级学习者，你可以从这里开始或从头开始，按照自己的节奏学习。这是第 3 节课，共 4 节。

「特征约束」课时需要多长时间？

大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动，所以你能稳步进步，并在网页和应用中从离开的地方继续。

我能在这节 Learn Rust Coding 课中编写并运行代码吗？

能。每节 Learn Rust Coding 课都包含内置代码编辑器，你可以在浏览器中直接编写并运行真实代码，并获得即时 AI 反馈 — 无需本地设置。

此课程中的所有课时

← 返回 Learn Rust Coding