Scala语言是一种面向对象语言,结合了命令式(imperative)和函数式(functional)编程风格,其设计理念是创造一种更好地支持组件的语言。

特性

  • 多范式(Multi-Paradigm)编程语言,类似Java、C#;

  • 继承面向对象编程和函数式编程的特性;

    • 面向对象:[1]. 子类继承,[2]. 混入(Mixin)机制;

    • 函数式:支持高阶函数、嵌套函数,模式匹配,支持柯里化(Currying);

    • 类型推断(Type Inference):根据函数体中的具体内容推断方法的返回值类型

  • 更高层的并发模型,可伸缩;

  • 静态类型,编译时检查;

  • 允许与Java互操作(将来会支持与.Net互操作);

与Java对比

  • 如果用作服务器端开发,Scala的简洁、灵活性是Java无法比拟的;

  • 如果是企业级应用开发、Web开发,Java的强大是Scala无法匹敌的;

基础语法

表达式(Expressions)

表达式是可计算的语句。您可以使用println输出表达式的结果。

println(1) // 1
println(1 + 1) // 2
println("Hello!") // Hello!
println("Hello," + " world!") // Hello, world!

值(Values)

您可以使用val关键字命名表达式的结果。

val x = 1 + 1
println(x) // 2

命名结果(例如x)称为值。引用值不会重新计算它。值无法被重新分配。

val x = 1 + 1
x = 3 // This does not compile.

可以推断出值的类型,但您也可以显式声明类型,如下所示:

val x: Int = 1 + 1

注意类型声明Int如何在标识符x之后出现,你还需要一个“:”

变量(Variables)

变量就像值,除了你可以重新赋值。您可以使用var关键字定义变量。

var x = 1 + 1
x = 3 // This compiles because "x" is declared with the "var" keyword.
println(x * x) // 9

与值一样,您可以根据需要明确说明类型:

var x: Int = 1 + 1

块(Blocks)

您可以通过用{}包围表达式来组合表达式。我们称之为块。块中最后一个表达式的结果也是整个块的结果。

println({
  val x = 1 + 1
  x + 1
}) // 3

函数(Functions)

函数是带参数的表达式。

您可以定义一个返回给定整数加一的匿名函数(即无名称):

(x: Int) => x + 1

在=>的左边是参数列表。右边是涉及参数的表达式。

您也可以命名函数。

val addOne = (x: Int) => x + 1
println(addOne(1)) // 2

函数可能需要多个参数。

val add = (x: Int, y: Int) => x + y
println(add(1, 2)) // 3

或者它不需要参数。

val getTheAnswer = () => 42
println(getTheAnswer()) // 42

方法(Methods)

方法的外观和行为与函数非常相似,但它们之间存在一些关键差异。

方法使用def关键字定义。 def后跟名称,参数列表,返回类型和正文。

def add(x: Int, y: Int): Int = x + y
println(add(1, 2)) // 3

注意如何在参数列表和冒号之后声明返回类型:Int。

方法可以采用多个参数列表。

def addThenMultiply(x: Int, y: Int)(multiplier: Int): Int = (x + y) * multiplier
println(addThenMultiply(1, 2)(3)) // 9

或者根本没有参数列表。

def name: String = System.getProperty("user.name")
println("Hello, " + name + "!")

还有一些其他差异,但就目前而言,您可以将它们视为与函数类似的东西。

方法也可以有多行表达式。

def getSquareString(input: Double): String = {
  val square = input * input
  square.toString
}

正文中的最后一个表达式是方法的返回值。 (Scala确实有一个return关键字,但它很少使用。)

关于方法(Method)和函数(Function)

类(Classes)

您可以使用class关键字定义类,后跟其名称和构造函数参数。

class Greeter(prefix: String, suffix: String) {
  def greet(name: String): Unit =
    println(prefix + name + suffix)
}

方法greet的返回类型是Unit,它表示返回没有任何意义。它与Java和C中的void类似地使用。(不同之处在于,因为每个Scala表达式必须具有某个值,实际上存在Unit类型的单例值,write()。它不携带任何信息。)

您可以使用new关键字创建类的实例。

val greeter = new Greeter("Hello, ", "!")
greeter.greet("Scala developer") // Hello, Scala developer!

样本类(Case Classes)

Scala有一种特殊类型的类,称为样本类。默认情况下,样本类是不可变的,并按值进行比较。您可以使用“case class”关键字定义案例类。

case class Point(x: Int, y: Int)

您可以在没有new关键字的情况下实例化样本类。

val point = Point(1, 2)
val anotherPoint = Point(1, 2)
val yetAnotherPoint = Point(2, 2)

并且它们按值进行比较。

if (point == anotherPoint) {
  println(point + " and " + anotherPoint + " are the same.")
} else {
  println(point + " and " + anotherPoint + " are different.")
}
// Point(1,2) and Point(1,2) are the same.
if (point == yetAnotherPoint) {
  println(point + " and " + yetAnotherPoint + " are the same.")
} else {
  println(point + " and " + yetAnotherPoint + " are different.")
}
// Point(1,2) and Point(2,2) are different.

对象(Objects)

对象是它们自己定义的单个实例。你可以把它们想象成自己班级的单身人士。

您可以使用object关键字定义对象。

object IdFactory {
  private var counter = 0
  def create(): Int = {
    counter += 1
    counter
  }
}

您可以通过引用其名称来访问该对象。

val newId: Int = IdFactory.create()
println(newId) // 1
val newerId: Int = IdFactory.create()
println(newerId) // 2

抽象类

你可以定义一个抽象类,它定义了一些方法但没有实现它们。取而代之是由扩展抽象类的子类定义这些方法。你不能创建抽象类的实例。

abstract class Shape {      
  def getArea():Int    // subclass should define this      
} 
class Circle(r: Int) extends Shape {      
  def getArea():Int = { r * r * 3 }      
} 
val s = new Shape //error: class Shape is abstract; cannot be instantiated                     
val c = new Circle(2)

特质(Traits)

特质是包含某些字段和方法的类型。可以组合多种特质。
您可以使用trait关键字定义特质。

trait Greeter {
  def greet(name: String): Unit
}

特质也可以有默认实现。

trait Greeter {
  def greet(name: String): Unit =
    println("Hello, " + name + "!")
}

您可以使用extends关键字扩展traits并使用override关键字覆盖实现。

class DefaultGreeter extends Greeter
class CustomizableGreeter(prefix: String, postfix: String) extends Greeter {
  override def greet(name: String): Unit = {
    println(prefix + name + postfix)
  }
}
val greeter = new DefaultGreeter()
greeter.greet("Scala developer") // Hello, Scala developer!
val customGreeter = new CustomizableGreeter("How are you, ", "?")
customGreeter.greet("Scala developer") // How are you, Scala developer?

在这里,DefaultGreeter只扩展了一个特质,但它可以扩展多个特质。

什么时候应该使用特质而不是抽象类?

如果你想定义一个类似接口的类型,你可能会在特质和抽象类之间难以取舍。这两种形式都可以让你定义一个类型的一些行为,并要求继承者定义一些其他行为。一些经验法则:

  • 优先使用特质。一个类扩展多个特质是很方便的,但却只能扩展一个抽象类。

  • 如果你需要构造函数参数,使用抽象类。因为抽象类可以定义带参数的构造函数,而特质不行。例如,你不能说trait t(i: Int) {},参数i是非法的。

Main方法

Main方法是程序的切入点。 Java虚拟机需要将main方法命名为main,并使用一个参数,即一个字符串数组。
使用对象,您可以按如下方式定义main方法:

object Main {
  def main(args: Array[String]): Unit =
    println("Hello, Scala developer!")
}

本文主要翻译自Basics|Scala Documentation

05-11 18:07