样本类和模式匹配

package 样本类和模式匹配


/**
  * @Author:Alex_lei
  * @Description:
  */
object Case_class {

  /**
    * people就是样本类
    * @param name 名字属性
    * @param age 年龄属性
    */
  case class people(name:String,age:Int)
  def main(args: Array[String]): Unit = {
    val p1 = people("alex",23)
    val p2 = people("Lily",22)

    println(p1)

  }
}

package 样本类和模式匹配


import math.{E, Pi}
/**
  * @Author:Alex_lei
  * @Description: 几种模式的种类
  */
object Mode {
  case class people(name:String,age:Int)
  def main(args: Array[String]): Unit = {
    /**
      * 测试通配符
      */
    catch_all(3)
    println(describe(5))

    /**
      * 3.变量模式,在此例子中，pi是变量模式，所以它可以匹配任意值，所以后续的值不会匹配。
      */

    val pi = Pi
    val res = E match {
      case pi => "pi"
      case _ => "OK"
    }
    println(res)

    /**
      * 测试构造器模式
      */
    val p = people("alex",22)
    Constructor_mode(p)

    /**
      * 5.序列模式，匹配如List或Array这样的类型
      */
    val l = List(1,2,3)
    l match {
      case List(_,_,_) => println("list")
      case _ => println("something else")
    }

    /**
      * 6.元组模式
      */

    val t = (1,"alex",22)
    t match {
      case (_,_,_) => println("tuple")
      case _ => println("something else")
    }

    /**
      * 测试类型模式
      */
    val s = "alex"
    type_mode(s)
    val m = Map(1->‘2‘,2->‘3‘)
    type_mode(m)

    val m1 = Map("alex" -> "name","Lily" -> "name1")
    println(show(m1 get "alex"))
  }

  /**
    * 1.通配符，符号：_ 可以匹配任何对象
    */
  def catch_all(a:Int): Unit = {
    a match {
      case 1 => println(‘a‘)
      case 2 => println(‘c‘)
      case _ => println(‘_‘)
    }

  }

  /**
    * 2.常量模式:用常量去匹配，基本类型的常量和val或单例对象也可以被用作常量。
    * @param x
    */
  def describe(x:Any) ={
    x match {
      case 5 => "five"
      case true => "truth"
      case "hello" => "hi"
      case Nil => "the empty list"
      case _=> "something else"
    }
  }

  /**
    * 4.构造器模式
    * @param p
    */
  def Constructor_mode(p:people) = {
    p match {
      case people(_,_) => println("people")
      case _ => println("any")
    }
  }

  /**
    * 7.类型模式
    * @param x
    */
  def type_mode(x:Any) = {
    x match {
      case s: String => println(s.length)
      case m: Map[_,_] => println(m.size)
      case _ => println("something else")
    }
  }

  def show(x:Option[String]) = x match {
    case Some(s) => s
    case None => "?"
  }

}

package 样本类和模式匹配

/**
  * @Author:Alex_lei
  * @Description: 模式守卫，主要是为了更精确的匹配模式
  */
object Mode_guard {
  def main(args: Array[String]): Unit = {
    /**
      * 测试模式守卫
      */

    val a = -10
    print("a = -10 :")
    m(a)

    val b = 10
    print("b = 10 :")
    m(b)

    val s = "abc"
    print("s = abc :")
    m(s)

    val t = "a"
    print("t = a :")
    m(t)
  }

  def m(x:Any) = x match {
    case x:Int if x>0 => println("Int")
    case x:String if x.length>2 => println("String")
    case _ => println("Any")
  }
}

package 样本类和模式匹配

/**
  * @Author:Alex_lei
  * @Description: option类型的值只有两种形式，可以是Some(x)，其中x是实际值，也可以None对象
  *               Some和None都是它的子类，都是使用final修饰，不能再有派生子类
  */
object Option {
  def main(args: Array[String]): Unit = {
    val book = Map("Hadoop" -> 10,"Spark" -> 20,"Flink" -> 30,"Scala" -> 40)

    val t = book.get("Hadoop") //Option[Int] = Some(10)返回值是Option[Int]类型
    println(t)

    /**
      * 下面两个例子说明，当有返回值的时候，结果不会返回getOrElse的参数
      * 当没有返回值的时候，结果就会返回getOrElse的参数
      */
    val t1 = book.get("Hbase").getOrElse("No key") //No key
    println(t1)

    val t2 = book.get("Spark").getOrElse("yes") //20
    println(t2)
  }
}

package 样本类和模式匹配



/**
  * @Author:Alex_lei
  * @Description: 封闭类，使用sealed关键字，用于模式匹配，当我们用
  *              样本类来做模式匹配时，想让编译器帮助我们确保列出了所有
  *              的可能，我们需要将样本类的超类进行封闭。
  */
object Sealed {
  def main(args: Array[String]): Unit = {

    val t = Number(2)
    val res = describe(t)
    println(res)
    des(t)
    desc(t)


  }

  /**
    * Warning:(16, 33) match may not be exhaustive.
    * It would fail on the following inputs: Binop(_, _, _), Unop(_, _)
    * def describe(x:Expr):String = x match {
    *
    * 这样写，会出现警告，说还有两种可能性
    *
    * 解决方式可以有以下两种，分别为des函数和desc函数
    * des函数主要是在加一个通配符
    * desc函数是在要匹配的表达式后面加一个@unchecked注解，功能是对于随后的模式的穷举性检查将被抑制掉
    */
  def describe(x:Expr):String = x match {
    case Number(_) => "a number"
    case Var(_) => "a string"
  }

  def des(x:Expr):String = x match {
    case Number(_) => "a number"
    case Var(_) => "a string"
    case _ => throw new RuntimeException
  }

  def desc(x:Expr):String = (x: @unchecked) match {
    case Number(_) => "a number"
    case Var(_) => "a string"
  }
}

/**
  * 定义封闭类Expr
  */
sealed abstract class Expr

/**
  * 定义四个样本类继承Expr
  *
  */
case class Var(name:String) extends Expr
case class Number(num:Double) extends Expr
case class Unop(operator:String,args:Expr) extends Expr
case class Binop(operator:String,left:Expr,right: Expr) extends Expr