Kotlin Extension — Method

粗略来说,Extension就是Kotlin版的 Decorator(装饰者格局)

【Example】当我们使用Extension特性的时候,须要指定一个Receiver, 例如

fun C.foo(){
    ...
}

Receiver就是C。

1. Extensions resolving

若果大家写一个不难的类Parent (in Parent.kt):

class Parent {
    val value : Int = 1
}

为了便利相比,再有的简易的类Other,同时在Other中写一个Parent的Extension
markValue() (in Other.kt):

class Other {
    val const = 2

    fun Parent.markValueOne() : Int {
        return this.value + 1
    }
}

fun Parent.markValueTwo() : Int {
    return this.value + 2
}

在通过kotlinc编译之后,通过javap查六柱预测关的class文件,markValueOne
markValueTwo 都被编译成了final的方法。
Other.class

public final class com.maxtropy.viewtest.Other {
  public final int getConst();
    Code:
       0: aload_0
       1: getfield      #11                 // Field const:I
       4: ireturn

  public final int markValueOne(com.maxtropy.viewtest.Parent);
    Code:
       0: aload_1
       1: ldc           #18                 // String $receiver
       3: invokestatic  #24                 // Method kotlin/jvm/internal/Intrinsics.checkParameterIsNotNull:(Ljava/lang/Object;Ljava/lang/String;)V
       6: aload_1
       7: invokevirtual #29                 // Method com/maxtropy/viewtest/Parent.getValue:()I
      10: iconst_1
      11: iadd
      12: ireturn

  public com.maxtropy.viewtest.Other();
    Code:
       0: aload_0
       1: invokespecial #34                 // Method java/lang/Object."<init>":()V
       4: aload_0
       5: iconst_2
       6: putfield      #11                 // Field const:I
       9: return
}

OtherKt.class

public final class com.maxtropy.viewtest.OtherKt {
  public static final int markValueTwo(com.maxtropy.viewtest.Parent);
    Code:
       0: aload_0
       1: ldc           #9                  // String $receiver
       3: invokestatic  #15                 // Method kotlin/jvm/internal/Intrinsics.checkParameterIsNotNull:(Ljava/lang/Object;Ljava/lang/String;)V
       6: aload_0
       7: invokevirtual #21                 // Method com/maxtropy/viewtest/Parent.getValue:()I
      10: iconst_2
      11: iadd
      12: ireturn
}

NOTE:
须求注意的是尽管markValueOne的写法可以因此编译,但只要写的.kt,是拿不到markValueOne方法引用的。(令人奇怪的是写.java却可以得到markValueOne方法的引用
???)
很明朗的可以看出来,无论是哪一种写法,都会将Parent类型实例作为函数的率先个入参传进方法当中。而在措施中用到的this指针,指的便是这么些Parent实例,而不是观念Java编程习惯中this永远指向的是近期被调用实例方法对应的实例。

2. 实例方法与Extension方法同名

万一在Receiver类型中和Extension中声称了同名的章程吧?,例如:

在Parent中扬言了一个办法markValueTwo()

class Parent {
    val value : Int = 1

    fun markValueTwo(): Int {
        return this.value + 99
    }
}

下一场在另一个类Other的.kt文件中使用Extension并让Extension的法子同Parent中的方法名相同

class Other {
    fun getParentMarkValue(): Int {
        return Parent().markValueTwo()
    }
}

fun Parent.markValueTwo(): Int {
    return this.value + 2
}

经过kotlinc的编译(在编译进程中实际就会有warningJava,),
会发现Other.class文件的中:

Compiled from "Other.kt"
public final class com.maxtropy.viewtest.Other {
  public final int getParentMarkValue();
    Code:
       0: new           #8                  // class com/maxtropy/viewtest/Parent
       3: dup
       4: invokespecial #12                 // Method com/maxtropy/viewtest/Parent."<init>":()V
       7: invokevirtual #15                 // Method com/maxtropy/viewtest/Parent.markValueTwo:()I
      10: ireturn

  public com.maxtropy.viewtest.Other();
    Code:
       0: aload_0
       1: invokespecial #18                 // Method java/lang/Object."<init>":()V
       4: return
}

在字节码执行Parent实例的markValueTwo()方法时调用的是虚方法,毫无疑问调用的实在就是实例中对应的实例方法

相关文章