Lambda一时爽!浅度解析Kotlin内联inline

2024-03-21 09:59

本文主要是介绍Lambda一时爽!浅度解析Kotlin内联inline,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

在这里插入图片描述
码农 | 章磊

志向是记忆的奴隶,生气勃勃地降生,但却很难成长。

莎士比亚

在这里插入图片描述
熟悉Java8或者Kotlin的朋友们,应该对Lambda表达式备感熟悉,一大坨代码按个Alt + Enter后通过花括号和箭头替换,立马优雅和高大上起来了。

然而,Lambda用的时候是爽,但也有其副作用,这就不得不提内联关键字inline了。
在这里插入图片描述

为什么用inline?

我们知道,inline是内联的意思,作用就是把函数及被调用的Lambda代码复制到相关调用的位置。

比如说,我们写个过滤列表元素的高阶方法。

    /*** Filter the list with the assigned rule.* @param list to be filtered.* @param check it defines the filter rule.* @return a new list including items which satisfied with the rule.*/private fun filter(list: List<Int>, check: (Int) -> Boolean): List<Int> {val newList = ArrayList<Int>(list.size)list.forEach { item ->if(check(item)) {newList.add(item)}}return newList}/*** A method for checking whether a value should be chosen.* @param value to be checked.*/private fun check(value: Int): Boolean {return value > 5}/*** A Test for method [filter]*/@Testfun testFilter() {filter(arrayListOf(1, 3, 9, 10, 5)) {check(it)}}

方法中第个参数使用函数类型形参,那么这样的代码生成的字节码是什么呢?

我们来仅看testFilter,也就是filter被调用的地方。

   @Testpublic final void testFilter() {this.filter((List)CollectionsKt.arrayListOf(new Integer[]{1, 3, 9, 10, 5}), (Function1)(new Function1() {// $FF: synthetic method// $FF: bridge methodpublic Object invoke(Object var1) {return this.invoke(((Number)var1).intValue());}public final boolean invoke(int it) {return TestInline.this.check(it);}}));}

大家只要注意到那个new Function就行了,说明Lambda表达式的背后是new了一个对象,如果filter被调用了很多次,频繁地创建销毁对象势必会引起内存抖动。

那么,如果在filter前面加个inline呢?

我们再看下生成字节码,new Function竟然不见了,取而代之的是把filter方法体里的东东完整拷贝到testFilter中了。

 public final void testFilter() {List list$iv = (List)CollectionsKt.arrayListOf(new Integer[]{1, 3, 9, 10, 5});int $i$f$filter = false;ArrayList newList$iv = new ArrayList(list$iv.size());Iterable $this$forEach$iv$iv = (Iterable)list$iv;int $i$f$forEach = false;Iterator var7 = $this$forEach$iv$iv.iterator();while(var7.hasNext()) {Object element$iv$iv = var7.next();int item$iv = ((Number)element$iv$iv).intValue();int var10 = false;int var12 = false;if (this.check(item$iv)) {newList$iv.add(item$iv);}}List var10000 = (List)newList$iv;}

此时你会发现filter方法完全用不着了,并且filter里的check参数变成了直接调用,即省去了实例化Function对象。

这就好比你去超市买东西,以前买一次东西花2毛钱买个方便袋,买100次要20块;现在直接花两块买个布袋子随身带着,永远只要20块。

值得一提的是,Java7以后通过invokedynamic技术对Lambda做了优化,但Kotlin是基于Java6的,所以还是有必要了解inline的。


在这里插入图片描述

inline的副作用

了解inline关键字的好处,也应该了解其副作用。就拿上面举的例子来说,如果我们能确定一年去不了100次超市的话,那么每次花两毛钱一年也花不到20块。

所以inline的使用,势必会使字节码变多,给优化带来了弊端。
那么,如果一个高阶函数中有两个函数参数,一个需要内联,另一个不要内联,又怎么处理呢?

这就要讲noinline呢?

我们来修改下filter方法,加上第三个参数afterChecked,表示对满足条件的元素再做后处理。

    /*** Filter the list with the assigned rule.* @param list to be filtered.* @param check it defines the filter rule.* @param afterChecked to process the item checked.* @return a new list including items which satisfied with the rule.*/private inline fun filter(list: List<Int>, check: (Int) -> Boolean, afterChecked: (Int) -> Int): List<Int> {val newList = ArrayList<Int>(list.size)list.forEach { item ->if(check(item)) {newList.add(afterChecked(item))}}return newList}

再修改下testFilter调用逻辑。

    @Testfun testFilter() {filter(arrayListOf(1, 3, 9, 10, 5), {check(it)}, {println("Large amounts of code here!!!")plusOne(it)})}

不难想象,testFilter的字节码中把filter以及Lambda里的两个方法都直接粘贴过去了。
在这里插入图片描述

但是,考虑上面第二个函数实参Lambda中的代码量太多并且调用频率不高,我们并不打算用内联。

怎么做呢?

在filter的afterChecked参数前加上noinline就行了。我们再看字节码内容。
在这里插入图片描述
终于没把Large Code复制到testFilter里了。

在这里插入图片描述

扩展

说到inline的副作用,还有一个不得不提,那就是局部返回

所谓局部返回,就是Lambda中的return可能直接终结了整个方法的执行。

具体什么是局部返回,我们还是结合粟子来看,简单地修改filter方法,把afterChecked改成返回空。

private inline fun filter(list: List<Int>,check: (Int) -> Boolean,afterChecked: (Int) -> Unit): List<Int> {val newList = ArrayList<Int>(list.size)list.forEach { item ->if(check(item)) {newList.add(item)}afterChecked(item)}return newList}

再修改testFilter方法,给afterChecked直接传入return。
在这里插入图片描述
结果发现过滤后的列表为空。
原因是字节码中的invoke也就是return。
在这里插入图片描述
那么,如果避免这种情况呢。

很简单,加上crossinline就行了。
在这里插入图片描述
加完后就发现IDE直接让你改成局部返回了。在这里插入图片描述

在这里插入图片描述


好了,今天关于inline关键字就浅析这么多了,关键还是大家手写几个方法查看字节码体会下就懂了。

最后,再分享下Android Studio中查看字节码的方法。

https://blog.csdn.net/m0_48179608/article/details/117519634

这篇关于Lambda一时爽!浅度解析Kotlin内联inline的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/832379

相关文章

Java中Redisson 的原理深度解析

《Java中Redisson的原理深度解析》Redisson是一个高性能的Redis客户端,它通过将Redis数据结构映射为Java对象和分布式对象,实现了在Java应用中方便地使用Redis,本文... 目录前言一、核心设计理念二、核心架构与通信层1. 基于 Netty 的异步非阻塞通信2. 编解码器三、

Java HashMap的底层实现原理深度解析

《JavaHashMap的底层实现原理深度解析》HashMap基于数组+链表+红黑树结构,通过哈希算法和扩容机制优化性能,负载因子与树化阈值平衡效率,是Java开发必备的高效数据结构,本文给大家介绍... 目录一、概述:HashMap的宏观结构二、核心数据结构解析1. 数组(桶数组)2. 链表节点(Node

Java 虚拟线程的创建与使用深度解析

《Java虚拟线程的创建与使用深度解析》虚拟线程是Java19中以预览特性形式引入,Java21起正式发布的轻量级线程,本文给大家介绍Java虚拟线程的创建与使用,感兴趣的朋友一起看看吧... 目录一、虚拟线程简介1.1 什么是虚拟线程?1.2 为什么需要虚拟线程?二、虚拟线程与平台线程对比代码对比示例:三

一文解析C#中的StringSplitOptions枚举

《一文解析C#中的StringSplitOptions枚举》StringSplitOptions是C#中的一个枚举类型,用于控制string.Split()方法分割字符串时的行为,核心作用是处理分割后... 目录C#的StringSplitOptions枚举1.StringSplitOptions枚举的常用

Python函数作用域与闭包举例深度解析

《Python函数作用域与闭包举例深度解析》Python函数的作用域规则和闭包是编程中的关键概念,它们决定了变量的访问和生命周期,:本文主要介绍Python函数作用域与闭包的相关资料,文中通过代码... 目录1. 基础作用域访问示例1:访问全局变量示例2:访问外层函数变量2. 闭包基础示例3:简单闭包示例4

MyBatis延迟加载与多级缓存全解析

《MyBatis延迟加载与多级缓存全解析》文章介绍MyBatis的延迟加载与多级缓存机制,延迟加载按需加载关联数据提升性能,一级缓存会话级默认开启,二级缓存工厂级支持跨会话共享,增删改操作会清空对应缓... 目录MyBATis延迟加载策略一对多示例一对多示例MyBatis框架的缓存一级缓存二级缓存MyBat

前端缓存策略的自解方案全解析

《前端缓存策略的自解方案全解析》缓存从来都是前端的一个痛点,很多前端搞不清楚缓存到底是何物,:本文主要介绍前端缓存的自解方案,文中通过代码介绍的非常详细,需要的朋友可以参考下... 目录一、为什么“清缓存”成了技术圈的梗二、先给缓存“把个脉”:浏览器到底缓存了谁?三、设计思路:把“发版”做成“自愈”四、代码

Java集合之Iterator迭代器实现代码解析

《Java集合之Iterator迭代器实现代码解析》迭代器Iterator是Java集合框架中的一个核心接口,位于java.util包下,它定义了一种标准的元素访问机制,为各种集合类型提供了一种统一的... 目录一、什么是Iterator二、Iterator的核心方法三、基本使用示例四、Iterator的工

Python中的sort方法、sorted函数与lambda表达式及用法详解

《Python中的sort方法、sorted函数与lambda表达式及用法详解》文章对比了Python中list.sort()与sorted()函数的区别,指出sort()原地排序返回None,sor... 目录1. sort()方法1.1 sort()方法1.2 基本语法和参数A. reverse参数B.

Java JDK Validation 注解解析与使用方法验证

《JavaJDKValidation注解解析与使用方法验证》JakartaValidation提供了一种声明式、标准化的方式来验证Java对象,与框架无关,可以方便地集成到各种Java应用中,... 目录核心概念1. 主要注解基本约束注解其他常用注解2. 核心接口使用方法1. 基本使用添加依赖 (Maven