标签：维护 xtend number 允许 rac str 长度 覆盖 异常
样本类
1、带有case关键字的类被称为样本类；
例如：abstract class Expr
case class Var(name: String) extends Expr
case class Number(num: Double) extends Expr
case class UnOp(operator:String,arg: Expr) extends Expr
case class BinOp(operatot: String,left:Expr,right:Expr) extends Expr
2、样本类的特点
1）增加与类名一致的工厂方法。即可以将构造的类由new Var("x")该为Var("x");
2) 样本类参数列表中的所有参数隐式的获得了val前缀，被当作字段维护；
3）编译器为你的类添加方法toString、hashCode、equals的自然实现，“==”符号直接转换为equals方法。
模式匹配
样本类可以进行模式匹配
例如如下样本类匹配函数：
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
}
匹配格式：选择器 match {备选项}
模式匹配以值作为结果，并且匹配到一个不会进行后面的匹配，如果没有模式匹配会抛出MatchError的异常。
模式匹配的种类
通配模式 ：使用"_"匹配任意对象
常量模式 ：常量模式仅仅匹配自身 （val变量或者单例对象也被看作常量，Nil匹配空列表的形式）
变量模式 ：变量模式类似于通配符，可以匹配任意对象
构造器模式 ：构造器作为匹配项进行匹配，检查方式:首先检查对象是该名称的样本类成员，然后检查对象构造器参数类型。
序列模式 ： 可以匹配某一个序列格式，例如匹配项为 List(0,_*) ,匹配一个不指定长度的序列
元祖模式 ： 还可与匹配元组，例如 （a,b,c）这样的模式
类型模式 ：可以把类型模式当做类型测试以及类型转换的简单替代 ，例如：s : String => s.length 匹配一个String类型转换 为一个Int类型（类型模式里的“_”代表任何类型）
擦除模式 ：
模式匹配中的擦除模式指的是类型参数信息没有保存到运行期，因此对于类型Map[Int,Int]无法匹配。
变量绑定 ：
将一个变量与一个模式绑定，即为变量绑定模式，这种模式的意义在于他能像通常的那样做模式匹配。例如UnOp（“abs”,e @ UnOp("abs",_)） => e ，匹配成功，那么符合UnOp（“abs”，_）部分就可以使用e指代，之后e就会保持原样被返回。
模式守卫 ：
模式是线性的，模式变量仅允许在模式中出现一次， 可以使用模式匹配重新制定规则，在匹配是加上判断条件 例如 case n ：Int if 0 < n 匹配正整数
模式重叠 ：
模式匹配中如果上一个模式匹配覆盖下一个模式匹配，或者匹配覆盖那么就会报错。可以调整匹配顺序。
封闭类 ：
封闭类就是让类是封闭的，将一个超类定义为一个封闭类，子类继承超类，定义一个超类类型的匹配变量，如果匹配选项没有包含所有继承超类的子类，编译器就会报错。定义封闭类的方式在类名前加上sealed 修饰。
Option类型：
Option（x）：如果x非空，返回 some（x），如果为空，返回None对象。
标签：维护 xtend number 允许 rac str 长度 覆盖 异常
原文地址：http://www.cnblogs.com/moss-yang/p/7290721.html
