隐式函数的基本介绍

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

隐式函数快速入门

使用隐式函数可以优雅的解决数据类型转换

隐式转换的注意事项和细节

隐式转换函数的函数名可以是任意的，隐式转换与函数名称无关，只与函数签名(函数参数类型和返回值类型)有关
隐式函数可以有多个(即:隐式函数列表)，但是需要保证在当前环境下,只有一个隐式函数能被识别

隐式转换丰富类库功能

基本介绍

如果需要为一个类增加一个方法,可以通过隐式转换来实现(动态增加功能),如想给MySQL的类增加一个delete方法

在当前程序中，如果想要给MySQL类增加功能是非常简单的，但是在实际项目中，如果想要增加新的功能就会需要改变源代码，这是很难接受的。而且违背了软件开发的OCP开发原则
在这种情况下，可以通过隐式转换函数给类动态添加功能。

隐式值

基本介绍

隐式值也叫隐式变量,将某个形参变量标记为implicit,所以编译器会在方法省略隐式参数的情况下去搜索作用域内的隐式值作为缺省参数

1
2

// 代码示例

小结

当在程序中,同时有隐式值默认值传值
当编译器的优先级传值>隐式值>默认值
在隐式值匹配时,不能有二议性,则:不能匹配多个

隐式类

基本介绍

在scala2.10后提供了隐式类，可以使用implicit声明类，隐式类的非常强大，同样可以扩展类的功能，比前面使用隐式转换丰富类库功能更加的方便，在集合中隐式类会发挥重要的作用

隐式类使用有如下几个特点

其所带的构造参数有且只能有一个
隐式类必须被定义在“类”或“伴生对象”或“包对象”里，即隐式类
不能是顶级的(top-level objects)
隐式类不能是case class (case class在后续介绍)4)作用域内不能有与之相同名称的标识

隐式转换时机

当方法中的参数的类型与目标类型不一致时,或者是赋值的时候
当对象调用所在的类中不存在的方法或成员时,编译器会自动将对象进行隐式转换

隐式解析的机制

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

首先会在当前代码作用域下查找隐式实体（隐式方法、隐式类、隐式对象）
(一般是这种情况)
如果第一条规则查找隐式实体失败，会继续在隐式参数的类型的作用域里查找。
类型的作用域是指与该类型相关联的全部伴生模块，一个隐式实体的类型T它的查找范围如下(第二种情况范围广且复杂在使用时，应当尽量避免出现)
如果T被定义为T with A with B with C,那么A,B,C都是T的部分，在T的隐式解析过程中，它们的伴生对象都会被搜索。
如果T是参数化类型，那么类型参数和与类型参数相关联的部分都算作T的部分,比如List[String]的隐式搜索会搜索List的伴生对象和String的伴生对象。
如果T是一个单例类型p.T，即T是属于某个p对象内，那么这个p对象也会被搜索。
如果T是个类型注入S#T，那么S和T都会被搜索。

示例代码

package com.sky.scala.exercise14

object ImplicitDemo {
  def main(args: Array[String]): Unit = {
    implicit def addDelete(mySQL: MySQL): DB = {
      return new DB()
    }

    val mysql = new MySQL
    mysql.insert()
    mysql.delete()
  }
}

class MySQL {
  def insert(): Unit = {
    println("insert")
  }
}

class DB {
  def delete(): Unit = {
    println("delete")
  }
}

package com.sky.scala.exercise14

object Implicit {
  def main(args: Array[String]): Unit = {
    implicit def toInt(num: Double): Int = {
      return num.toInt
    }

    var num: Int = 3.3
    var num2: Int = 31.3
    println(num + num2)
  }
}

隐式转换和隐式值

隐式函数的基本介绍

隐式函数快速入门

隐式转换的注意事项和细节

隐式转换丰富类库功能

基本介绍

隐式值

基本介绍

小结

隐式类

基本介绍

隐式类使用有如下几个特点

隐式转换时机

隐式解析的机制

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

示例代码