Scala学习（九）异常，隐式转换和泛型

异常

• 我们将可疑代码封装在 try 块中。在 try 块之后使用了一个 catch 处理程序来捕获异常。如果发生任何异常，catch 处理程序将处理它，程序将不会异常终止。
• Scala 的异常的工作机制和 Java 一样，但是 Scala 没有“checked（编译期）”异常，即 Scala 没有编译异常这个概念，异常都是在运行的时候捕获处理。
• 异常捕捉的机制与其他语言中一样，如果有异常发生，catch 子句是按次序捕捉的。因此，在 catch 子句中，越具体的异常越要靠前，越普遍的异常越靠后，如果把越普遍的异常写在前，把具体的异常写在后，在 Scala 中也不会报错，但这样是非常不好的编程风格。
• finally 子句用于执行不管是正常处理还是有异常发生时都需要执行的步骤，一般用于对象的清理工作，这点和 Java 一样。

try{
      var n = 10/0;
    }catch {
      case e:ArithmeticException => {
        println("发生算数异常！")
      }
      case _ => {
        println("发生异常！")
      }
    }finally {
      println("处理结束！")
    }

隐式转换

• 当编译器第一次编译失败的时候，会在当前的环境中查找能让代码编译通过的方法，用于将类型进行转换，实现第二次编译

隐式函数

• 说明：隐式转换可以在不需改任何代码的情况下，扩展某个类的功能。
• 案例演示：

object test5 {
  def main(args: Array[String]): Unit = {    
  	//1. 隐式函数
    implicit def convert(num:Int):MyRichInt = new MyRichInt(num)
     println(12.myMax(15))
  }
}
//自定义类
class MyRichInt(val self: Int){
  def myMax(n :Int):Int = if(n < self) self else n
  def myMin(n: Int):Int = if(n < self) n else self
}

隐式参数

• 说明：普通方法或者函数中的参数可以通过 implicit 关键字声明为隐式参数，调用该方法时，就可以传入该参数，编译器会在相应的作用域寻找符合条件的隐式值。
  • 同一个作用域中，相同类型的隐式值只能有一个
  • 编译器按照隐式参数的类型去寻找对应类型的隐式值，与隐式值的名称无关。
  • 隐式参数优先于默认参数

object TestImplicitParameter {
 implicit val str: String = "hello world!"
 def hello(implicit arg: String="good bey world!"): Unit = {
 println(arg)
 }
 def main(args: Array[String]): Unit = {
 hello
 }
}

隐式类

• 在 Scala2.10 后提供了隐式类，可以使用 implicit 声明类，隐式类的非常强大，同样可以扩展类的功能，在集合中隐式类会发挥重要的作用。
  • 其所带的构造参数有且只能有一个
  • 隐式类必须被定义在“类”或“伴生对象”或“包对象”里，即隐式类不能是顶级的。

object test5 {
  def main(args: Array[String]): Unit = {    
    //2. 隐式类
    implicit class MyRichInt2(val self: Int){
      def myMax2(n :Int):Int = if(n < self) self else n
      def myMin2(n: Int):Int = if(n < self) n else self
    }
    println(12.myMax2(15))
  }
}
//自定义类
class MyRichInt(val self: Int){
  def myMax(n :Int):Int = if(n < self) self else n
  def myMin(n: Int):Int = if(n < self) n else self
}

隐式解析机制

• 首先会在当前代码作用域下查找隐式实体（隐式方法、隐式类、隐式对象）。（一般是这种情况）
• 如果第一条规则查找隐式实体失败，会继续在隐式参数的类型的作用域里查找。类型的作用域是指与该类型相关联的全部伴生对象以及该类型所在包的包对象。

泛型

协变和逆变

• 语法：
  • 协变：Son 是 Father 的子类，则 MyList[Son] 也作为 MyList[Father]的“子类”。
  • 逆变：Son 是 Father 的子类，则 MyList[Son]作为 MyList[Father]的“父类”。
  • 不变：Son 是 Father 的子类，则 MyList[Father]与 MyList[Son]“无父子关系”

class MyList[+T]{ //协变
} 
class MyList[-T]{ //逆变
}
class MyList[T] //不变