1.隐式转换
隐式转换函数是以implicit关键字声明的带有单个参数的函数。这种函数将会自动应用,将值从一种类型转换为另一种类型。
object Scala01_ImplicitNotice {
def main(args: Array[String]): Unit = {
// 隐式转换的前提
// 1.隐式转换不能有二义性
// 2.隐式转换不能嵌套使用
implicit def f1(d: Double): Int = {
d.toInt
}
val num1: Int = 1.1
println(num1)
}
}
// 1) 隐式转换函数的函数名可以是任意的,隐式转换与函数名称无关,只与函数签名(函数参数类 型和返回值类型)有关。
// 2) 隐式函数可以有多个(即:隐式函数列表),但是需要保证在当前环境下,只有一个隐式函数能 被识别
2.隐式转换丰富类库功能
object Scala02_Implicit {
def main(args: Array[String]): Unit = {
//编写一个隐式函数,丰富mySQL功能
implicit def addDelete(msql:MySQL): DB = {
new DB
}
//创建mysql对象
val mySQL = new MySQL
mySQL.insert()
mySQL.delete() // 编译器工作 分析 addDelete$1(mySQL).delete()
mySQL.update()
}
}
class MySQL {
def insert(): Unit = {
println("insert")
}
}
class DB {
def delete(): Unit = {
println("delete")
}
def update(): Unit = {
println("update")
}
}
class Dog {}
3.隐式值
隐式值也叫隐式变量,将某个形参变量标记为 implicit,所以编译器会在方法省略隐式参数的情况 下去搜索作用域内的隐式值作为缺省参数
object Scala03_ImplicitValDemo03 {
def main(args: Array[String]): Unit = {
implicit val str1: String = "jack~" //这个就是隐式值
//implicit name: String :name就是隐式参数
def hello(implicit name: String): Unit = {
println(name + " hello")
}
hello //底层 hello$1(str1);
}
}
4.隐式类
在 scala2.10 后提供了隐式类,可以使用 implicit 声明类,隐式类的非常强大,同样可以扩展类的功 能,比前面使用隐式转换丰富类库功能更加的方便,在集合中隐式类会发挥重要的作用。
隐式类使用有如下几个特点:
-
其所带的构造参数有且只能有一个
-
隐式类必须被定义在“类”或“伴生对象”或“包对象”里
-
隐式类不能是case class(case class在定义会自动生成伴生对象与矛盾)
-
作用域内不能有与之相同名称的标示符
object Scala04_ImplicitClassDemo { def main(args: Array[String]): Unit = { implicit class DB1(val m: MySQL1) { //ImplicitClassDemo$DB1$2 def addSuffix(): String = { m + " scala" } } //创建一个MySQL1实例 val mySQL = new MySQL1 mySQL.sayOk() mySQL.addSuffix() //研究 如何关联到 DB1$1(mySQL).addSuffix(); implicit def f1(d:Double): Int = { d.toInt } def test1(n1:Int): Unit = { println("ok") } test1(10.1) } } class DB1 {} class MySQL1 { def sayOk(): Unit = { println("sayOk") } }
5.隐式的转换时机
-
当方法中的参数的类型与目标类型不一致时。
-
当 对象调用 所在类中不存在的方法或成员时,编译器会自动将对象进行隐式转换。
7. 隐式解析机制
即编译器是如何查找到缺失信息的,解析具有以下两种规则:
(1)首先会在当前代码作用域下查找隐式实体(隐式方法、隐式类、隐式对象)。
(2)如果第一条规则查找隐式实体失败,会继续在
隐式参数的类型的作用域里查找。类型的作用域是指与该类型相关联的全部伴生模块,一个隐式实体的类型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都会被搜索。