Kotlin-23.内联函数(Inline Functions)

时间：2022-04-13 20:07:45

官方文档: http://kotlinlang.org/docs/reference/inline-functions.html

1.内联函数的概念和作用

使用高阶函数(higher-order functions)会导致一些性能的损耗:
    每个函数都是对象,且会捕获闭包closure(即变量会在函数体内被访问),
    函数对象/类会增加内存分配,而且虚拟调用栈也会增加额外内存开销！

可用内联函数(inline function)消除这些额外内存开销,
说白了就是在调用处插入函数体代码,以此减少新建函数栈和对象的内存开销!   
被inline修饰的函数或lambda表达式,在调用时都会被内联(在调用处插入函数体代码)
    inline fun lock<T>(lock: Lock, body: () -> T): T {
        lock.lock()
        try {
            return body()
        }
        finally {
            lock.unlock()
        }        
    }

    print("开始************")
    lock(l) { foo() }
    print("结束************")

    //编译器实际生成以下代码(就是直接把代码插入到调用处):     
    print("开始************")
    l.lock()
    try {
        foo()
    }
    finally {
        l.unlock()
    }
    print("结束************")

很明显,内联可能导致编译器生成的代码增加,但如果使用得当(不内联大函数),在性能上有很大提升,
尤其是在循环的megamorphic处调用!

禁用内联(noinline)
如果内联函数的有些(作为参数)lambda表达式不是内联,可用noinline修饰符函数参数!
    inline fun foo(inlined: () -> Unit, noinline notInlined: () -> Unit) {
        // ……
    }

2.非局部返回(Non-local returns)

在内联的lambda表达式中退出包含它的函数称为非局部返回(Non-local returns)!
在Kotlin中,正常return(没有限定符@)表示退出一个命名或匿名函数
所以要退出lambda表达式,return需要加限定符@标签,
在非内联的lambda表达式中禁用正常return(没有限定符@):
    fun f1(p: ()->Unit) {
        p()
    }

    inline fun f2(p: ()->Unit){
        p()
    }

    fun main(args: Array<String>) {
        f1{
            //f2和lambda表达式都不是内联
            println("Hello, world!")
            return //编译错误,此处不允许return
        }

        f2{
            //f2是内联函数,lambda表达式也是内联
            println("Hello, world!")
            return //编译正确,可以return
        }

        listOf(1,2,3).forEach {
            //forEach是内联
            if(it==2) return //编译正确,可以return
            print(it)     
        }
    }

此外,一些内联函数参数不是直接来自函数体,而是来自另一个上下文的lambda表达式参数,
例如来自局部对象或嵌套函数,lambda表达式也不允许非局部返回!
为了标识这种情况,该lambda表达式参数需要用crossinline修饰符:
    inline fun f(crossinline body: () -> Unit) {
        val f = object: Runnable {
            override fun run() = body()
        }           
    }

目前,break和continue在内联的lambda表达式中还不可用,未来kotlin计划支持!

3.类型参数的具体化(Reified type parameters)

实例(类型参数-泛型)：
    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)

1.为简化函数调用,内联函数支持类型参数具体化:
    inline fun <reified T> TreeNode.findParentOfType(): T? {
        //用reified修饰符类型参数T,可在函数内访问T,像访问普通类,
        //由于函数是内联的,无需反射,正常操作符如!is和as都能用,
        var p = parent
        while (p != null && p !is T) {
            p = p.parent
        }
        return p as T?
    }
    //该函数调用简洁优雅
    treeNode.findParentOfType<MyTreeNode>()

2.虽然多数情况不需要反射,但仍然可对具体化的类型参数使用:
    inline fun <reified T> membersOf() = T::class.members
    fun main(s: Array<String>) {
        println(membersOf<StringBuilder>().joinToString("\n"))
    }

3.泛型的具体化条件
    普通函数(未标记为内联函数)不能具体化参数!
    在运行时无法表示的类型(类似Nothing虚构类型)不能作为具体化参数的实参!

4.内联属性(Inline properties)

自kotlin 1.1起, inline可修饰[没有幕后字段]属性访问器get/set函数(方法)
在调用处,内联访问器get/set函数,和内联函数一样内联,没什么区别!
1.修饰单个属性访问器:
    val foo: Foo
        inline get() = Foo()

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

2.修饰整个属性,将两个访问器都标记为内联:
    inline var bar: Bar
        get() = ……
        set(v) { …… }

简书：http://www.jianshu.com/p/79396a5056d7
CSDN博客: http://blog.csdn.net/qq_32115439/article/details/73929039
GitHub博客：http://lioil.win/2017/06/29/Kotlin-inline-fun.html
Coding博客：http://c.lioil.win/2017/06/29/Kotlin-inline-fun.html

标签：

相关文章