scala隐式类,隐式函数,隐式变量详解

1.scala隐式的作用:

使用implicit 修饰的内容是隐式内容, 隐式的特点就是遇到适应的类型会自动的应用

1.1 sacal隐式的意义:

• 使得静态类型动态化
• 为现有类库添加功能
• 隐式的代理增强一个类或者一个方法

1.2scala隐式的分类:

隐式变量 

隐式参数

隐式类

2. 隐式变量:

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

隐式变量的定义方法:

object MyValue {
  implicit  val  age:Int = 19
  implicit  val name:String = "lisi"
}

 

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

1) 隐式转换函数的函数名可以是任意的，隐式转换与函数名称无关，只与 函数签名（函数参数类型和返回值类型）有关。

2) 隐式函数可以有多个(即：隐式函数列表)，但是需要保证在当前环境下， 只有一个隐式函数能被识别

4.隐式转换丰富类库功能

4.1 基本介绍

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

4.2 分析解决方案

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

4.3 代码实现隐式类丰富类库功能

package fuxiday06.demo

object Demo6 {
  def main(args: Array[String]): Unit = {
    val mysql = new Mysql
    mysql.updata()//这是mysql本身就有的属性
    mysql.adddelete()//这个是DB类,动态的丰富了mysql类,给mysql类添加了一个删除的方法

  }
  //定义一个隐式类
  class Mysql{
    def updata(): Unit ={
      println("这是MySQL中的方法")
    }
  }
 implicit class  DB(mysql: Mysql){
    def adddelete(): Unit ={
      println("这个方法是DB类动态的丰富了Mysql的方法")
    }
  }
}

 

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

1) 其所带的构造参数有且只能有一个

2) 隐式类必须被定义在“类”或“伴生对象”或“包对象”里，即隐式类 不能是 顶级的(top-level objects)。

3) 隐式类不能是case class（case class在后续介绍 样例类）

4) 作用域内不能有与之相同名称的标识符

5. 隐式转化的时机

1) 当方法中的参数的类型与目标类型不一致时

2) 当对象调用所在类中不存在的方法或成员时，编译器会自动将对象进行 隐式转换（根据类型

6. 隐式解析的机制

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

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都会被搜索。