本文节选自<<Rust语言圣经>>一书
欢迎大家加入Rust编程学院,一起学习交流:
QQ群:1009730433
特征Trait
如果我们想定义一个文件系统,那么把该系统跟底层存储解耦是很重要的。文件操作主要包含三个:open
、write
、read
, 这些操作可以发生在硬盘,也可以发生在缓存,可以通过网络也可以通过(我实在编不下去了,大家来帮帮我)。总之如果你要为每一种情况都单独实现一套代码,那这种实现将过于繁杂,而且也没那个必要。
要解决上述把某种行为抽象出来的问题,就要使用Rust中的特征trait
概念。可能你是第一次听说这个名词,但是不要怕,如果学过其他语言,那么大概率你听说过接口,没错,特征很类似接口。
在之前的代码中,我们也多次见过特征的使用,例如#[derive(Debug)]
,它在自定义的类型上自动派生Debug
特征,接着可以使用println!("{:?}",x)
打印自定义的类型;再例如:
fn add<T: std::ops::Add<Output = T>>(a:T, b:T) -> T {
a + b
}
通过std::ops::Add
特征来限制T
,这样才能进行合法的加法操作,否则不可能任何类型都能进行相加。
这些都说明一个道理,特征定义了一个可以被共享的行为,只要实现了特征,你就能使用该行为。
定义特征
如果不同的类型具有相同的行为,那么我们就可以定义一个特征,然后为这些类型实现该特征。定义特征是把一些方法组合在一起,目的是定义一个实现某些目标所必需的行为的集合。
例如,我们现在有文章Post
和微博Weibo
两种内容载体,而我们想对相应的内容进行总结,也就是无论是文章内容,还是微博内容,都可以在某个时间点进行总结,那么总结这个行为就是共享的,因此可以用特征来定义:
pub trait Summary {
fn summarize(&self) -> String;
}
这里使用 trait
关键字来声明一个特征,Summary
是特征名。在大括号中定义描述该特征的所有方法,在这个例子中是fn summarize(&self) -> String
。
特征只定义行为看起来是什么样的,而不定义行为具体是怎么样的。因此这里,我们只定义特征方法的签名,而不进行实现,因此方法后面是;
,而不是一个{}
。
接着每一个实现这个特征的类型都需要具体实现该特征的相应方法,编译器也会确保任何实现Summary
特征的类型都拥有与这个签名的定义完全一致的 summarize
方法。
为类型实现特征
因为特征只定义行为看起来是什么样的,因此我们需要为类型实现具体的特征,定义行为具体是怎么样的。
首先来为Post
和Weibo
实现Summary
特征:
pub trait Summary {
fn summarize(&self) -> String;
}
pub struct Post {
pub title: String, // 标题
pub author: String, // 作者
pub content: String, // 内容
}
impl Summary for Post {
fn summarize(&self) -> String {
format!("文章{}, 作者是{}", self.title, self.author)
}
}
pub struct Weibo {
pub username: String,
pub content: String
}
impl Summary for Weibo {
fn summarize(&self) -> String {
format!("{}发表了微博{}", self.username, self.content)
}
}
实现特征的语法跟为结构体、枚举实现方法挺像: impl Summary for Post
,读作为Post
类型实现Summary
特征,然后在impl
的花括号中实现该特征的具体方法。
接下来就可以在类型上调用特征的方法:
fn main() {
let post = Post{
title: "Rust语言简介".to_string(),author: "Sunface".to_string(), content: "Rust棒极了!".to_string()};
let weibo = Weibo{
username: "sunface".to_string(),content: "好像微博没Tweet好用".to_string()};
post.summarize();
weibo.summarize();
}
运行输出:
文章Rust语言简介, 作者是Sunface
sunface发表了微博好像微博没Tweet好用
说实话,如果特征仅仅如此,你可能会觉得花里胡哨没啥子用,等下就让你见识下真正的威力。
特征定义与实现的位置
上面我们将Summary
定义为了pub
公开的,因此如果他人想要使用我们的Summary
特征,则可以引入到他们的包中,然后再进行实现。
关于特征实现与定义的位置,有一条非常重要的原则: 如果你想要为类型A
实现特征T
,那么A
或者T
至少有一个是在当前作用域中定义的!.例如我们可以为上面的Post
类型实现标准库中的Display
特征,这是因为Post
类型定义在当前的作用域中。同时,我们也可以在当前包中为String
类型实现Summary
特征,因为Summary
定义在当前作用域中。
但是你无法在当前作用域中,为String
类型实现Display
特征,因为它们两都定义在标准库中,跟你半毛钱关系都没有,看看就行了。
该规则被称为孤儿规则,可以确保其它人编写的代码不会破坏你的代码,也确保了你不会莫名其妙就破坏了风马牛不相及的代码。
默认实现
你可以在特征中定义具有默认实现的方法,这样其它类型无需再实现该方法,或者也可以选择重载该方法:
pub trait Summary {
fn summarize(&self) -> String {
String::from