Rust trait

Rust中的trait类似于Java中的接口,定义了一组可以被类型选择实现的“契约”或共享行为,。

特征定义:

trait Playable{

    fn play(&self);

    fn pause(){

        println!("Paused");

    }

}

上述是一个简单trait定义,提供了两个方法,一个用于提供播放功能，一个用于提供暂停功能。

实现trait:

struct Audio(String);

struct Vedio(String);

impl Playable for Audio {

    fn play(&self) {

        println!("Audio play");

    }

}

impl Playable for Vedio {

    fn play(&self) {

        println!("Vedio play");

    }

}

上述用两个结构体Audio和Vedio分别实现了Playable接口

或许你已经注意到我们只实现了一个play方法，并没有在“实现”pause方法,其实他们是不同的两种方法。

trait方法

trait中可以有两种方法：

关联方法：

类似于Java中的静态方法,可以直接类型调用

实例方法:

以self/&self/&mut self作为第一个参数的方法，如果没有默认实现需要实现者提供实现，通过实例变量调用

调用trait方法:

fn main() {

    let audio=Audio(String::from("audio"));

    audio.play();

    Audio::pause();

    let vedio=Vedio(String::from("vedio"));

    vedio.play();

    Vedio::pause();

}

输出结果：

Audio play

Paused

Vedio play

Paused

当然，我们也可以重新实现关联方法:

impl Playable for Audio {

    fn play(&self) {

        println!("Audio play");

    }

    fn pause(){

        println!("Audio Paused");

    }

}

调用部分代码不变，结果如下:

Audio play

Audio Paused

Vedio play

Paused

trait 分类

标记特征

在std::marker模块定义的特征被称为标记特征，这种特征不包含任何方法，声明时只是提供特征名称和{},例如标准库提供的Copy,Send,Sync

泛型特征

特征也可以是泛型的：

pub trait From<T> {

    fn from(t:T)->Self;

}

实现：

#[derive(Copy,Clone)]

struct A(i32);

impl From<String> for A{

    fn from(t:String)->Self {

        A(t.len() as i32)

    }

}

介绍泛型时再具体讲解

关联类型特征

trait Foo{

    type Out;

    fn get_value(self)->Self::Out;

}

这提供了一种比泛型特征更好的选择，因为可以在特征中声明相关类型而不用使用泛型签名

这里Out由实现trait实现时指定，Self是具体实现类型的别名，Self::Out是关联类型Out的类型,下面是关联类型trait的一个实现:

#[derive(Copy,Clone)]

struct A(i32);

impl Foo for A {

    type Out = i32;

    fn get_value(self)->Self::Out {

        self.0

    }

}

继承特征

特征也可以在声明中表明它们依赖于其他特征，这被叫做特征继承。

举例：

trait Vehicle{

    fn get_price(&self)->u64;

}

trait Car:Vehicle{

    fn model(&self)->String;

}

trait Car 的声明表示它需要依赖trait Vehicle，下面我们来实现它们看看会发生什么：

struct TeslaRoadster{

    modle:String,

    release_date:u16,

}

impl Car for TeslaRoadster {

    fn model(&self)->String {

        todo!()

    }

}

这乍一看好像没什么错，但是编译会报如下错误:

显而易见，这表明我们要实现Car的前提是先实现它的依赖trait，即Vehicle，按照编译器提示作出修改：

struct TeslaRoadster{

    modle:String,

    release_date:u16,

}

impl Vehicle for TeslaRoadster {

    fn get_price(&self)->u64 {

        todo!()

    }

}

impl Car for TeslaRoadster {

    fn model(&self)->String {

        todo!()

    }

}

这样就满足了特征继承的要求

需要注意的是这里的特征继承只是一个习惯性叫法，只是对特征的实现作出了约束，实现一个trait必须要实现它所依赖的trait，更多的是组合的概念，特斯拉是车子，首先他得有轮子属性

巴特西

Rust trait

Rust trait

trait方法

关联方法：

实例方法:

trait 分类

标记特征

泛型特征

关联类型特征

继承特征

最新文章

热门文章