https://segmentfault.com/a/1190000004854613
类型系统
引用类型
AnyRef
的子类
使用new
构造对象
当存在默认构造函数，可以略去括号
AnyRef
等价于java.lang.Object
可以将null
赋值给Reference Type
值类型
AnyVal
的子类
Char, Byte, Short, Int, Long, Float, Double, Unit, Boolean
不能使用new
构造实例，而使用Literal Values
构造实例
编译器将其映射为Java
原生类型，以便提升性能
不能将null
赋值给Int
的变量
以Int
为例，其定义类似于：
final abstract class Int private extends AnyVal
final
表示不能被子类化
abstract
表示不能被实例化
private
表示主构造函数私有化，进一步保证不能被实例化
extends AnyVal
表示只能使用字面值构造实例
内置字面值
Unit
与()
Unit
类型在JVM
中对应于Java
的void
。
final abstract class Unit private extends AnyVal
()
是其唯一的实例。
classOf[Unit] // Class[Unit] = void().getClass // Class[Unit] = voidclassTag[Unit] // scala.reflect.ClassTag[Unit] = UnitclassTag[Unit].runtimeClass // Class[_] = void
具有返回值类型为Unit
的函数常常被称为「过程」(Procedure
)。
def update(i: Int, value: Char): Unit = { ...}
常常忽略Unit =
，Scala
默认推演为Unit
。上例等价于
def update(i: Int, value: Char) { ...}
返回值为Unit
的函数，代表了「副作用」语义；从某种意义上讲，「过程」是一种反函数式的思维。
Null
与null
Null
是所有AnyRef
的子类型，存在唯一的实例null
。不能将null
赋予「值类型」，例如Int, Boolean
等。
val num: Int = null // Compile Error
符号
'1th'2th
如果符号中有空格，可以是使用Symbol::apply
直接构造
Symbol("Programming Scala")
元组
(1, "two")
等价于Tuple2(1, "twp")
，或者Tuple2Int, String
。
val t1 = (1, "two")val t1: (Int,String) = (1, "two")val t2: Tuple2[Int,String] = (1, "two")
函数值
(i: Int, s: String) => s+i
是类型为Function2[Int, String, String]
的一个字面值。
字面值的类型定义常常用于类型声明，如下三个变量定义是相同的：
val f1: (Int, String) => String = (i, s) => s + ival f2 = (i: Int, s: String) => s + ival f3: Function2[Int, String, String] = (i, s) => s+ i
自定义自面值
Map
val capital = Map("US" -> "Washington", "France" -> "Paris")
"US" -> "Washington"
构造了一个类型为Tuple2[String, String]
的二元组：("US", "Washington")
。
package scalaobject Predef { implicit final class ArrowAssoc[A](private val self: A) extends AnyVal { def ->[B](y: B) = (self, y) }}
Regex
val regex = "([0-9]+) ([a-z]+)".r
需要注意的是，r
并非java.lang.String
的方法，Scala
拥有一套完备的机制增强既有类库的能力。
