Scala——隐式转换

Scala-隐式转换和隐式参数

1、隐式转换

隐式转换函数是以implicit关键字声明的带有单个参数的函数。这种函数将会自动应用，将值从一种类型转换为另外一种类型。
如：

implicit def L1(a:Double) = a.toInt
#单独使用，语法肯定是错误的，但是可以使用如下的隐式转换函数，编译器会把Double类型转换为Int类型
val l1 :Int = 3.5
println(l1)

2、利用隐式转换丰富类库

在实际开发中，我们难免会遇到为已存在的类库添加一些我们需要但是库中没有的功能，这时隐式转换的优势就得以体现出来，不用修改类库中任何的代码，只需要使用隐式转换就可以满足我们的需要。
比如想为File增加一个read方法，可以使用如下转换：

class RichFile(val from:File) {
		  def read = Source.fromFile(from.getPath).mkString
		}
		
		object Main3 extends App{
		  implicit def file2RichFile(from: File) = new RichFile(from)
		
		  val contents = new File(pathname="./work").read
		  println(contents)
		}

好处：在不修改原版本代码同时为原本的代码增加新的功能。

3、隐式值

将变量标记为implicit，这样编译器会在方法省略隐式参数的情况下去自动搜索作用域内的隐式值作为缺少参数。

	implicit val a = "xiaoming"
    def person(implicit  name : String)= name
    println(person)

注意：如果在此时在和上面代码块相同的作用域内再定义一个隐式变量，当再次调用方法时候就会报错：出现了二义性。

	implicit val a = "xiaoming"
	implicit val a1 = "xiaoming"
    def person(implicit  name : String)= name
    println(person)

4、隐视视图

• 隐式转换为目标类型：把一种类型自动转换为另外一种类型

	def func(message : String) = println(message)
	implicit def int_to_string(x : Int) = x.toString
	func(100)

• 隐式转换调用本类中本不存在的方法

	package test
	
	import test.Learn
	
	class Dog {
	  val name = "dog"
	
	}
	
	class Skill{
	  def fly(animal:Dog, skill: String) = println(animal.name + "学会了" + skill)
	}
	
	object Learn {
	  implicit def learning(s:Dog) = new Skill
	}
	
	object Main2 extends App{
	  override def main(args: Array[String]): Unit = {
	    val dog = new Dog
	    dog.fly(dog,"飞行")
	  }
	}

5、隐式类

在scala2.10之后的版本提供了隐式类，可以使用implicit声明类，但是需要注意以下几点：

- 其所带的构造参数有且只能有一个
- 隐式类必须定义在“类”或“伴生对象”或“包对象”里
- 隐式类不能是case class（case class 在定义会自动生成伴生对象与上一点矛盾）
- 作用域内不能有与之相同名称的标识符

	object StringUtils {
	  implicit class StringImprovement(val s : String){ //隐式类
	    def increment = s.map(x => (x +1).toChar)
	  }
	}
	object Main3 extends  App{
	  import unit15.StringUtils._
	  println("mobin".increment)
	}

6、隐式转换的时机

1. 当方法中的参数类型与目标类型不一致时
2. 当对象调用所在类中不存在的方法或成员时，编译器会自动将对象进行隐式转换

7、隐式解析机制

即编译器是如何查找到缺失信息的，解析具有以下两种规则：

1. 首先会在当前代码作用域下查找隐式实体（隐式方法、隐式类、隐式对象）
2. 如果第一条规则查找隐式实体失败，会继续在隐式参数类型的作用域里查找。类型的作用域是指与该类型相关联的全部伴生模块，一个隐式实体的类型T的查找范围如下：
   a)如果T被定义为T with A with B，那么A、B都是T的部分，在隐式解析的过程中，他们的伴生对象都会被搜索
   b)如果T是参数化类型，那么类型参数和与类型参数相关联的部分都算作是T的部分，比如List[String]的隐式搜索会搜索List的伴生对象和String的伴生对象
   c)如果T是一个单例类型p.T，即T是属于某个p对象内，那么这个p对象也会本搜索
   d)如果T是个类型注入S#T,那么S和T都会被搜索

8、隐式转换的前提

1）不能存在二义性
2）隐式操作不能嵌套