Scala入门系列(8)-Scala之隐式

àì夳堔傛蜴生んèń 2023-10-10 12:32 55阅读 0赞

## 隐式转换 ##

### 隐式函数 ###

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

object TraitTest005 {
        
      def main(args: Array[String]): Unit = {
        
        // 隐式函数 Double转为Double 在当前作用域中有效
        implicit def func1(num1: Double): Int = {
        
          num1.toInt
        }
        val num1: Int = 3.14 // 底层会自动调用隐式函数进行转换
        println(num1) // 输出 3
      }
    }

**注意事项**：

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

### 隐式转换丰富类库功能 ###

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

class TraitTest005 {
        
      def insert(): Unit = {
        
        println("insert")
      }
    }
    class TraitTest005Add {
        
      def delete(): Unit = {
        
        println("delete")
      }
    }
    object TraitTest005 {
        
      def main(args: Array[String]): Unit = {
        
        // 隐式函数,给TraitTest005类动态添加 delete函数
        implicit def addDelete(test: TraitTest005): TraitTest005Add = {
        
          new TraitTest005Add()
        }
        // TraitTest005没有delete方法，通过隐式转换函数给类动态添加功能
        val test00 = new TraitTest005
        test00.delete()
      }
    }

### 隐式值 ###

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

class TraitTest006 {
        
    
    }
    
    object TraitTest006 {
        
      // 隐式变量
      implicit var str: String = "张三"
    
      def main(args: Array[String]): Unit = {
        
        //搜索作用域内的隐式值作为缺省参数
        hello // 底层hello$1(张三)
      }
      def hello(implicit name: String): Unit = {
        
        println(name)
      }
    }

### 隐式类 ###

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

**注意事项**：

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

**转换时机**：

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

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

1.  首先会在当前代码作用域下查找隐式实体（隐式方法、隐式类、隐式对象）。 (一般是这种情况)
2.  如果第一条规则查找隐式实体失败，会继续在隐式参数的类型的作用域里查找。 类型的作用域是指与该类型相关联的全部伴生模块，一个隐式实体的类型T它的 查找范围如下(第二种情况范围广且复杂在使用时，应当尽量避免出现)：