环境
- Rust 1.56.1
- VSCode 1.61.2
概念
参考:https://doc.rust-lang.org/stable/rust-by-example/generics/where.html
示例
泛型约束除了可以写在泛型定义的后面,还可以使用 where 子句来表达,这样更具表现力。
where
trait TraitB {}
trait TraitC {}
trait TraitE {}
trait TraitF {}
trait MyTrait1<A, D> {}
trait MyTrait2<A, D> {}
struct YourType;
impl<A: TraitB + TraitC, D: TraitE + TraitF> MyTrait1<A, D> for YourType {}
// where 使用起来更短,更具表现力
impl<A, D> MyTrait2<A, D> for YourType
where
A: TraitB + TraitC,
D: TraitE + TraitF,
{
}
fn main() {}
约束其它类型
use std::fmt::Debug;
trait PrintInOption {
fn print_in_option(self);
}
// 直接限制的 Option<T> 的类型而不是 T
impl<T> PrintInOption for T
where
Option<T>: Debug,
{
fn print_in_option(self) {
println!("{:?}", Some(self));
}
}
fn main() {
let vec = vec![1, 2, 3];
vec.print_in_option();
}
总结
了解了 Rust 中 where 来限制泛型的类型,如果类型少,简单可以直接定义,如果多和复杂,可以考虑使用 where。