Kotlin拓展函数的真身

kotlin也写了很长一段时间了，香是真的很香这个东西。但是很多东西也是不求甚解，都是直接开始用，但是为什么我也不关心。举个栗子，就拿拓展函数来说。

代码语言：javascript复制

ImageExtension.kt
fun Double.dp(): Int {
    return ImageUtils.dip2px(this.toFloat())
}

fun Float.dp(): Int {
    return ImageUtils.dip2px(this.toFloat())
}

fun Int.dp(): Int {
    return ImageUtils.dip2px(this.toFloat())
}
复制代码

代码语言：javascript复制

  val width = 18F.dp()

这个真的香吧，但是真实的这个语法糖到底是什么呢。

返本归元

先介绍个工具，Android Studio的工具栏有个tools/Kotlin/Show Kotlin ByteCode。然后在你的kotlin类上就可以直接看到kotlin类生成的字节码。

先抛问题在来分析。

java能不能调用到kotlin到拓展函数？

当然可以了。下面的代码块内就是18F.dp()的java写法。

代码语言：javascript复制

int width=ImageExtensionKt.dp(18f);

惊不惊喜，意不意外。也就是说我们写的拓展函数其实也就是个静态方法，只是把我们拓展的类当作一个静态参数传递给了静态方法内。

深入探索

上面介绍的工具还是要用下，看看到底字节码上的拓展函数是怎么样的。

代码语言：javascript复制

public final class com/xxxx/xxxx/ImageExtensionKt {
  // access flags 0x19
  public final static dp(D)I
    // annotable parameter count: 1 (visible)
    // annotable parameter count: 1 (invisible)
   L0
    LINENUMBER 47 L0
    DLOAD 0
    D2F
    INVOKESTATIC com/xxx/xxx/ImageUtils.dip2px (F)I
    IRETURN
   L1
    LOCALVARIABLE $this$dp D L0 L1 0
    MAXSTACK = 2
    MAXLOCALS = 2

  // access flags 0x19
  public final static dp(F)I
    // annotable parameter count: 1 (visible)
    // annotable parameter count: 1 (invisible)
   L0
    LINENUMBER 51 L0
    FLOAD 0
    INVOKESTATIC com/xxx/xxx/ImageUtils.dip2px (F)I
    IRETURN
   L1
    LOCALVARIABLE $this$dp F L0 L1 0
    MAXSTACK = 1
    MAXLOCALS = 1

  // access flags 0x19
  public final static dp(I)I
    // annotable parameter count: 1 (visible)
    // annotable parameter count: 1 (invisible)
   L0
    LINENUMBER 55 L0
    ILOAD 0
    I2F
    INVOKESTATIC com/xxx/xxx/ImageUtils.dip2px (F)I
    IRETURN
   L1
    LOCALVARIABLE $this$dp I L0 L1 0
    MAXSTACK = 1
    MAXLOCALS = 1
}

简单分析下这个拓展函数类。

先给各位把字节码的基础简单的介绍下，表格会简单的把字节码里的类型和Java的类型做一次映射。

返回值

Type	类型
D	double
V	void
Z	boolean
C	char
B	byte
S	short
I	int
F	float
J	long
L	Object

操作符

操作符	类型
INVOKESTATIC	调用静态函数
INVOKESPECIAL	super
INVOKEVIRTUAL	调用当前类的某个方法

接下来开始逐行分析，public final static dp(D)I，dp代表方法名，而D则代表参数传入类型为Double，而I则代表返回类型是一个Int。用java来分析这个代码就是生成了一个dp的静态函数，传入参数是一个Double，返回参数是一个Int。

跳过行号分析，直接进入DLOAD 0, LOAD的含义是将一个局部变量加载到操作栈，D上面的表中代表了double，所以解释起来获取第一个传入参数。

D2F各位老哥可以用英文大声朗读下，double to float。然后把这个压入操作栈中。

INVOKESTATIC com/xxx/xxx/ImageUtils.dip2px (F)I 先参考下上面的操作符，INVOKESTATIC调用静态方法。com/xxx/xxx/ImageUtils.dip2px 类名方法名， (F)I入参返回值。同时将结果压入操作栈中。

IRETURN 返回上面栈的操作结果。

简单分析完字节码的操作之后，得出来的结论基本就是生成了一个dp的静态函数，以当前的拓展类作为第一个入参。

总结

这个文章其实吧是最近一个前同事去面试的时候被问到的，我其实也有点蒙蔽。但是kotlin和java最后编译出来的产物其实都是字节码，那么我们只要从它们最后编译出来的产物去逆向分析下，其实就能得到它们真实的原因了。

最后还是要说语法糖还是真香的。

java kotlin

0 人点赞