【Scala】特质与特质的线性化
特质
Scala里相当于Java接口的是Trait(特征)。实际上它比接口还功能强大。与接口不同的是,它还可以定义属性和方法的实现。Scala中特征被用于服务于单一目的功能模块的模块化中。通过混合这种特征(模块)群来实现各种应用程序的功能要求,Scala也是按照这个构想来设计的。
特质的构造顺序
特质也可以有构造器,由字段的初始化和其他特质体中的语句构成。这些语句在任何混入该特质的对象在构造时都会被执行。
构造器的执行顺序:
- 调用超类的构造器;
- 特质构造器在超类构造器之后、类构造器之前执行;
- 特质由左到右被构造;
- 每个特质当中,父特质先被构造;
- 如果多个特质共有一个父特质,父特质不会被重复构造
- 所有特质被构造完毕,子类被构造。
构造器的顺序是类的线性化的反向。线性化是描述某个类型的所有超类型的一种技术规格。
用作可堆叠改变的特质
特质的一个主要用法是把瘦接口(有较少的方法)转变成胖接口(有较多的方法)。
其第二个主要用法是为类提供可堆叠的改变。
考虑一个整数队列的例子。队列有两种操作:put,把整数放入队列;get,从尾部取出整数。
import scala.collection.mutable.ArrayBufferabstract class IntQueue {def get(): Intdef put(x: Int)
}class BasicIntQueue extends IntQueue {private val buf = new ArrayBuffer[Int]def get() = buf.remove(0)def put(x: Int) = { buf += x }
}
假设定义特质执行如下改动:
- Doubling: 把所有放入队列的数字加倍
- Incrementing: 把所有放入队列的数字增加
- Filtering:从队列中过滤掉负整数
这三种特质代表了改动,因为它们改变了原始队列类的行为而并非定义了全新的队列类。这三种特质是可堆叠的,你可以选择它们混入类中,获得所需改动的全新的类。
//在特质中重写抽象方法trait Doubling extends IntQueue {abstract override def put(x: Int) { super.put(2*x) }
}trait Incrementing extends IntQueue {abstract override def put(x: Int) { super.put(x+1) }
}trait Filtering extends IntQueue {abstract override def put(x: Int){if(x >= 0) super.put(x)}
}
解释:上面的代码定义了超类IntQueue,这个定义意味着该特质只能混入扩展IntQueue的类中。
在特质中声明抽象方法中有super调用,在特质里super调用时动态绑定的;而在类中,由于继承的抽象类,super调用时非法的。这里必须使用abstract override标识符,它意味着特质必须被混入某个具有期待方法的具体定义的类中,这种定义仅在特质定义中使用。
演示:
scala> val queue = new BasicIntQueue with Doubling
queue: BasicIntQueue with Doubling = $anon$1@1d3eff4scala> queue.put(10)scala> queue.get()
res10: Int = 20val queue = new BasicIntQueue with Doubling with Incrementing
queue: BasicIntQueue with Doubling with Incrementing = $anon$1@19de304scala> queue.put(-1)scala> queue.put(2)scala> queue.put(3)scala> queue.get
res3: Int = 0scala> queue.get
res4: Int = 6scala> queue.get
res5: Int = 8
混入的顺序很重要,越靠近右侧的特质越先起作用。当你调用带混入的类的方法时,最右侧特质的方法首先被调用。如果那个方法调用了super,它调用其左侧特质的方法,以此类推。上面的例子里,Incrementing的put首先被调用,然后Doubing的put第二个被调用。
特质的线性化与多重集成
特质是一种继承多个类似于类的结构的方式,但是它与多重继承有很重要的区别。其中一个尤为重要:super的解释。
对于多重继承来说,super调用导致的方法调用可以在调用发生的地方明确决定;对于特质来说,方法调用是由类和混入到类的特质的线性化(linearization)所决定的。这种差别使得上面的特质的堆叠成为可能。
在多重继承的语言中,调用相同的方法,编译规则会决定哪个超类最终胜出,而调用该超类的指定方法。
而在Scala中,当你使用new实例化一个类的时候,Scala把这个类和所有它继承的类还有他的特质以线性的次序放在一起。然后,当你在其中的一个类中调用super,被调用的方法就是方法链的下一节。除了最后一个调用super之外的方法,其净结果就是可堆叠的行为。
线性化细节
Scala 的线性化的主要属性可以用下面的例子演示:假设你有一个类 Cat,继承自超类 Animal 以及两个特质 Furry 和 FourLegged。 FourLegged 又扩展了另一个特质 HasLegs:
class Animal
trait Furry extends Animal
trait HasLegs extends Animal
trait FourLegged extends HasLegs
class Cat extends Animal with Furry with FourLegged
类 Cat 的继承层级和线性化次序展示在下图。继承次序使用传统的 UML 标注指明:白色箭头表明继承,箭头指向超类型。黑色箭头说明线性化次序,箭头指向 super 调用解决的方向。
当这些类和特质中的任何一个通过super调用了方法,那么被调用的实现将是它线性化的右侧的第一个实现。
参考资料
Scala学习——特质
转载请注明作者Jason Ding及其出处
GitCafe博客主页(http://jasonding1354.gitcafe.io/)
Github博客主页(http://jasonding1354.github.io/)
CSDN博客(http://blog.csdn.net/jasonding1354)
简书主页(http://www.jianshu.com/users/2bd9b48f6ea8/latest_articles)
Google搜索jasonding1354进入我的博客主页
【Scala】特质与特质的线性化相关推荐
- scala入门-07特质类(trait)的使用
trait类似于Java8中的可用带default method的接口. trait中可以带有实现的方法,也可以带有抽象方法,使用trait的方法是with而混入类中. 我们在scala下的org.s ...
- 四, Scala 伴生对象, 特质
文章目录 四, Scala 伴生对象和伴生类 4.1 单例对象和伴生对象 4.1.1 什么是单例对象? 4.1.2 如何使用Scala的伴生对象和伴生类来实现单例模式? 4.1.2 apply方法 4 ...
- Scala 中的 特质(trait)
文章目录 特质(trait) 概念 语法 继承特质 继承单个trait 代码示例 继承多个特质 代码示例 定义具体的方法 代码示例 trait中定义具体的字段和抽象的字段 定义 代码示例 模板模式 代 ...
- Scala特证/特质【6.7 特质(Trait)】
Scala特证/特质[6.7 特质(Trait)] 6.7 特质(Trait) Java 的接口 接口的作用 抽象类的作用 6.7.1 特质声明 6.7.2 特质基本语法 6.7.3 特质叠加 6.7 ...
- scala之product特质理解
最近在看sparksql源码的时候,发现TreeNode是继承scala的Product特质,所以比较好奇,就找了相关资料,通过编写demo,进行理解Product的具体用法. case class ...
- Scala特质讲解【特质继承形式、对象混入特质、特质适配器模式,模板方法模式,职责链模式、trait的构造机制、特质继承类】
文章目录 特质 类继承单个特质 类继承多个特质 object继承特质trait 演示特质中的成员 对象混入特质 使用trait实现适配器模式 使用trait实现模板方法模式 使用trait实现职责链模 ...
- scala中使用特质中的抽象字段和实际字段
Scala中,trait相当于Java中的接口,遇到需要使用Java接口的场景时,你就在scala中可以使用trait了. 我们知道Java中你可以实现多个接口,那么Scala中,你也可以继承多个tr ...
- scala基础之特质trait
Scala中,trait相当于Java中的接口,遇到需要使用Java接口的场景时,你就在Scala中可以使用trait了. 我们知道Java中你可以实现多个接口,那么Scala中,你也可以继承多个tr ...
- Scala 继承和特质
一.继承 1.1 Scala中的继承结构 Scala 中继承关系如下图: Any 是整个继承关系的根节点: AnyRef 包含 Scala Classes 和 Java Classes,等价于 Jav ...
最新文章
- 一小时Docker教程
- Android之JNI ERROR (app bug): accessed stale global reference 0xb39533f2 (index 19708 in a table of s
- WAMP显示错误“MSVCR100.dll”缺少安装时
- 今日恐慌与贪婪指数为61 贪婪程度有所缓解
- opencv实现xld_halcon学习网
- sap导入中文数据乱码
- 蚂蚁课堂视频笔记思维导图-4期 四、微服务安全
- 通感一体化融合架构及关键技术
- Vue2.0+Vue3.0全套教程
- 电脑只能上qq不能打开网页
- ERP : 经济批量
- 如何检索IDC研究报告?
- 计算机系技能比赛黑板报,关于技能比武主题的黑板报
- 2022年汽车计算和人工智能技术(英) PPT
- 如何安装CocoaPods
- 我教你两招你也可以,打造个人IP就是个骗局?纯属忽悠?
- ID Tech 5 中quot;Megatexturequot;针对地形的D3D9 基本实现原理
- 高清兼顾低码的视频流传输是如何获得的?
- 人生就是不停的战斗————九把刀北大演讲
- 常用方法——9.js中无区别分割中英文逗号的字符串成为数组
热门文章
- 拍照、从相册选图并对图片进行裁剪
- html css3风车,【干货!】如何利用CSS3新属性创建一个风车动画
- 分布式缓存的基本原理
- 学习笔记(02):前端工程师零基础到就业全套课程-表单
- OA系统十八:请假申请四:【请假申请】这个内嵌界面中【提交请假表单数据】的Controller层;
- cubemx 读卡器_STM32CubeMX+Keil实现 STM32F4 SDcard+SPI Flash读卡器
- Git 分支分支工作流
- Excel制表技巧公式及函数
- R语言使用sqrt函数计算平方根、开平方根
- 阿里云ACA认证课程学习(阿里云简介掌握云服务器ECS)