Scala学习文档-样本类与模式匹配

样本类：添加了case的类便是样本类。这种修饰符可以让Scala编译器自动为这个类添加一些语法上的便捷设定。

//样本类case class
//层级包括一个抽象基类Expr和四个子类，每个代表一种表达式
//样本类自动添加与类名一致的工厂方法
abstract class Expr
case class Var(name:String) extends Expr//括号内参数不用加val，默认为加val的字段
case class Number(num:Double) extends Expr
case class UnOp(operator: String, arg: Expr) extends Expr
case class BinOp(operator: String, left:Expr,right:Expr)extends Expr

  def main(args:Array[String]):Unit = {
    //1、样本类自动添加与类名一致的工厂方法,所以可以不用new
    val v = Var("x");
    val op = BinOp("+",Number(1.0),v);
    //2、样本类参数列表中的所有参数隐式获得了val前缀，所以为字段
    var s1:String = v.name //============================================================//　　
    //match对应于Java里的Switch
    //选择器 match{备选项}  取代了 switch{选择器}{备选项}
    //一个备选项包含了一个模式以及多个表达式，箭头符号=>隔开了模式与表达式

    //本函数不对表达式进行任何的改变，只用来返回用来做匹配的表达式expr
    def simplifyTop(expr:Expr):Expr = expr match{
      case UnOp("-",UnOp("-",e)) =>e
      case BinOp("+",e,Number(0))=>e
      case BinOp("*",e,Number(1))=>e　　　 case _ => expr //如果没有通配， 在匹配不到的时候抛出异常　　　　

    }
    println(simplifyTop(BinOp("+",v,Number(0))))
    println(simplifyTop(BinOp("*",op,Number(1))))
  }

模式匹配：

match与switch的比较：匹配表达式可以被看作Java风格Switch的泛化。但有三点不同：

1. match是Scala的表达式，始终以值作为结果；
2. Scala的备选项表达式永远不会“掉到”下一个case；
3. 如果没有模式匹配，MatchError异常会被抛出。这意味着必须始终确信所有的情况都考虑到了，或者至少添加一个默认情况什么都不做。如 case _ =>