内容简介:Scala 类型的类型(三)
现在我们来深入了解「类型别名」的使用场景 — 抽象类型成员(Abstract Type Member)。
有了抽象类型成员,我们就可以说「我希望有人告诉我某个类型 — 我将通过名称 MyType 来引用它」。抽象类型成员最基本的功能就是让我们能够定义泛型类(模板),但却不是通过使用 class Clazz[A, B]
这种语法,而是在类里面进行命名,就像这样子:
traitSimplestContainer{ typeA//AbstractTypeMember defvalue: A }
学过 Java 的朋友会觉得这在语法上有点类似 Container<A>
,但在 「路径依赖类型」 的章节中我们会发现它其实是更强大的,以下的例子也可以说明这一点。
需要注意到的关键点是,虽然 Abstract Member Type 命名中包含了关键字 abstract
,它并不会表现得跟一个「抽象字段」一样 — 所以你仍然可以在不「实现」类型成员 A
的前提下创建一个 SimplestContainer
的新实例:
new SimplestContainer // valid, but A is "anything"
你可能会想知道类型 A
到底是什么,因为我们没有在任何地方提供关于它的任何信息。然而实际上 type A
无非只是 type A >: Nothing <: Any
的一个缩写而已,它可以代表「任何东西」。
objectIntContainerextendsSimplestContainer{ typeA= Int defvalue= 42 }
我们通过使用类型别名「提供了一个类型」,现在我们可以实现这个 value
方法,返回一个 Int
。
我们可以对「抽象类型成员」进行约束,这是它更加有趣的应用。假设你想要一个容器,只能存储一个 Number
的任何示例。我们可以在定义一个抽象类型成员的地方注释以下的约束:
traitOnlyNumbersContainer{ typeA<: Number defvalue: A }
或者我们可以稍后在类的继承关系中添加约束,比如继承一个声明「only Numbers」的特质:
traitSimpleContainer{ typeA defvalue: A } traitOnlyNumbers{ typeA<: Number } val ints = new SimpleContainer with OnlyNumbers { defvalue= 12 } // bellow won't compile val _ = new SimpleContainer with OnlyNumbers { defvalue= "" // error: type mismatch; found: String(""); required: this.A }
因此,就如你看到的,我们可以像使用「类型变量」一样使用「抽象类型成员」,但是却不必像前者一样到处显式传递,因为它不是一个字段。虽然这里需要付出一点代价 — 我们需要给这些类型取名字。
12. 自递归类型
自递归类型(Self-recursive Types)在大多数文献中被称为 F-Bounded Types 。所以你可能会发现很多文章或博客引用 F-bounded 。事实上,这是 self-recursive 的另一种叫法,代表了「子类型约束」本身是通过参数化发生在左侧的绑定器的情况。
由于「自递归」的叫法更加直观,我们会在后续的文中坚持使用(尽管还是有部分读者会在 google 中搜索「F-bounded是什么」)。
12.1 F-Bounded Type
虽然这不是 Scala 的某种具体类型,但它有时也让人感到棘手。很多人熟悉(也许是不知不觉地)的一个自递归类型的例子是 Java 中的 Enum<E>
。如果你比较好奇,可以参见 Enum sources from Java
。但现在先让我们回到 Scala,看看我们到底在讨论什么。
在本节中,我们不会特别深入探讨这种类型。如果你想要了解在 Scala 中更多、更深入的用例,或许可以看看 Kris Nuttycombe 的 F-Bounded Type Polymorphism Considered Tricky 。
想象你有某个 Fruit
特质,一个 Apple
和 Orange
继承了它。Fruit 特质同时还有一个 compareTo 方法,这时候问题出现了 — 猜想你想说「我不能拿橘子和苹果进行比较啊,它们可是完全不同的东西!」。我们先来写一段天真的实现代码:
// naive impl, Fruit is NOT self-recursively parameterised traitFruit{ final defcompareTo(other: Fruit): Boolean = true // impl doesn't matter in our example, we care about compile-time } classAppleextendsFruit classOrangeextendsFruit val apple = new Apple() val orange = new Orange() apple compareTo orange // compiles, but we want to make this NOT compile!
在这段代码中,由于 Fruit
特质不知道谁会继承它,所以不可能通过限制 compareTo 的签名来实现只允许传入跟 this
相同的子类型参数。让我们利用「自递归类型参数」来重新实现下:
traitFruit[T<:Fruit[T]]{ final defcompareTo(other: Fruit[T]): Boolean = true // impl doesn't matter in our example } classAppleextendsFruit[Apple] classOrangeextendsFruit[Orange] val apple = new Apple val orange = new Orange
注意 Fruit 签名里的类型参数,你可以解读为「我传入了类型 T
, T
必须是一个 Fruit[T]
」,必须像上述 Apple
和 Orange
一样继承这个特质才能满足这种界限条件。现在如果我们要比较 apple
和 orange
,我们就会得到一个编译时错误:
scala> orange compareTo apple :13: error: type mismatch; found : Apple required: Fruit[Orange] orange compareTo apple scala> orange compareTo orange res1: Boolean = true
因此我们确定只能在同类水果之间进行比较,比如苹果跟苹果。假使讨论更多,要是 Apple
和 Orange
的子类呢?好,因为我们在类型继承关系中在 Apple / Orange 层填写了类型参数,根本上行我们可以说「苹果只能跟苹果进行比较」,这也意味着苹果的子类可以进行相互比较。这对 Fruit 的 compareTo
的签名来说依旧好办,因为我们调用的右侧部分会变成 Fruit[Apple]
— 变得更具体一点而已。让我们用一个日本的苹果(ja. “りんご”, “ringo”)和一个波兰的苹果(pl. “Jabłuszko”)举例:
object`りんご`extendsApple objectJabłuszkoextendsApple `りんご` compareTo Jabłuszko // true
你也可以通过其它奇技淫巧来实现同样的类型安全,比如路径依赖类型、隐式参数或 Type Class ,但这应该是最简单的实现方式。
13. 类型构造器
:x: 该章节作者尚未完成,或需要修改
类型构造器跟函数几乎是类似的,但前者是在类型层面。换句话说,你在日常的编程中可以给一个函数传入一个值 a
,然后返回一个值 b
。于是在类型层面编程,你可以认为一个 List[+A]
是一个类型构造器,表现如下:
-
List[+A]
有一个类型参数 (A
); -
它本身并不是一个有效的类型,你需要填充
A
所在的地方来「构造类型」; -
填上
Int
你就得到了一个具体的类型List[Int]
。
通过这个例子,你会发现「类型构造器」跟「普通构造器」是如此的相似,唯一不同的地方在于前者处理的是类型,而不是对象的实例。值得注意的是,在 Scala 中我们不能说某个东西的类型是 List
,因为它并不像 Java 里,javac 会将 List<Object>
给你。 Scala 在这个地方是更严格的,它并不允许我们仅仅使用一个 List
来代表一个类型,因为它是一个类型构造器,而不是一个真正的具体类型。
在 Scala 2.11.x 中我们将在 REPL 中拥有一个强大的命令 - :kind
,它支持检测一个类型是高阶。让我们通过一个简单的类型构造器来试试看,比如 List[+A]
:
// Welcome to Scala version 2.11.0-M5 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0-ea). // Type in expressions to have them evaluated. :kind List // scala.collection.immutable.List's kind is F[+A] :kind -v List // scala.collection.immutable.List's kind is F[+A] // * -(+)-> * // This is a type constructor: a 1st-order-kinded type.
这里我们看到,scalac 可以告诉我们 List
实际上是一个类型构造器(当与 -verbose
一起使用时,会更有说服力)。我们来调查下上述信息中的语法: * -> *
。这个语法被广泛地用于代表类型( kind ,而不是 type ),我发现事实上这是受到了 Haskell 的启发 — Haskell 用它来打印函数的类型。最直观的解读是「传入一个类型,返回另一个类型」。你也许已经注意到我们从 Scala 完整的输出中省略了来自关系中的 +
符号( * -(+)-> *
)。这个代表型变的边界,你可以在Scala 中的型变 一节中了解更多关于型变的内容。
综上所述, List[A+]
(或者 Option[+A]
,或者 Set[+A]
…… 或者其它有一个类型参数的东西)是最简单的类型构造器的例子 — 这些都有一个参数。我们称它们为第一阶类型 ( * -> *
)。值得一提的是,一个 Pair[+A, +B]
(我们可以表示为 * -> * -> *
)依旧不是一个「高阶类型」,它也是第一阶的。在下一节中,我们将仔细研究高阶类型到底给我们带来了什么,以及如何识别它。
14. 高阶类型
:x: 该章节作者尚未完成,仍旧缺失部分内容
这里一个典型的例子是 Monad
:
scala> import scalaz._ import scalaz._ scala> :k Monad // Finds locally imported types. Monad's kind is (* -> *) -> * This is a typeconstructorthattakestypeconstructor(s): a higher-kinded type.
TODO: http://blogs.atlassian.com/2013/09/scala-types-of-a-higher-kind/
15. 样例类
样例类(Case Class)是 Scala 编译器中最有用的小技巧之一。它使用起来简单,然而又帮了大忙。它为我们避免了一些非常重复无聊的工作,如 equals
、 hashCode
和 toString
的实现,内置了 apply
/ unapply
方法来支持模式匹配,等等。
在 Scala 中一个样例类的声明就像一个普通的类一样,只是需要前置一个 case
关键字:
case classCircle(radius:Double)
仅一行代码,我们就已经实现了 Value Object 模式。这意味着通过定义一个样例类,我们就自动做到了以下事情:
- 它的实例是不可变的;
-
可以使用
equals
来被比较,通过它的字段来判定相等(而不是类似一个普通类的对象相等); -
它的
hashCode
奉行equals
的契约,是基于类的值; -
它的
toString
由类名和它所包含的字段的值组成的(对照上面的 Circle,可实现为def toString = s"Circle($radius)"
)。
我们消化下目前所提到的东西,接下来将使用一个生动的例子来继续延伸。这次我们要实现一个 Point
类,它会拥有不止一个字段,来展现 case class
给我们提供的一些有趣的特性:
① case classPoint(x:Int, y:Int) ② val a = Point(0, 0) ③ // a.toString == "Point(0,0)" ④ val b = a.copy(y = 10) // b.toString == "Point(0,10)" ⑤ a == Point(0, 0)
① x
和 y
自动被定义为 val
成员;
② 一个 Point
的伴身对象会同时产生,它有一个 apply(x: Int, y: Int)
方法,我们可以借此创建实例;
③ 生成的 toString
方法包含了类名以及 case class 的参数值;
④ copy(...)
方法支持我们轻松创建拷贝的对象,改变选定的字段;
⑤ case class 基于值来判等 ( equals
和 hashCode
被生成,它们基于 case class 的参数实现)
除此之外,一个 case class 还可被用于模式匹配,使用惯常的或者「抽取器模式」语法:
Circle(2.5) match { case Circle(r) => println("Radius = " + r) } val Circle(r) val r2 = r + r
以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持 码农网
猜你喜欢:- golang的值类型,指针类型和引用类型&值传递&指针传递
- Scala 类型的类型(二)
- Scala 类型的类型(三)
- Scala 类型的类型(二)
- golang: 类型转换和类型断言
- 【数据类型】js的数据类型
本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们。
High Performance Python
Andrew Lewis / O'Reilly Media, Inc. / 2010-09-15 / USD 34.99
Chapter 1. Introduction Section 1.1. The High Performance Buzz-word Chapter 2. The Theory of Computation Section 2.1. Introduction Section 2.2. Problems Section 2.3. Models of Computati......一起来看看 《High Performance Python》 这本书的介绍吧!