当前位置: 首页 > news >正文

rust trait对象

在拥有继承的语言中,可以定义一个名为shape的基类,该类上有一个draw方法。其他的类比如Button、SelectBox继承shape。它们各自覆盖draw方法。调用这些子类的draw方法时,就可以把它们统一当作shape来使用。不过Rust并没有继承,如果想做到这点,就得另寻出路。这个出路就是使用trait对象。trait对象的作用类似基类。

一、定义trait对象

(一)语法格式
trait对象是一种类型,定义语法如下

dyn 约束

约束是trait约束或者生存期约束。可以有多个约束,多个约束之间用+连接。
例如

dyn X
dyn X + Send
dyn X + Send + Sync
dyn X + 'static
dyn X + Send + 'static

X是一个trait

二、使用trait对象

trait对象是动态尺寸类型。像所有的 DST 一样,使用trait对象,必须使用它的指针类型;例如 &dyn SomeTraitBox<dyn SomeTrait>。trait对象的指针包括:
一个指向实现SomeTrait的类型T的实例的指针
一个指向虚拟方法表的指针。虚拟方法表也通常被称为虚函数表,它包含了T实现的SomeTrait的所有方法,T实现的SomeTrait的父trait 的每个方法,还有指向T的实现的指针。

例子

pub trait Draw {fn draw(&self);
}
pub struct Screen {pub shapes: Vec<Box<dyn Draw>>,     //存放trait对象的vector。Box<dyn Draw>就是trait对象,它指向一个实现了Draw的类型的实例
}impl Screen {pub fn run(&self) {for shape in self.shapes.iter() {shape.draw();     //在每个shape上调用draw方法}}
}
pub struct Button {pub width: u32,pub height: u32,pub label: String,
}
impl Draw for Button {fn draw(&self) {// 实际绘制按钮的代码}
}
struct SelectBox {width: u32,height: u32,options: Vec<String>,
}
impl Draw for SelectBox {fn draw(&self) {// code to actually draw a select box}
}
fn main() {let screen = Screen {shapes: vec![Box::new(SelectBox {width: 75,height: 10,options: vec![String::from("Yes"),String::from("Maybe"),String::from("No")],}),Box::new(Button {width: 50,height: 10,label: String::from("OK"),}),],};screen.run();
}

从上面代码中可以看出,是不是与基类指针很类似?

run并不检查元素是Button或者SelectBox的实例。如果实例没有实现trait对象所需的trait则编译错误
例如,

fn main() {let screen = Screen {shapes: vec![Box::new(String::from("Hi")),],};screen.run();
}

这个编译错误,因为String没有实现Draw

三、trait对象与泛型的区别

trait对象与带有trait约束的泛型结构体类似,但是也有不同。泛型参数一次只能替代一个具体类型,而trait对象则允许在运行时替代多种具体类型。
例如

pub struct Screen<T: Draw> {pub shapes: Vec<T>,
}
impl<T> Screen<T>
where T: Draw {pub fn run(&self) {for shape in self.shapes.iter() {shape.draw();}}
}

shapes是一个全是Button类型或者全是SelectBox类型的列表。总之,所有元素类型是相同的。
而使用trait对象,shapes能同时包含Box<Button>Box<SelectBox>,各个元素类型可以不同。

四、trait对象要求对象安全

只有对象安全的trait才可以组成trait对象。如果一个trait中所有的方法有如下属性时,则该trait是对象安全的:
1.返回值类型不为Self
2.方法没有任何泛型参数
Self代表自身。对象安全对于trait对象是必须的,因为一旦有了trait对象,就不再知晓实现该trait的具体类型是什么了。如果trait方法返回具体的Self类型,但是trait对象忘记了其真正的类型,那么方法不可能使用已经忘却的原始具体类型。同理对于泛型类型参数来说,当使用trait时其会放入具体的类型参数:此具体类型变成了实现该trait的类型的一部分。当使用trait对象时其具体类型被抹去了,故无从得知放入泛型参数类型的类型是什么。
一个trait的方法不是对象安全的例子是标准库中的Clone trait。

pub trait Clone {fn clone(&self) -> Self;
}

String实现了Clone trait,当在String实例上调用clone方法时会得到一个String实例。类似的,当调用Vec<T> 实例的clone方法会得到一个Vec<T> 实例。clone的签名需要知道什么类型会代替Self,因为这是它的返回值。
如果尝试做一些违反对象安全规则的事情,编译器会提示你。
例如,

pub struct Screen {pub components: Vec<Box<dyn Clone>>,
}

将会得到如下错误:
error[E0038]: the trait std::clone::Clone cannot be made into an object
Clone不能组成trait对象。

http://www.lryc.cn/news/177017.html

相关文章:

  • Linux学习第21天:Linux内核定时器驱动开发: 流淌的时间长河
  • Centos服务在服务器重启后自启
  • 慢性疼痛治疗服务公司Kindly MD申请700万美元纳斯达克IPO上市
  • 代码随想录 Day6 哈希 LeetcodeT454 四数之和II T383赎金信 T15 三数之和 T18 四数之和
  • 干货速来|教你如何撰写毕业论文
  • 【ROS 2】-2 话题通信
  • Unity之NetCode多人网络游戏联机对战教程(2)--简单实现联机
  • makdown文法
  • 新手程序员怎么接单?
  • 接口测试——接口协议抓包分析与mock_L2
  • Seata入门系列【1】安装seata 1.7.1+nacos 2.1.1
  • 2023年职业院校技能大赛中职组----大数据应用与服务赛项任务书试题
  • 产品经理的职业前景怎么样?一文为你全面解答!
  • 【深度学习】图像去噪(2)——常见网络学习
  • 八大排序详解
  • 自定义热加载:如何不停机实现核心代码更新
  • Spring Cloud Alibaba Nacos 2.2.3 (2) - 单机版启动 (winodows 和 linux )
  • VB从资源文件中播放wav音乐文件
  • web:[HCTF 2018]WarmUp
  • 程序开发常用在线工具汇总
  • crypto:丢失的MD5
  • 气传导和骨传导耳机哪个好?气传导耳机好用吗?气传导耳机推荐
  • Spring 的代理开发设计
  • 实现注册手机号用户
  • 【2023年11月第四版教材】第15章《风险管理》(第三部分)
  • datart导入hive连接包
  • 2023美团秋招一面面经-已过
  • ARM Day2
  • 手把手教你制作独特优惠促销微传单
  • Qt-QImage-convertTo-copy-convertToFormat-格式转换