Rust学习教程25 - 特征Trait

本文节选自<<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