Kotlin拓展函数的真身
kotlin也写了很长一段时间了，香是真的很香这个东西。但是很多东西也是不求甚解，都是直接开始用，但是为什么我也不关心。举个栗子，就拿拓展函数来说。
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())
}
复制代码 val width = 18F.dp()
这个真的香吧，但是真实的这个语法糖到底是什么呢。
返本归元
先介绍个工具，Android Studio的工具栏有个tools/Kotlin/Show Kotlin ByteCode。然后在你的kotlin类上就可以直接看到kotlin类生成的字节码。
先抛问题在来分析。
java能不能调用到kotlin到拓展函数？
当然可以了。下面的代码块内就是18F.dp()的java写法。
int width=ImageExtensionKt.dp(18f);
惊不惊喜，意不意外。也就是说我们写的拓展函数其实也就是个静态方法，只是把我们拓展的类当作一个静态参数传递给了静态方法内。
深入探索
上面介绍的工具还是要用下，看看到底字节码上的拓展函数是怎么样的。
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最后编译出来的产物其实都是字节码，那么我们只要从它们最后编译出来的产物去逆向分析下，其实就能得到它们真实的原因了。
最后还是要说语法糖还是真香的。
腾讯云开发者
