scala · 2019-10-30 1

Scala教程之:面向对象的scala

面向对象的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代替。

更多教程请参考 flydean的博客