01-测试实例：空约束

Thu, 20 Aug 2026 21:20:00 +0800

译文 · 基于 Rust By Example

原文链接: https://doc.rust-lang.org/stable/rust-by-example/generics/bounds/testcase_empty.html

测试实例：空约束

约束的工作机制会产生这样的效果：即使一个 trait 不包含任何功能，你仍然可以用它作为约束。标准库中的 Eq 和 Ord 就是这样的 trait。

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26


struct Cardinal;
struct BlueJay;
struct Turkey;

trait Red {}
trait Blue {}

impl Red for Cardinal {}
impl Blue for BlueJay {}

// 这些函数只对实现了相应的 trait 的类型有效。
// 事实上这些 trait 内部是空的，但这没有关系。
fn red<T: Red>(_: &T) -> &'static str { "red" }
fn blue<T: Blue>(_: &T) -> &'static str { "blue" }

fn main() {
 let cardinal = Cardinal;
 let blue_jay = BlueJay;
 let _turkey = Turkey;

 // 由于约束，`red()` 不能作用于 blue_jay （蓝松鸟），反过来也一样。
 println!("A cardinal is {}", red(&cardinal));
 println!("A blue jay is {}", blue(&blue_jay));
 //println!("A turkey is {}", red(&_turkey));
 // ^ 试一试：去掉此行注释。
}

参见：

std::cmp::Eq, std::cmp::Ord, 和 trait

04-约束 on 编程那些事儿

01-测试实例：空约束

测试实例：空约束

参见：