当前位置: 七九推 > IT编程>软件设计>面向对象 > Rust实现面向对象的方法

Rust实现面向对象的方法

2022年10月25日 面向对象 我要评论
前言面向对象的编程语言通常实现了数据的封装与继承并能基于数据调用方法。“设计模式四个小帮手”在《设计模式》中给出面向对象的定义:面向对象的程序由对象组成,对象包装了数据和操作这

前言

面向对象的编程语言通常实现了数据的封装继承并能基于数据调用方法。“设计模式四个小帮手”在《设计模式》中给出面向对象的定义:面向对象的程序由对象组成,对象包装了数据和操作这些数据的过程,这些过程通常被称作方法或操作。rust 并不是面向对象的语言,但是面向对象的功能都可以通过自身的特点来实现。

1、实现封装(pub)

调用对象外部的代码无法直接访问对象内部的实现细节,唯一可以与对象进行交互的方法就是通过它公开的 api,在rust 中使用 pub关键字来供外部访问。

封装的示例:

pub struct averagedcollection{
    list:vec<i32>,
    average:f64
}

impl averagedcollection{
    pub fn add(&mut self,value:i32){
        self.list.push(value);
        self.update_average();
    }

    pub fn remove(&mut self)->option<i32>{
        let result=self.list.pop();
        match result {
            some(value)=>{
                self.update_average();
                some(value)
            },
            none=>none
        }
    }

    pub fn average(&self)->f64{
        self.average
    }

    fn update_average(&mut self){
        let total:i32=self.list.iter().sum();
        self.average=total as f64 / self.list.len() as f64;
    }
}

代码解释:

  • 结构体 averagedcollection 含有list动态集合与average 两个变体
    • 结构体被pub修饰,可以被外部访问,但是两个变体不可以被访问
    • 两个变体的修改交给下面定义的其他pub修饰的方法
  • add与remove 完成list集合的元素添加与删除,默认调用封装的更新方法
  • update_average 用来更新平均数,而average方法被pub修饰,外部可以直接访问平均数

由此示例可知 rust 结构体等类型默认是私有的,相当于c++/java中的private,而被pub修饰后相当于public,合理利用这些关键字可以做到封装的效果。

2、实现继承(trait)

继承可以使对象沿用另外一个对象的数据和行为,无需定义相关代码,代码复用效率高。rust 中不存在继承,但是可以通过 trait 方法来实现代码共享,且可以在 trait 中覆盖定义的方法,这就相当于主流语言中的子类继承父类与重写父类方法。

2.1、为共有行为定义一个 trait

rust 避免将 structenum 称为对象,因为它们与impl块是分开的。

  • trait对象有些类似于其它语言中的对象:
    • 它们某种程度上组合了数据与行为
  • trait 对象与传统对象不同的地方:
    • 无法为 trait对象添加数据
  • trait对象被专门用于抽象某些共有行为,它没其它语言中的对象那么通用

2.2、trait 对象执行的是动态派发

  • 将trait约束作用于泛型时,rust编译器会执行单态化:
    • 编译器会为我们用来替换泛型类型参数的每一个具体类型生成对应函数和方法的非泛型实现
  • 通过单态化生成的代码会执行静态派发(static dispatch),在编译过程中确定调用的具体方法
  • 动态派发(dynamic dispatch) :
    • 无法在编译过程中确定你调用的究竟是哪一种方法
    • 编译器会产生额外的代码以便在运行时找出希望调用的方法
  • 使用trait 对象,会执行动态派发:
    • 产生运行时开销
    • 阻止编译器内联方法代码,使得部分优化操作无法进行

2.3、trait对象必须保证对象安全

  • 只能把满足对象安全(object-safe)的 trait 转化为 trait 对象。
  • rust采用一系列规则来判定某个对象是否安全,只需记住两条:
    • 方法的返回类型不是self
    • 方法中不包含任何泛型类型参数

3、实现多态(结合泛型)

继承是多态(polymorphism)思想的实现,多态指的是编程语言可以处理多种类型数据的代码,在 rust中使用泛型trait 约束(限定参数化多态 bounded parametric)模拟多态的使用。

有关rust 泛型与特性的知识在本专栏前面已经介绍过,帮大家放个链接:rust 泛型与特性

4、面向对象的设计模式

状态模式(state pattern)是一种面向对象设计模式:

  • 一个值拥有的内部状态由数个状态对象(state object)表达而成,而值的行为则随着内
  • 部状态的改变而改变
  • 使用状态模式意味着:
    • 业务需求变化时,不需要修改持有状态的值的代码,或者使用这个值的代码
    • 只需要更新状态对象内部的代码,以便改变其规则。或者增加一些新的状态对象
  • 状态模式的缺点:
    • 某些状态之间是相互耦合的
    • 需要重复实现一些逻辑代码

rust不仅能够实现面向对象的设计模式,还可以支持更多的模式,例如:
将状态和行为编码为类型:
rust 类型检查系统会通过编译时错误来阻止用户使用无效的状态。

面向对象的经典模式并不总是rust编程实践中的最佳选择,因为rust具有所有权等其它面向对象语言没有的特性!

到此这篇关于rust实现面向对象的方法的文章就介绍到这了,更多相关rust面向对象内容请搜索七九推以前的文章或继续浏览下面的相关文章希望大家以后多多支持七九推!

(0)
打赏 微信扫一扫 微信扫一扫

相关文章:

  • ERP实施岗位介绍

    ERP实施岗位介绍

    根据岗位对人员能力要求的高低,可以将ERP实施岗位分为三个,分别是售前、售中和售后。其中售前顾问对人员能力的要求是最高的࿰... [阅读全文]
  • go语言中的面向对象

    go语言中的面向对象

    go语言没有继承、构造函数和析构函数等概念,但是它是面向对象的。.net中类型系统分为值类型和引用类型,两种转换需要进行装箱和拆箱,都是继承自object类型g... [阅读全文]
  • 简单工厂模式

    简单工厂模式

    通过一个计算器的例子来感受一下面向对象的三大特性 下面看一个计算器逻辑的实现: public static void main(String[] ... [阅读全文]
  • 
    面向对象中return和break的区别

    面向对象中return和break的区别

    面试题:return和break的区别如果返回值类型是void的时候,break和return的效果一样,都可以结束语句。break是让循环结束,而return... [阅读全文]
  • 面向对象设计原则(七大原则)

    面向对象设计原则(七大原则)

    这里写目录标题 七大原则1.单一职责原则(SRP)2.开闭原则(OCP)3.里氏代换原则(... [阅读全文]
  • 
    QGIS安装教程

    QGIS安装教程

    qgisqgis(quantum gis)是一个免费的开源的桌面gis软件,提供数据的显示、编辑和分析功能。官方下载地址:https://www.qgis.or... [阅读全文]

版权声明:本文内容由互联网用户贡献,该文观点仅代表作者本人。本站仅提供信息存储服务,不拥有所有权,不承担相关法律责任。 如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件至 2386932994@qq.com 举报,一经查实将立刻删除。

发表评论

验证码:
Copyright © 2017-2023  七九推 保留所有权利. 粤ICP备17035492号
站长QQ:2386932994 | 联系邮箱:2386932994@qq.com