一、queues函数式队列

函数式队列是一种具有以下三种操作方式的数据结构:

head 返回队列的第一个元素。

tail 返回除第一个元素之外的队列。

scala> import scala.collection.immutable.Queue
import scala.collection.immutable.Queue scala> val q = Queue(1, 2, 3)
q: scala.collection.immutable.Queue[Int] = Queue(1, 2, 3)

实现函数式队列的一种简单方案是以 List作为功能的表达类型。这样,head和tail将转为List的相同操作,而append将变为连结操作。这将得到以下的代码实现:

scala> class SlowAppendQueue[T](elems: List[T]) {
| def head = elems.head
| def tail = new SlowAppendQueue(elems.tail)
| def append(x: T) = new SlowAppendQueue(elems ::: List(x))
| }
defined class SlowAppendQueue

上面实现的问题在于append操作。它花的时间与存储于队列的元素数量成正比。如果想要的是常量时间的append,可以尝试把表达List里面的元素倒序排列,这样原本最后添加进来的元素现在出现在List的最前面。如下实现:

scala> class SlowHeadQueue[T](smele: List[T]) {
| //smele是elems的反转
| def head = smele.last
| def tail = new SlowHeadQueue(smele.init)
| def append(x: T) = new SlowHeadQueue(x :: smele)
| }
defined class SlowHeadQueue

现在append是常量时间了,但head和tail不是。它们现在所花费的时间与存储在队列中的元素数量成正比。

另一种高效的实现方法:

scala> class Queue[T](
| private val leading: List[T], private val trailing: List[T]
| ) {
| private def mirror =
| if (leading.isEmpty)
| new Queue(trailing.reverse, Nil)
| else
| this
| def head = mirror.leading.head
| def tail = {
| val q = mirror
| new Queue(q.leading.tail, q.trailing)
| }
| def append(x: T) =
| new Queue(leading, x :: trailing)
| }
defined class Queue

二、信息隐藏

私有构造器及工厂方法

Java中,可以把构造器声明为私有的使其不可见。scala中,主构造器无须明确定义;不过虽然它的定义隐含于类参数及类方法体中,还是可以通过把private修饰符添加在类参数列表的前边把主构造器隐藏起来,如下所示:

scala> class Queue[T] private (
| private val leading: List[T],
| private val trailing: List[T]
| )
defined class Queue

夹在类名与参数之间的private修饰符表明Queue的构造器是私有的:它只能被类本身及伴生对象访问。类名Queue仍然是公开的,因此你可以继续使用这个类,但不能调用它的构造器:

scala> new Queue(List(1,2), List(3))
<console>:9: error: constructor Queue in class Queue cannot be accessed in object $iw
new Queue(List(1,2), List(3))
^

现在客户代码不能再使用Queue类的主构造器,需要有创建新队列的其他方法。一种可能方案是添加辅助构造器,如下:

 def this() = this(Nil, Nil)

上面的辅助构造器可以构建空队列。通过改良,它可以带上初始队列元素列表:

def this(elems: T*) = this(elems.toList, Nil)

其中T*是重复参数的标记。

另一种可能性是添加可以初始元素序列创建队列的工厂方法。比较简洁的做法是定义与类同名的Queue对象及apply方法,如下所示:

object Queue {
//用初始元素’xs‘构造队列
def apply[T](xs: T*) = new Queue[T](xs.toList, Nil)
}

注意,工厂方法名为apply,因此客户可以用类似于Queue(1, 2, 3)这样的表达式创建队列。由于Queue是对象而不是函数,这个表达式会被扩展为Queue.apply(1,2,3)。

可选方案:私有类

私有构造器和私有成员是隐藏类的初始化代码和表达代码的一种方式。另一种更为彻底的方式是直接把类本身隐藏掉,仅提供能够暴露类公共接口的特质。

trait Queue[T] {
def head: T
def tail: Queue[T]
def append(x: T): Queue[T]
} object Queue {
def apply[T](xs: T*):Queue[T] =
new QueueImpl[T](xs.toList, Nil) private class QueueImpl[T](
private val leading: List[T],
private val trailing: List[T]
)extends Queue[T] {
def mirror =
if (leading.isEmpty)
new QueueImpl(trailing.reverse, Nil)
else
this def head: T = mirror.leading.head def tail: QueueImpl[T] = {
val q = mirror
new QueueImpl(q.leading.tail, q.trailing)
} def append(x: T) =
new QueueImpl(leading, x :: trailing)
}
}

三、变化型注解

上面定义的Queue是特质,不是类型。因为它带有类型参数。结果,将不能创建类型为Queue的变量:

scala> def doesNotCompile(q: Queue) {}
<console>:8: error: trait Queue takes type parameters
def doesNotCompile(q: Queue) {}
^

取而代之,特质Queue能够指定参数化的类型,如Queue[String], Queue[Int],或Queue[AnyRef]:

scala> def doesCompile(q: Queue[AnyRef]) {}
doesCompile: (q: Queue[AnyRef])Unit

注:根据上面定义的Queue,不同元素类型的队列之间没有子类型关系。Queue[String]对象不能被用作Queue[AnyRef]。

然而,可以用如下的方式改变Queue类定义的第一行,以要求队列协变(弹性)的子类型化:

trait Queue[+T] {
def head: T
def tail: Queue[T]
def append(x: T): Queue[T]
}

在正常的类型参数前面加上+号表明这个参数的子类型化是协变(弹性)的。

除了+号之外,还可以前缀加上-号,这表明是需要逆变的(contravariant)子类型化。如果Queue定义如下:

trait Queue[-T] { ... }

那么如果T是类型S的子类型,这将隐含Queue[S]是Queue[T]的子类型。无论类型参数是协变的,逆变的,还是非协变的,都被称为参数的变化型。可以放在类型参数前的+号和-号被称为变化型注解。

scala编程第19章学习笔记(1)——类型参数化的更多相关文章

  1. scala编程第16章学习笔记(3)——List类的高阶方法

    列表间映射:map.flatMap和foreach 1.xs map f 操作返回把函数f应用在xs的每个列表元素之后由此组成的新列表.如: scala> List(1, 2, 3) map ( ...

  2. scala编程第16章学习笔记(2)

    转换列表:toIterator, toArray,copyToArray List类的toArray方法将递归存放的列表转换为连续存放的数组 Array类的toList方法将连续存放的数组转换为递归存 ...

  3. scala编程第16章学习笔记(1)

    List列表的基本操作 head方法获得列表的第一个元素 tail方法获得列表除第一个元素之外的其它元素 isEmpty:判断列表是否为空,空的话返回真 last:获得列表最后一个元素 init:获得 ...

  4. scala编程第18章学习笔记——有状态的对象

    银行账号的简化实现: scala> class BankAccount{ | private var bal: Int = 0 | def balance: Int = bal | def de ...

  5. scala编程第17章学习笔记(4)——元组

    元组可以把固定数量的条目组合在一起以便于作为整体传送.不像数组或列表,元组可以保存不同类型的对象. 元组常用来返回方法的多个值.例如,下面的方法找到集合中的最长单词并返回它的索引: scala> ...

  6. scala编程第17章学习笔记(3)

    可变(mutable)集合与不可变(immutable)集合 为了更易于完成不可变集合到可变集合的转换,或者反向转换,Scala提供了一些语法糖.纵使不可变集和映射并不支持真正的+=方法,Scala还 ...

  7. scala编程第17章学习笔记(2)——集和映射

    默认情况下在使用“Set”或“Map”的时候,获得的都是不可变对象.如果需要的是可变版本,需要先写明引用. 如果同一个源文件中既要用到可变版本,也要用到不可变版本的集合或映射,方法之一是引用包含了可变 ...

  8. scala编程第17章学习笔记(1)——集合类型

    列表 列表的初始化及对其首尾的访问: scala> val colors = List("red", "blue", "green") ...

  9. scala编程第16章学习笔记(4)——List对象的方法

    通过元素创建列表:List.apply List(1, 2, 3) 等价于List.apply(1, 2, 3): scala> List.apply(1, 2, 3) res0: List[I ...

随机推荐

  1. LoadRunner脚本篇

    LoadRunner脚本篇     1概述 2脚本录制 3脚本编写 4脚本调试   关  键  词:LoadRunner 性能测试脚本 摘      要:编写一个准确无误的脚本对性能测试有至关重要的意 ...

  2. 设置Loadrunner负载机临时文件目录

    设置Loadrunner负载机临时文件目录 最近在跑稳定性测试 3 X 24小时的时候,发现负载机产生的日志还运行记录等等竟然有100多G! C盘空间不足,但是D盘还有700多G空间呢,怎么让临时文件 ...

  3. tp5总结(三)

    1.控制器 1-1.加载页面[使用系统函数eg:http://ww:7070/tp5-2/public/admin/test/load] 1-2.加载页面[继承控制器方法eg:http://ww:70 ...

  4. thinkphp3.2开启静态缓存与缓存规则设置

    网站的静态缓存对大访问量有很好的缓解作用,尤其对网站的大并发,可有效的缓解数据库的压力.在thinkphp中实现静态缓存很简单,thinkphp都已经封装好了直接调用即可. 静态缓存   首先设置 H ...

  5. poj2387- Til the Cows Come Home(最短路)

    此为转载:http://blog.csdn.net/wangjian8006: 题目大意:有N个点,给出从a点到b点的距离,当然a和b是互相可以抵达的,问从1到n的最短距离 解题思路: 模版题,这题要 ...

  6. hdu-1540线段树刷题

    title: hdu-1540线段树刷题 date: 2018-10-18 19:55:21 tags: acm 刷题 categories: ACM-线段树 概述 哇,,,这道线段树的题可以说是到目 ...

  7. Am335x SPI 驱动测试

    内核版本:3.14.65 CPU:Am335x 1.编译内核: make menuconfig Device Drivers -> <*>SPI support -> < ...

  8. php开启redis扩展

    1.安装redis git下载地址https://github.com/MSOpenTech/redis/releases 2.测试redis windows 运行(快捷键:windows键+R键), ...

  9. js date 相关

  10. 希尔排序之C++实现(初级版)

    希尔排序之C++实现(初级版) 一.源代码:希尔排序之C++实现(初级版) /*希尔排序基本思想: 先取一个小于n的整数d1作为第一个增量,把文件的全部记录分组. 所有距离为d1的倍数的记录放在同一个 ...