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的编译（在编译过程中其实就会有warning）, 会发现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()方法时调用的是虚方法，毫无疑问调用的其实就是实例中对应的实例方法。