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

相关文章

网页解析 lxml 库--实战

lxml库使用流程 lxml 是 Python 的第三方解析库,完全使用 Python 语言编写,它对 XPath表达式提供了良好的支 持,因此能够了高效地解析 HTML/XML 文档。本节讲解如何通过 lxml 库解析 HTML 文档。 pip install lxml lxm| 库提供了一个 etree 模块,该模块专门用来解析 HTML/XML 文档,下面来介绍一下 lxml 库

C++11第三弹:lambda表达式 | 新的类功能 | 模板的可变参数

🌈个人主页: 南桥几晴秋 🌈C++专栏: 南桥谈C++ 🌈C语言专栏: C语言学习系列 🌈Linux学习专栏: 南桥谈Linux 🌈数据结构学习专栏: 数据结构杂谈 🌈数据库学习专栏: 南桥谈MySQL 🌈Qt学习专栏: 南桥谈Qt 🌈菜鸡代码练习: 练习随想记录 🌈git学习: 南桥谈Git 🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈�

【C++】_list常用方法解析及模拟实现

相信自己的力量,只要对自己始终保持信心,尽自己最大努力去完成任何事,就算事情最终结果是失败了,努力了也不留遗憾。💓💓💓 目录   ✨说在前面 🍋知识点一:什么是list? •🌰1.list的定义 •🌰2.list的基本特性 •🌰3.常用接口介绍 🍋知识点二:list常用接口 •🌰1.默认成员函数 🔥构造函数(⭐) 🔥析构函数 •🌰2.list对象

06 C++Lambda表达式

lambda表达式的定义 没有显式模版形参的lambda表达式 [捕获] 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 有显式模版形参的lambda表达式 [捕获] <模版形参> 模版约束 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 含义 捕获:包含零个或者多个捕获符的逗号分隔列表 模板形参:用于泛型lambda提供个模板形参的名

OWASP十大安全漏洞解析

OWASP(开放式Web应用程序安全项目)发布的“十大安全漏洞”列表是Web应用程序安全领域的权威指南,它总结了Web应用程序中最常见、最危险的安全隐患。以下是对OWASP十大安全漏洞的详细解析: 1. 注入漏洞(Injection) 描述:攻击者通过在应用程序的输入数据中插入恶意代码,从而控制应用程序的行为。常见的注入类型包括SQL注入、OS命令注入、LDAP注入等。 影响:可能导致数据泄

从状态管理到性能优化:全面解析 Android Compose

文章目录 引言一、Android Compose基本概念1.1 什么是Android Compose?1.2 Compose的优势1.3 如何在项目中使用Compose 二、Compose中的状态管理2.1 状态管理的重要性2.2 Compose中的状态和数据流2.3 使用State和MutableState处理状态2.4 通过ViewModel进行状态管理 三、Compose中的列表和滚动

Spring 源码解读:自定义实现Bean定义的注册与解析

引言 在Spring框架中,Bean的注册与解析是整个依赖注入流程的核心步骤。通过Bean定义,Spring容器知道如何创建、配置和管理每个Bean实例。本篇文章将通过实现一个简化版的Bean定义注册与解析机制,帮助你理解Spring框架背后的设计逻辑。我们还将对比Spring中的BeanDefinition和BeanDefinitionRegistry,以全面掌握Bean注册和解析的核心原理。

CSP 2023 提高级第一轮 CSP-S 2023初试题 完善程序第二题解析 未完

一、题目阅读 (最大值之和)给定整数序列 a0,⋯,an−1,求该序列所有非空连续子序列的最大值之和。上述参数满足 1≤n≤105 和 1≤ai≤108。 一个序列的非空连续子序列可以用两个下标 ll 和 rr(其中0≤l≤r<n0≤l≤r<n)表示,对应的序列为 al,al+1,⋯,ar​。两个非空连续子序列不同,当且仅当下标不同。 例如,当原序列为 [1,2,1,2] 时,要计算子序列 [

多线程解析报表

假如有这样一个需求,当我们需要解析一个Excel里多个sheet的数据时,可以考虑使用多线程,每个线程解析一个sheet里的数据,等到所有的sheet都解析完之后,程序需要提示解析完成。 Way1 join import java.time.LocalTime;public class Main {public static void main(String[] args) thro

ZooKeeper 中的 Curator 框架解析

Apache ZooKeeper 是一个为分布式应用提供一致性服务的软件。它提供了诸如配置管理、分布式同步、组服务等功能。在使用 ZooKeeper 时,Curator 是一个非常流行的客户端库,它简化了 ZooKeeper 的使用,提供了高级的抽象和丰富的工具。本文将详细介绍 Curator 框架,包括它的设计哲学、核心组件以及如何使用 Curator 来简化 ZooKeeper 的操作。 1