Kotlin基础之内联函数

内联函数

使用高阶函数会给运行时带来一些坏处:每个函数都是一个对象,捕获闭包(如:访问函数体内的变量),内存分配(函数对象或Class),虚拟调用引入的运行过载。 使用内联Lambda表达式在多数情况下可以消除这种过载。比如下面的函数就是这种情况下的很好的例子,lock()函数可以很容易地在调用点进行内联扩展。

lock(l){ foo() }

编译能够产生下面的代码,而不是创建一个函数对象参数,生成调用。

l.lock()
try {
    foo()
}
finally {
    l.unlock()
}

也是我们一开始想要的。 为了让编译器能够这样执行,需要用inline修饰符来标记lock函数。

inline fun lock<T>(lock: Lock , body: () -> T): T{
  ...
}

inline修饰符既影响函数对象本身,也影响传入的Lambda参数:两者都会被内联到调用点。

编译预处理器对内联函数进行扩展,省去了参数压栈、生成汇编语言的CALL调用、返回参数、执行return等过程,从而提高了运行速度。 使用内联函数的优点,在函数被内联后编译器就可以通过上下文相关的优化技术对结果代码执行更深入的优化。 内联不是万能药,它以代码膨胀为代价,仅仅省去了函数调用的开销,从而提高程序的执行效率。

说明:函数调用开销并不包括执行函数体所需要的开销,而是仅指参数压栈、跳转、退栈和返回等操作。如果执行函数体内代码的时间比函数调用的开销大得多,那么内联函数的效率收益会笑很多。另一方面每一处内联函数的调用都要拷贝代码,将使程序的总代码增大、消耗更多的内存空间。

noinline

如果只需要在内联函数中内联部分Lambda表达式,可以使用noinline来标记不需要内联的参数。

inline fun foo(inlined: () -> Unit, noinline notInlined: () -> Unit) {
  // ...
}

内联Lambda只能在内联函数中调用或作为内联参数,但noinline的Lambda可随意使用。 说明:没有内联函数参数和reified type parameters的内联函数,编译器会发出警告,因为内联这样的函数不见得有好处。

非局部返回

在Kotlin中可以使用正常、无条件的return退出有名和匿名函数,也意味需要使用一个标签来退出Lambda,在Lambda中禁止使用赤裸return语句,因为Lambda不能够使闭合函数返回。

fun foo(){
    ordinaryFunction{

        return // ERROR: can not make `foo` return here
    }
}

如果Lambda传入内联函数,则返回也是被内联,所以被允许。

fun foo(){
    inlineFunction {
        return // OK: the lambda is inlined
    }
}

这样的return(位于在Lambda中,但能够退出闭合函数)被称为非局部返回。Kotlin使用这种构造在有循环条件的闭合内联函数中。

fun hasZeros(ints: List<Int>): Boolean{
    ints.forEach{
        if(it == 0) return true // returns from hasZeros
    }

    return false
}

一些内联函数可能不是从函数体中直接调用传入的Lambda参数,而是从其他的执行上下文,如本地对象或嵌套函数。在这些情况下,non-local 控制流则不允许出现在Lambda中。使用crossinline修饰符来标记。

inline fun f(crossinline body: () -> Unit) {
    val f = object: Runnable {
        override fun run() = body()
    }
    // ...
}

具体化类型参数

有时需要访问传入函数中参数的类型。例如:

fun <T> TreeNode.findParentOfType(clazz: Class<T>): T? {
    var p = parent
    while (p != null && !clazz.isInstance(p)) {
        p = p.parent
    }
    @Suppress("UNCHECKED_CAST")
    return p as T?
}

在上述代码中,沿着树结构,使用反射来检查节点是否有指定类型。

treeNode.findParentOfType(MyTreeNode::class.java)

实际上想要只是简单给函数传入一个类型,如:

treeNode.findParentOfType<MyTreeNode>()

内联函数支持具体化参数类型,因此可以这样写:

inline fun <reified T> TreeNode.findParentOfType(): T? {
    var p = parent
    while (p != null && p !is T) {
        p = p.parent
    }
    return p as T?
}

使用reified修饰符限制参数类型,可以在内联函数中访问,就像是普通的Class。因为函数是内联的,不在需要反射,像!is和as的普通操作符执行。也可以像上述说的那样调用。

myTree.findParentOfType<MyTreeNodeType>()

尽管反射在很多情况不需要,仍需要使用它来具体话参数类型。

inline fun <reified T> membersOf() = T::class.members

fun main(s: Array<String>) {
    println(membersOf<StringBuilder>().joinToString("\n"))
}

内联属性

inline修饰符可以用在没有Backing Filed属性的访问函数。可以注解单独属性的访问函数。

val foo: Foo
    inline get() = Foo()

var bar: Bar
    get() = ...
    inline set(v) { ... }

甚至可以注解整个属性,让属性访问函数都变为内联函数。

inline var bar: Bar
    get() = ...
    set(v) { ... }

在调用时,内联访问函数与常规内联函数调用方式一样。

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏林德熙的博客

C# 循环的判断会进来几次

最近有小伙伴告诉我,在循环的判断条件只会计算一次,本金鱼不相信,于是就做了测试,本文记录我做的测试。

1263
来自专栏haifeiWu与他朋友们的专栏

Kotlin委托

Kotlin中有委托,这个C#中也有,不过对于学Java的童鞋来说,这是什么鬼啊,到底是干什么用的… 在委托模式中,当有两个对象参与处理同一个请求是,接受请求的...

2073
来自专栏草根专栏

C# 7.0简而言之 -- 02. C#基础 (1)

语句1里面计算了表达式(expression) 12 * 30, 并把结果保存到了本地变量x里面, x是整型类型.

39212
来自专栏风口上的猪的文章

.NET面试题系列[4] - C# 基础知识(2)

面试出现频率:主要考察装箱和拆箱。对于有笔试题的场合也可能会考一些基本的类型转换是否合法。

1431
来自专栏漫漫全栈路

C#历代版本新特性——面试题常用

掌握一门语言,当然要掌握它的特性,而随着C#历代版本的迭代更替,C#语言也日趋完善,在C#2.0~C#4.0版本所带来的新的语法特性格外重要。C#的新特性,其...

4889
来自专栏大前端_Web

C#中值类型和引用类型及类型的转换

版权声明:本文为吴孔云博客原创文章,转载请注明出处并带上链接,谢谢。 https://blog.csdn.net/wkyseo/articl...

4636
来自专栏技术博客

C#委托四(匿名方法)

什么是匿名方法? 匿名方法是C#2.0引入的一个新特性,它允许开发者声明自己的函数代码而无须使用委托函数。 C#为委托提供一种机制,可以为委托定义匿名方...

1192
来自专栏CVer

排序算法 | 冒泡排序(含C++/Python代码实现)

排序算法,就是如何使得记录按照要求排列的方法。排序算法在很多领域得到相当地重视,尤其是在大量数据的处理方面。排序算法有很多,本文将介绍最经典的排序算法:冒泡排序...

1342
来自专栏WindCoder

Java中的域与变量

Java中的Field译为“字段”,也译为“域”,Field和成员变量(Member Variable)是相同的。所以域是变量中的一种。

5261
来自专栏编程坑太多

Java 8 新特性 Lambda 表达式简单使用

1809

扫码关注云+社区

领取腾讯云代金券