文章目录
面向对象的scala
我们知道Scala是一种JVM语言，可以合java无缝衔接，这也就大大的扩展了scala的应用范围，大数据里面有名的spark就是使用scala编写的，那么scala到底有什么奥秘和特性呢？我们一一来揭秘。
首先scala是一门面向对象的编程语言，他的面向对象性主要表现在如下几个方面：
- Unified Types
- Classes
- Traits
下面我们分别的说明他们各自的特定。
Unified Types
在Scala中，是没有java里面那些基础类型的，所有的Scala类型我们都可以称之为type，下面是一个类型层次结构的子集：
我们可以看到Any是所有类型的父类型，所有的类型都是直接或者间接继承Any来的。 Any提供了一些通用的方法比如：equals、hashCode和toString。 Any有两个直接的子类：AnyVal和AnyRef.
AnyVal表示的是值类型，它有9个预定义的非空的值类型分别是：Double、Float、Long、Int、Short、Byte、Char、Unit和Boolean。
其中Unit是一个比较特别的类型。可以把他看成java里面的void。因为Scala中所有的函数必须要有返回类型，当一个函数实在没有返回的时候，就用Unit吧。
AnyRef表示的是引用类型。所有的非值的类型都是引用类型。并且所有的用户自定义类型都是AnyRef类型的子类。在Java环境中，AnyRef相当于Java里面的java.lang.Object。
值类型可以按照下面的方式进行转换：
下面是转换的例子：
val x: Long = 987654321 val y: Float = x // 9.8765434E8 (note that some precision is lost in this case) val face: Char = '☺' val number: Int = face // 9786
Nothing是所有类型的子类，它通常被用来表示非正常终止的信号，比如抛出异常，程序退出等等。
Null是所有引用类型的子类型，Null主要是用来跟JVM交互使用的，通常不需要在Scala中使用到它。
Classes
Classes就是类，和java中的类相似，它里面可以包含方法、常量、变量、类型、对象、特质、类等。
一个最简的类的定义就是关键字class+标识符，类名首字母应大写。如下所示：
class Family val family = new Family
new关键字是用来创建类的实例。在上面的例子中，Family没有定义构造器，所以默认带有一个无参的默认的构造器。
- 构造器
那么怎么给类加一个构造器呢？
class Point(var x: Int, var y: Int) { override def toString: String = s"($x, $y)" } val point1 = new Point(2, 3) point1.x // 2 println(point1) // prints (2, 3)
和其他的编程语言不同的是，Scala的类构造器定义在类的签名中：(var x: Int, var y: Int)。 这里我们还重写了AnyRef里面的toString方法。
构造器也可以拥有默认值：
class Point(var x: Int = 0, var y: Int = 0) val origin = new Point // x and y are both set to 0 val point1 = new Point(1) println(point1.x) // prints 1
主构造方法中带有val和var的参数是公有的。然而由于val是不可变的，所以不能像下面这样去使用。
class Point(val x: Int, val y: Int) val point = new Point(1, 2) point.x = 3 // <-- does not compile
不带val或var的参数是私有的，仅在类中可见。
class Point(x: Int, y: Int) val point = new Point(1, 2) point.x // <-- does not compile
- 私有成员和Getter/Setter语法
Scala的成员默认是public的。如果想让其变成私有的，可以加上private修饰符，Scala的getter和setter语法和java不太一样，下面我们来举个例子：
class Point { private var _x = 0 private var _y = 0 private val bound = 100 def x = _x def x_= (newValue: Int): Unit = { if (newValue < bound) _x = newValue else printWarning } def y = _y def y_= (newValue: Int): Unit = { if (newValue < bound) _y = newValue else printWarning } private def printWarning = println("WARNING: Out of bounds") } object Point { def main(args: Array[String]): Unit = { val point1 = new Point point1.x = 99 point1.y = 101 // prints the warning } }
我们定义了两个私有变量_x, _y, 同时还定义了他们的get方法x和y，那么相应的他们的set方法就是x_ 和y_, 在get方法后面加上下划线就可以了。
这里我们还定义了一个Point的伴生对象，用于启动main方法。有关伴生对象的概念我们后面会详细讲诉。
Traits
特质 (Traits) 用于在类 (Class)之间共享程序接口 (Interface)和字段 (Fields)。 它们类似于Java 8的接口。 类和对象 (Objects)可以扩展特质，但是特质不能被实例化，因此特质没有参数。
- 定义Traits
最简化的特质就是关键字trait+标识符：
trait HelloWorld
特征作为泛型类型和抽象方法非常有用。
trait Iterator[A] { def hasNext: Boolean def next(): A }
扩展 trait Iterator [A] 需要一个类型 A 和实现方法hasNext和next。
- 使用Traits
使用 extends 关键字来扩展特征。然后使用 override 关键字来实现trait里面的任何抽象成员：
trait Iterator[A] { def hasNext: Boolean def next(): A } class IntIterator(to: Int) extends Iterator[Int] { private var current = 0 override def hasNext: Boolean = current < to override def next(): Int = { if (hasNext) { val t = current current += 1 t } else 0 } } val iterator = new IntIterator(10) iterator.next() // returns 0 iterator.next() // returns 1
- 子类型
和java一样，所有需要用到Traits的地方都可以用他的子类型代替。
import scala.collection.mutable.ArrayBuffer trait Pet { val name: String } class Cat(val name: String) extends Pet class Dog(val name: String) extends Pet val dog = new Dog("Harry") val cat = new Cat("Sally") val animals = ArrayBuffer.empty[Pet] animals.append(dog) animals.append(cat) animals.foreach(pet => println(pet.name)) // Prints Harry Sally
这里animals需要的是Pet类型，我们可以用dog和cat代替。
