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 拥有一套完备的机制增强既有类库的能力。