隐式转换
先看一段代码,引出隐式转换的实际需要=>指定某些数据类型的相互转化
object Scala01 {
def main(args: Array[String]): Unit = {
val num1 : Int = 3.5
val num2 : Int = 4.6
println(num1)
println(num2)
}
}
结果:以上代码会编译错误
1.隐式函数基本介绍
隐式转换函数是以implicit关键字声明的带有单个参数的函数。这种函数将会自动应用,将值从一种类型转换为另一种类型
隐式函数快速入门
使用隐式函数可以优雅的解决数据类型转换,以前面的案例入门.
implicit def f1(d: Double): Int = {
d.toInt
}
//Double 是输入类型, Int 是转换后的类型
加入以上代码后,开篇第一段代码编译就不会报错了
2.隐式转换的注意事项和细节
隐式转换函数的函数名可以是任意的,隐式转换与函数名称无关,只与函数签名(函数参数类型和返回值类型)有关。
隐式函数可以有多个(即:隐式函数列表),但是需要保证在当前环境下,只有一个隐式函数能被识别
//在当前环境中,不能存在满足条件的多个隐式函数
implicit def a(d: Double) = d.toInt
implicit def b(d: Double) = d.toInt
val i1: Int = 3.5 //(X)在转换时,识别出有两个方法可以被使用,就不确定调用哪一个,所以出错
println(i1)
3.隐式转换丰富类库功能
基本介绍
如果需要为一个类增加一个方法,可以通过隐式转换来实现。(动态增加功能)比如想为MySQL类增加一个delete方法
分析解决方案
在当前程序中,如果想要给MySQL类增加功能是非常简单的,但是在实际项目中,如果想要增加新的功能就会需要改变源代码,这是很难接受的。而且违背了软件开发的OCP开发原则 (开闭原则 open close priceple)
在这种情况下,可以通过隐式转换函数给类动态添加功能
使用隐式转换方式动态的给MySQL类增加delete方法
class MySQL{
def insert(): Unit = {
println("insert")
}
}
class DB {
def delete(): Unit = {
println("delete")
}
}
implicit def addDelete(mysql:MySQL): DB = {
new DB //
}
val mysql = new MySQL
mysql.insert()
mysql.delete()
4.隐式值
隐式值也叫隐式变量,将某个形参变量标记为implicit,所以编译器会在方法省略隐式参数的情况下去搜索作用域内的隐式值作为缺省参数
implicit val str1: String = "jack"
def hello(implicit name: String): Unit = {
println(name + " hello")
}
hello // 和缺省参数很像, 但是功能不同
案例:
object ImplicitVal02 {
def main(args: Array[String]): Unit = {
// 隐式变量(值)
implicit val name1: String = "Scala"
implicit val name2: String = "World"
def hello(implicit content: String = "jack"): Unit = {
println("Hello " + content)
}
hello
}
}
结果如下:
Error:(12, 5) ambiguous implicit values:
both value name2 of type String
and value name1 of type String
match expected type String
hello
结果:Hello okook
结果:Hello Scala
结果报错
5.隐式类
在scala2.10后提供了隐式类,可以使用implicit声明类,隐式类的非常强大,同样可以扩展类的功能,比前面使用隐式转换丰富类库功能更加的方便,在集合中隐式类会发挥重要的作用。
隐式类使用有如下几个特点:
- 其所带的构造参数有且只能有一个
- 隐式类必须被定义在“类”或“伴生对象”或“包对象”里,即隐式类不能是 顶级的(top-level objects)。
- 隐式类不能是case class(case class在后续介绍 样例类)
- 作用域内不能有与之相同名称的标识符
应用案例
class MySQL1 {
def sayOk(): Unit = {
println("sayOk")
}
}
def main(args: Array[String]): Unit = {
//DB1会对应生成隐式类
implicit class DB1(val m: MySQL1) {
def addSuffix(): String = { //方法
m + " scala"
}
}
val mysql1 = new MySQL1
mysql1.sayOk()
println(mysql1.addSuffix())
运行结果:
sayOk
com.atguigu.scala.test.MySQL1@3cb5cdba scala
隐式的转换时机:
- 当方法中的参数的类型与目标类型不一致时
- 当对象调用所在类中不存在的方法或成员时,编译器会自动将对象进行隐式转换(根据类型)
6.隐式解析机制
即编译器是如何查找到缺失信息的,解析具有以下两种规则:
- 首先会在当前代码作用域下查找隐式实体(隐式方法、隐式类、隐式对象)。
- 如果第一条规则查找隐式实体失败,会继续在隐式参数的类型的作用域里查找。类型的作用域是指与该类型相关联的全部伴生模块,一个隐式实体的类型T它的查找范围如下(第二种情况范围广且复杂在使用时,应当尽量避免出现):
a) 如果T被定义为T with A with B with C,那么A,B,C都是T的部分,在T的隐式解析过程中,它们的伴生对象都会被搜索。
b) 如果T是参数化类型,那么类型参数和与类型参数相关联的部分都算作T的部分,比如List[String]的隐式搜索会搜索List的伴生对象和String的伴生对象。
c) 如果T是一个单例类型p.T,即T是属于某个p对象内,那么这个p对象也会被搜索。
d) 如果T是个类型注入S#T,那么S和T都会被搜索。
隐式转换的前提
- 不能存在二义性
- 隐式操作不能嵌套使用