簡單來說，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
}

在經(jīng)過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類型實例作為函數(shù)的第一個入?yún)鬟M方法當中。而在方法中用到的this指針，指的便是這一個Parent實例，而不是傳統(tǒng)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
}

經(jīng)過kotlinc的編譯（在編譯過程中其實就會有warning）, 會發(fā)現(xiàn)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
}

在字節(jié)碼執(zhí)行Parent實例的markValueTwo()方法時調用的是虛方法，毫無疑問調用的其實就是實例中對應的實例方法。