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

大家好，又见面了，我是你们的朋友全栈君。如果您正在找激活码,请点击查看最新教程,关注关注公众号 “全栈程序员社区” 获取激活教程,可能之前旧版本教程已经失效.最新Idea2022.1教程亲测有效,一键激活。

Jetbrains全系列IDE使用 1年只要46元售后保障童叟无欺

隐式转换函数（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都会被搜索。