trait关键字
trait与具体类型
使用trait定义一个特征:
trait HasArea {
fn area(&self) -> f64;
}trait里面的函数可以没有函数体,实现代码交给具体实现它的类型去补充:
struct Circle {
x: f64,
y: f64,
radius: f64,
}
impl HasArea for Circle {
fn area(&self) -> f64 {
std::f64::consts::PI * (self.radius * self.radius)
}
}
fn main() {
let c = Circle {
x: 0.0f64,
y: 0.0f64,
radius: 1.0f64,
};
println!("circle c has an area of {}", c.area());
}注: &self表示的是area这个函数会将调用者的借代引用作为参数
这个程序会输出:
trait与泛型
我们了解了Rust中trait的定义和使用,接下来我们介绍一下它的使用场景,从中我们可以窥探出接口这特性带来的惊喜
我们知道泛型可以指任意类型,但有时这不是我们想要的,需要给它一些约束。
泛型的trait约束
Debug是Rust内置的一个trait,为"{:?}"实现打印内容,函数foo接受一个泛型作为参数,并且约定其需要实现Debug
多trait约束
可以使用多个trait对泛型进行约束:
<T: Debug + Clone>中Debug和Clone使用+连接,标示泛型T需要同时实现这两个trait。
where关键字
约束的trait增加后,代码看起来就变得诡异了,这时候需要使用where从句:
trait与内置类型
内置类型如:i32, i64等也可以添加trait实现,为其定制一些功能:
这样的做法是有限制的。Rust 有一个“孤儿规则”:当你为某类型实现某 trait 的时候,必须要求类型或者 trait 至少有一个是在当前 crate 中定义的。你不能为第三方的类型实现第三方的 trait 。
在调用 trait 中定义的方法的时候,一定要记得让这个 trait 可被访问。
这里是错误:
我们需要先use这个Write trait:
这样就能无错误的编译了。
trait的默认方法
is_invalid是默认方法,Foo的实现者并不要求实现它,如果选择实现它,会覆盖掉它的默认行为。
trait的继承
这样FooBar的实现者也要同时实现Foo:
derive属性
Rust提供了一个属性derive来自动实现一些trait,这样可以避免重复繁琐的实现他们,能被derive使用的trait包括:Clone, Copy, Debug, Default, Eq, Hash, Ord, PartialEq, PartialOrd
Last updated
Was this helpful?