kotlin的拓展函数和原理

Posted 2023-02-04

kotlin的拓展函数和原理

问题背景

kotlin的使用过程中有个拓展函数的概念，这个概念在java中是没有的，那么问题来了，kotlin中拓展函数是什么呢？ 拓展函数的概念：不改变原有类的情况下，增加新的方法，扩展新的功能。下面一起看下具体的使用和原理分析。

问题分析

（1）kotlin中使用拓展函数

创建一个普通的类DogKt，类里面有两个已经存在的方法，run()和cry()。

class Dog
    fun run() = "狗在跑"
    fun eat() = "狗在吃东西"

狗狗本身就有跑和吃两个技能，而现在需要增加叫的技能，那就用扩展函数来进行扩展。在需要被扩展的类的后面，添加一个方法即可，如下： fun DogKt.order() = "扩展功能-》狗听从指令" 创建好拓展函数后，调用如下所示：

fun main() 
    val dog = Dog()
    println(dog.run())
    println(dog.eat())
    // 调用dog的拓展函数
    println(dog.cry())


class Dog
    fun run() = "狗在跑"
    fun eat() = "狗在吃东西"


fun Dog.cry() = "狗在叫"

运行结果如下：

（2）拓展函数原理分析

将上面的kotlin代码反编译成java代码如下（具体反编译方法可参考 https://blog.51cto.com/baorant24/6034450 （2）中介绍）：

// TestKt.java
...
public final class TestKt 
   public static final void main() 
      Dog dog = new Dog();
      String var1 = dog.run();
      System.out.println(var1);
      var1 = dog.eat();
      System.out.println(var1);
      var1 = cry(dog);
      System.out.println(var1);
   

   // $FF: synthetic method
   public static void main(String[] var0) 
      main();
   

    // 拓展函数对应的代码
   @NotNull
   public static final String cry(@NotNull Dog $this$cry) 
      Intrinsics.checkNotNullParameter($this$cry, "$this$cry");
      return "狗在叫";
   

// Dog.java
...
public final class Dog 
   @NotNull
   public final String run() 
      return "狗在跑";
   

   @NotNull
   public final String eat() 
      return "狗在吃东西";
   

拓展函数的原理：由反编译的java代码很容易看出，kotlin的拓展函数并没有改变对应类本身的结构，也就是说拓展的类本身并没有真的增加方法。而是增加了一个方法，将拓展的类对象作为方法的第一个参数传入，然后进行对应的调用。

（3）拓展函数的限制分析

了解了拓展函数的原理之后，我们来分析下类拓展函数的部分限制。 不能访问私有成员 由于编译成java之后,生成的拓展方法实际是靠第一个参数出入对象引用,然后使用这个对象引用去调用对象的方法。因此我们并没有权限在拓展函数里面调用私有方法:

class TestExt 
    fun publicFun() 
    private fun privateFun() 


fun TestExt.extFun() 
    publicFun() // 正确,可以调用公有方法

    privateFun() // 错误,不能调用私有方法

扩展函数不支持多态 我们可以先看看Java中的多态:这里有一个父类Aninal，里面存在一个run()方法，一个子类Dog继承Animal，类里面同样有一个run()方法，另外有一个调用类Person，存在一个call(Animal animal)。

//父类
class Animal 
    public String run() 
        return "Animal run";
    


//子类
class Dog extends Animal 
    public String run() 
        return "Dog run";
    


//第三个调用类
public class Person 
    public String call(Animal animal1) 
        return animal1.run();
    

    public static void main(String[] args) 
        Person person = new Person();
        System.out.println(person.call(new Animal()));
        System.out.println(person.call(new Dog()));
    

这个时候通过Person类分别来传入Animal和Dog的实例，都调用run()方法，可以得出以下结果： 可以看出，在Java中，具体调用某一个方法，不是取决于所声明的类，而是取决于所引用的实例对象，比如上面例子中，call()方法其实声明的是Animal类，但是实际上如果传入的是Dog实例，那么最后也就得出Dog类的结果。 而在Kotlin的扩展函数中却是反过来的，扩展函数不支持多态，调用也只取决于对象的声明类型。 将上面例子中的类用Kotlin写一遍，代码如下：

open class Animal

class Dog : Animal()

//扩展函数
fun Animal.run() ="Animal run"
//扩展函数
fun Dog.run() = "Dog run"

fun person(animal: Animal) 
    println(animal.run())


fun main() 
    person(Animal())
    person(Dog())

运行结果如下： 由运行结果可以看出，方法声明的是父类,调用的拓展函数就是父类的拓展函数，不会调用具体子类对象的拓展函数。 成员函数优先级高,拓展函数不能实现重写 当拓展函数与类本身或者父类的成员函数相同,在实际调用的时候会优先调用成员函数,并不会出现类似重写的效果. 例如我们为一个类编写了一个与成员函数相同的拓展函数,实际优先调用类成员函数，代码如下：

fun main() 
    Parent().foo()


open class Parent 
    fun foo() 
        println("foo")
    


fun Parent.foo() 
    println("parent")

运行结果如下：

问题总结

本文主要介绍了kotlin中类拓展函数的概念和原理，同时对拓展函数的部分限制做了说明，有兴趣的同学可以进一步深入研究。