Rust编程-类面向对象编程

封装(encapsulation):

rust使用pub关键字来控制代码中哪些模块、类型、函数和方法是公开的,默认都是私有的

继承(inheritance):

rust里没有继承。

rust通过定义trait来实现代码共享。trait中也可以默认实现,具体实现时,可以覆盖trait中的默认实现。

多态(polymorphism):

在rust中可以使用泛型来构建不同类型的抽象,并使用trait约束来限制泛型,从而实现多态

trait对象来存储不同类型的值

trait对象被专门用于抽象某些共有行为

trait对象能够指向实现了指定trait的类型实例

创建trait对象:通过选用一种指针,例如&引用或Box<T>智能指针等,并添加dyn关键字与指定相关trait来创建trait对象

trait对象可以被用在泛型或具体类型所处的位置。

Rust类型系统都会在编译时确保出现在相应位置上的值实现trait对象指定的trait

trait对象VS泛型:

泛型参数一次只能被替代为一个具体的类型,而trait对象则允许你在运行时填入多种不同的具体类型

rust 复制代码
pub struct Screen {
    pub components: Vec<Box<dyn Draw>>,
}

这一概念与动态类型语言中的"鸭子类型"(ducktyping)十分相似:如果某个东西走起来像鸭子,叫起来也像鸭子,那么它就是一只鸭子!

动态数组components时指定Box<dyn Draw>元素类型,Screen实例只会接收那些能够调用draw方法的值。

trait对象会执行动态派发

静态派发(static dispatch):

在泛型使用trait约束时执行单态化,编译器会为每一个具体类型生成对应泛型函数和泛型方法的非泛型实现,并使用这些具体的类型来替换泛型参数

动态派发(dynamic dispatch):

动态派发下的编译器无法在编译过程中确定你调用的究竟是哪一个方法。Rust必然会在我们使用trait对象时执行动态派发。因为编译器无法知晓所有能够用于trait对象的具体类型,所以它无法在编译时确定需要调用哪个类型的哪个具体方法。

trait对象必须保证对象安全

Rust采用了一套较为复杂的规则来决定某个trait是否对象安全:

方法的返回类型不是Self。

方法中不包含任何泛型参数。

关键字Self是一个别名,它指向了实现当前trait或方法的具体类型

相关推荐
djarmy5 小时前
MAIN.c(1): warning C318: can’t open file ‘STC8G.H’ 报错 解决 分析
c语言·开发语言·mongodb
传奇开心果编程5 小时前
【Xilem 0.4 基础语法学与练】第一课:从零到计数器
学习·rust·前端框架
HEJOO96 小时前
深入理解 Java volatile 关键字:原理、用法与常见误区
java·开发语言·spring
曹牧6 小时前
Java:no content to map due to end of input
java·开发语言
梦梦代码精6 小时前
《回收租赁系统技术选型避坑指南:业务闭环与二开自由度详解》
开发语言·低代码·docker·开源·代码规范
两点王爷6 小时前
SpringBoot 项目集成 GeoServer 源码,实现地图服务发布
java·spring boot·后端
隔窗听雨眠6 小时前
记一次SQL Server数据库性能分析:从CPU100%到单配置修复的完整诊断
开发语言·数据库·php
David猪大卫6 小时前
【C++修炼】智能指针使用及原理
开发语言·c++·经验分享·笔记·学习·考研·面试
charlie1145141916 小时前
现代Qt开发之图像处理进阶:像素操作与格式转换
开发语言·图像处理·qt
李永奉6 小时前
中科蓝讯SDK开发-BT893x 面条耳机连接vivo手机后连接APP端,最后手机端设置页面手动断开蓝牙连接,此时耳机端假断开
c语言·开发语言·嵌入式硬件·物联网·智能手机·电脑