隐式转换函数_隐函数可以转化为显函数

全栈程序员站长

发布于 2022-09-27 10:36:09

8000

发布于 2022-09-27 10:36:09

隐式转换函数（implicit conversion function）是以implicit关键字声明的带有单个参数的函数，这样的函数将被自动应用，将值从一种类型转换为另一种类型。隐式转换函数叫什么名字是无所谓的，因为通常不会由用户手动调用，而是由Scala进行调用。但是如果要使用隐式转换，则需要对隐式转换函数进行导入。因此通常建议将隐式转换函数的名称命名为“one2one”的形式。 scala会考虑如下位置的隐式转换函数：

1、位于源或目标类型的伴生对象中的隐式函数

2、位于当前作用域可以以单个标识符指代的隐式函数

隐式转换在如下三种不同情况下会被考虑：

1、当表达式类型与预期类型不同时

2、当对象访问一个不存在成员时

3、当对象调用某个方法，而这个方法的参数声明与传入参数不匹配时

有三种情况编译器不会尝试使用隐式转换

1、如果代码能够在不使用隐式转换的前提下通过编译，则不会使用隐式转换

2、编译器不会尝试同事执行多个转换

3、存在二义性的转换是错误。

object Demo1Main { 
   
  def main(args: Array[String]): Unit = { 
   
    val num:Int = f1(3.5);
    val num1:Int = 3.5;
      print(num)
  }
  implicit def f1(d: Double): Int = { 
   d.toInt}

}

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

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

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

隐式参数

定义 1、定义一个普通变量，使用 implicit 关键字修饰，定义一个函数调用这个变量当参数时，此时这个参数就被称为隐式参数 2、隐式参数的作用：减少提供函数参数的数量，让某些参数拥有隐藏的值（隐式变量）

def main(args: Array[String]): Unit = { 
   
   //隐式参数(每种类型只能有一个)
    implicit var a:Int = 10
    implicit var str:String = "hello"

    def fun(a:Int,b:Int)(implicit c:Int=5):Int={ 
   
      a+b+c
    }
    def fun2(a:Int,b:Int)(c:Int):Int={ 
   
      a+b+c
    }
    def fun3(a:Int,b:Int)(implicit c:Int=5,str:String):Int={ 
   
      println(str)
      a+b+c
    }
    //优先级：传参 > 隐式参数 > 默认
    println("fun结果："+fun(10,10))   //30 调用隐式参数10 //25 默认赋值5
    println("fun结果："+fun(10,10)(20)) //40 传参20
    println("fun2结果："+fun2(10,10)(20))
    println("fun3结果："+fun3(10,10))
    println("fun3结果："+fun3(10,10)(20,"heheda"))
}

隐式类

基本介绍

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

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

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

package com.liu.yinshi

object Demo2Main { 
   

  def main(args: Array[String]): Unit = { 
   
    implicit class DB1(val mysql: Mysql) { 
   
      def addSufix(): String = { 
   
        mysql.driver + " scala"
      }
    }
    val mysql = new Mysql;
    val str = mysql.addSufix()
    println(str)

  }
}



package com.liu.yinshi

class Mysql { 
   
  val driver = "mysqlDriver"

  def insert(): Unit ={ 
   
    print("insert function")
  }

  def sayOk(): Unit ={ 
   
    println("sayOk")
  }
}

转换时机

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

隐式解析机制

即编译器是如何查找到缺失信息的，解析具有以下两种规则：首先会在当前代码作用域下查找隐式实体（隐式方法、隐式类、隐式对象）。(一般是这种情况) 如果第一条规则查找隐式实体失败，会继续在隐式参数的类型的作用域里查找。类型的作用域是指与该类型相关联的全部伴生模块，一个隐式实体的类型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都会被搜索。