scala之隐式转换(类、方法、属性)-摩杜云开发者社区

隐式转换可以再不需改任何代码的情况下，扩展某个类的功能。

隐式方法

例如java里面的String类就存在于jdk里面，除非你反编译String的类，然后新增一个方法，再达成jar包，放在引用里，才能使用你的新增方法，如果要拓展某类的方法（觉得不好用的）就会非常麻烦

需求：通过隐式转化为Int类型增加方法。

class MyRichInt(val self: Int) {
  def myMax(i: Int): Int = {
    if (self < i) i else self
  }

  def myMin(i: Int): Int = {
    if (self < i) self else i
  }
}

object TestImplicitFunction {

  implicit def convert(arg: Int): MyRichInt = {
    println("convert start")
    new MyRichInt(arg)
  }

  def main(args: Array[String]): Unit = {
    println(2.myMax(6))
  }
}

结果：
convert start
6

个人理解：2.myMax(6)

2是int 类型，有myMax方法吗？？这个就是我们为Int新增的方法

注意object里声明了一个implicit def convert()方法，这个方法可以和其他普通方法一样被直接调用，例如

  def main(args: Array[String]): Unit = {
    println(convert(2))
    println(2.myMax(6))
  }

但是这个和隐式调用有什么关系吗？这个我是这么理解的，就是被标注了的这个方法，会在所有满足这个方法的条件下隐式的被调用，通俗的的说，这个方法会尝试和所有int类型的值进行匹配，看你需不需要这个方法

例如 val a =1 a是int类型，他就会匹配你需不需要，

你直接打个a它默认不需要

但是他会显示的把你看做是个a，但是隐式的把你看做convert(a)也就是说

表面上你是个a:int，但是实际上也是个convert(a) 也就是new MyRichInt(a) 类型是a:MyRichInt

所以你表面上有a:Int的方法，toString max abs 实际也有MyRichInt的myMax方法

demo2

class Dog(var name:String) {
    def say(): Unit ={
      println(name+"实际是条狗")
    }
}
class Person(var name:String) {
  def print(): Unit ={
    println(name+"表面是个人")
  }
}
object Person{

  implicit def convert(person: Person): Dog ={
    new Dog(person.name)
  }

  def main(args: Array[String]): Unit = {
    val chenchi: Person = new Person("xxx")
    chenchi.print()
    chenchi.say()
  }
}

本来new 了一个person结果能调用的狗的say方法。

隐式参数

普通方法或者函数可以通过implicit关键字声明隐式参数，调用该方法时，就可以传入该参数，编译器会再相应的作用域寻找符合条件的隐式值。

1）说明

（1）同一个作用域中，相同类型的隐式值只能有一个

（2）编译器按照隐式参数的类型去寻找对应类型的隐式值，与隐式值的名称无关。

（3）隐式参数优先于默认参数

object TestImplicitParameter {

  implicit val str: String = "hello world!"

  def hello(implicit arg: String="good bye world!"): Unit = {
    println(arg)
  }

  def main(args: Array[String]): Unit = {
    hello
  }
}

个人理解：

声明了一个参数str ：String是隐式值

被implicit修饰后还是有了两重身份，一重是全局变量，和普通一样，一重是隐式身份，哪里需要一个String的变量我就往哪里凑

例如我调用hello()方法按道理应该要传一个参数，但是入参也是声明implicit，那么你不传，证明你缺少这个参数，我就自动隐式的补上。

隐式类

在Scala2.10后提供了隐式类，可以使用implicit声明类，隐式类的非常强大，同样可以扩展类的功能，在集合中隐式类会发挥重要的作用。

1）隐式类说明

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

（2）隐式类必须被定义在“类”或“伴生对象”或“包对象”里，即隐式类不能是顶级的。

object TestImplicitClass {

  implicit class MyRichInt(arg: Int) {

    def myMax(i: Int): Int = {
      if (arg < i) i else arg
    }

    def myMin(i: Int) = {
      if (arg < i) arg else i
    }
  }

  def main(args: Array[String]): Unit = {
    println(1.myMax(3))
  }
}

个人理解，

1.myMax(3) 和main方法同级的有个隐式类，这个隐式类的参数是arg:int，即对所有范围内的int参数，他都会给int参数一层隐式身份就是myRichInt。

所以1有了int的方法也有了myRichInt的方法