个人感觉最重要几点是,
1、构造器的顺序是类的线性化的反向。线性化是描述某个类型的所有超类型的一种技术规格。 所以当分析线性化的时候可以通过构造器的顺序来分析
2、特质的线性化在解决需要粉阶段执行的结构时很有用,通过线性化和调用super实现阶段处理
原文:http://www.mamicode.com/info-detail-864896.html
特质
Scala里相当于Java接口的是Trait(特征)。实际上它比接口还功能强大。与接口不同的是,它还可以定义属性和方法的实现。Scala中特征被用于服务于单一目的功能模块的模块化中。通过混合这种特征(模块)群来实现各种应用程序的功能要求,Scala也是按照这个构想来设计的。
特质的构造顺序
特质也可以有构造器,由字段的初始化和其他特质体中的语句构成。这些语句在任何混入该特质的对象在构造时都会被执行。
构造器的执行顺序:
- 调用超类的构造器;
- 特质构造器在超类构造器之后、类构造器之前执行;
- 特质由左到右被构造;
- 每个特质当中,父特质先被构造;
- 如果多个特质共有一个父特质,父特质不会被重复构造
- 所有特质被构造完毕,子类被构造。
构造器的顺序是类的线性化的反向。线性化是描述某个类型的所有超类型的一种技术规格。
用作可堆叠改变的特质
特质的一个主要用法是把瘦接口(有较少的方法)转变成胖接口(有较多的方法)。
其第二个主要用法是为类提供可堆叠的改变。
考虑一个整数队列的例子。队列有两种操作:put,把整数放入队列;get,从尾部取出整数。
import scala.collection.mutable.ArrayBufferabstractclassIntQueue{defget():Intdef put(x:Int)}classBasicIntQueueextendsIntQueue{privateval buf =newArrayBuffer[Int]defget()= buf.remove(0)def put(x:Int)={ buf += x }}
假设定义特质执行如下改动:
- Doubling: 把所有放入队列的数字加倍
- Incrementing: 把所有放入队列的数字增加
- Filtering:从队列中过滤掉负整数
这三种特质代表了改动,因为它们改变了原始队列类的行为而并非定义了全新的队列类。这三种特质是可堆叠的,你可以选择它们混入类中,获得所需改动的全新的类。
//在特质中重写抽象方法traitDoublingextendsIntQueue{abstractoverridedef put(x:Int){super.put(2*x)}}traitIncrementingextendsIntQueue{abstractoverridedef put(x:Int){super.put(x+1)}}traitFilteringextendsIntQueue{abstractoverridedef put(x:Int){if(x >=0)super.put(x)}}
解释:上面的代码定义了超类IntQueue,这个定义意味着该特质只能混入扩展IntQueue的类中。
在特质中声明抽象方法中有super调用,在特质里super调用时动态绑定的;而在类中,由于继承的抽象类,super调用时非法的。这里必须使用abstract override标识符,它意味着特质必须被混入某个具有期待方法的具体定义的类中,这种定义仅在特质定义中使用。
演示:
scala>val queue =newBasicIntQueuewithDoubling
queue:BasicIntQueuewithDoubling= $anon$1@1d3eff4
scala> queue.put(10)
scala> queue.get()
res10:Int=20val queue =newBasicIntQueuewithDoublingwithIncrementing
queue:BasicIntQueuewithDoublingwithIncrementing= $anon$1@19de304
scala> queue.put(-1)
scala> queue.put(2)
scala> queue.put(3)
scala> queue.get
res3:Int=0
scala> queue.get
res4:Int=6
scala> 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:
classAnimaltraitFurryextendsAnimaltraitHasLegsextendsAnimaltraitFourLeggedextendsHasLegsclassCatextendsAnimalwithFurrywithFourLegged
类 Cat 的继承层级和线性化次序展示在下图。继承次序使用传统的 UML 标注指明:白色箭头表明继承,箭头指向超类型。黑色箭头说明线性化次序,箭头指向 super 调用解决的方向。
当这些类和特质中的任何一个通过super调用了方法,那么被调用的实现将是它线性化的右侧的第一个实现。
参考资料
转载请注明作者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 Trait(特征) 1.Scala中没有接口(interface)的概念 2.特质用于在类之间共享程序...5.特质不能被实例化,因此没有构造参数,类似Java接口 6.特质使用“trait”关键字定义 7.实现特质中的方法使用“override”
特质的动态混入是Scala的一个重要特性,它允许在对象实例化时动态地加入特质,以扩展对象的功能,而无需修改原有类的定义。这在Java中是无法做到的。例如: ```scala trait Movable { def move(): Unit } case ...
Scala继承和特质.md
6. apply方法:Scala中的apply方法使得实例化一个对象变得更加简洁。当一个单例对象(object)有一个apply方法时,可以使用类名直接创建实例,而不需要显式调用new关键字。 7. 包:Scala支持包的嵌套和包对象的概念...
6. **IDE支持**:Scala SDK还与IntelliJ IDEA、Eclipse等集成开发环境集成,提供代码补全、调试和其他高级开发功能。 7. **类型系统**:Scala拥有强大的类型系统,包括类型推断、模式匹配、高阶类型和抽象类型等,...
在兼容性方面,Scala3提供了`Scala2Interop`库,允许Scala2代码与Scala3代码无缝交互。这意味着现有的Scala2项目可以逐步迁移到Scala3,而无需一次性完成全部转换。 压缩包中的`数源信息样本.xls`可能包含与数据...
1. **Scala与Spring的兼容性**:由于Scala运行在JVM上,它可以充分利用Spring框架提供的服务,如依赖注入、AOP(面向切面编程)、事务管理等。 2. **Scala的特质(Traits)与Spring的接口**:Scala的特质类似于Java...
15. **Java 集合与 Scala 集合的转换**: - 导入 `scala.jdk.CollectionConverters`,可以使用 `.asJava` 和 `.asScala` 转换。 16. **函数 values**: - 编写一个函数,根据给定区间和函数,生成对应的输入输出...
- 柯里化:Scala支持柯里化,即将接受多个参数的函数转化为一系列接受一个参数的函数,增强了函数的灵活性。 - 纯函数:纯函数没有副作用,只依赖于输入参数,不改变外部状态,有助于写出可预测且易于测试的代码。...
6. Scala与Java互操作性:Scala可以在Java项目中无缝集成,因为它是JVM上的语言。可以调用Java库,反之亦然,这使得迁移现有Java项目到Scala变得容易。 7. 函数式编程:Scala支持高阶函数、闭包和不可变数据结构,...
- **构建工具**:Scala项目通常使用sbt(Scala Build Tool)进行构建和管理,它可以自动化编译、测试和打包过程。 - **运行和调试**:在Windows环境下,可以通过命令行或IDE运行Scala程序,IDE还提供了调试功能,...
2. 接口与特质:Scala没有接口,但有特质(trait),特质可以看作轻量级接口,可以包含字段和方法。一个类可以实现多个特质。 3. 隐式转换:Scala支持隐式转换,允许在特定上下文中将一个类型转换为另一个类型,...
在这个压缩包中,包含的PDF文件很可能详细介绍了Scala编程基础、机器学习的理论与实践以及线性代数的基本概念和应用。通过学习这些资料,你可以深入了解如何在Scala环境下进行机器学习项目,以及线性代数如何为这些...
6. **特质与多重继承**:Scala的特质提供了一种实现多重继承的方式,避免了传统继承带来的问题。理解特质的使用场景和最佳实践,有助于写出更具灵活性和扩展性的代码。 7. **隐式转换与上下文绑定**:Scala的隐式...
3. **面向对象**:Scala支持传统的面向对象编程,包括类、对象、继承和封装等概念,同时引入了特质(trait),增强了多继承的能力。 4. **函数式编程**:Scala深受函数式编程语言如Lisp和Haskell的影响,支持高阶...
特质可以被类继承,也可以与其他特质组合使用。 #### 显式类型转换 Scala支持显式类型转换,但一般推荐使用隐式转换,以保持代码的简洁性。 #### 隐式转换、隐式参数 Scala支持隐式转换和隐式参数,可以自动将一个...
scala编程 33章 中文pdf Scala编程实战 目录 第1章字符串. 11 第2章数值39 第3章控制结构.60 第4章类和属性.103 第5章方法147 第6章对象170 第7章包和导入.190 第8章特质200 第9章函数式编程214 第10 章集合242 第...
11. **Scala与Java互操作**:由于Scala运行在JVM上,它可以无缝地与Java代码集成,调用Java库并被Java代码调用。 12. **Scaladoc**:Scala提供了Scaladoc工具,用于生成API文档,类似于Java的Javadoc。 通过阅读...