使用高阶函数会带来⼀些运行时的效率损失:每⼀个函数都是⼀个对象,并且会捕获⼀个闭包。即那些在函数体内会访问到的变量。内存分配(对于函数对象和类)和虚拟调用会引入运行时间开销。在许多情况下通过内联化 lambda 表达式可以消除这类的开销
inline 修饰符标记。修饰符影响函数本身和传给它的 lambda 表达式:所有这些都将内联到调用处。
内联可能导致生成的代码增加;不过如果我们使用得当(即避免内联过大函数),性能上会有所提升,尤其是在循环中的“超多态(megamorphic)"调用处。
inline fun <T> lock(lock: Lock, body: () -> T): T { …… }
一、禁用内联
如果希望只内联⼀部分传给内联函数的 lambda 表达式参数,那么可以用 noinline 修饰符标记不希望内联的函数参数:
inline fun foo(inlined: () -> Unit, noinline notInlined: () -> Unit) { …… }
可以内联的 lambda 表达式只能在内联函数内部调用或者作为可内联的参数传递,但是 noinline 的可以以任何我们喜欢的方式操作:存储在字段中、传送它等等。
二、非局部返回
我们只能对具名或匿名函数使用正常的、非限定的 return 来退出。这意味着要退出⼀个 lambda 表达式,我们必须使用⼀个标签,并且在 lambda 表达式内部禁止使用裸 return ,因为 lambda 表达式不能使包含它的函数返回。
但是如果 lambda 表达式传给的函数是内联的,该 return 也可以内联,所以它是允许的:
private fun foo1() {
inlined1 {
return
}
}
private fun foo2() {
inlined2 {
return
}
}
inline fun inlined1(block: () -> Unit) {
println("MainActivity 非局部返回1")//打印
}
inline fun inlined2(block: () -> Unit) {
block.invoke()
println("MainActivity 非局部返回2")//不会打印,返回了,非局部返回
}
⼀些内联函数可能调用传给它们的不是直接来自函数体、而是来自另⼀个执行上下文的 lambda 表达式参数,例如来⾃局部对象或嵌套函数。在这种情况下,该 lambda 表达式中也不允许非局部控制流。为了标识 这种情况,该 lambda 表达式参数需要用 crossinline 修饰符标记:
inline fun f(crossinline body: () -> Unit) {
val f = object : Runnable { //对象表达式,匿名类对象
override fun run() = body()
}
}
三、具体化的类型参数
使用 reified 修饰符来限定类型参数,可以在函数内部访问它,像是⼀个普通的类⼀样。
由于函数是内联的,不需要反射,可以用正常的操作符如 !is 和 as。
mainActivity.findParentOfType<MyTreeNodeType>()
inline fun <reified T> MainActivity.findParentOfType(): T? {
var p = parent
while (p != null && p !is T) {
p = p.parent
}
return p as T?
}
- 普通的函数(未标记为内联函数的)不能有具体化参数
- 不具有运行时表示的类型(例如非具体化的类型参数或者类似于 Nothing 的虚构类型)不能用作具体化的类型参数的实参。
四、内联属性
inline 修饰符可用于没有幕后字段的属性的访问器,在调用处,内联访问器如同内联函数⼀样内联。
- 标注独立的属性访问器
- 标注整个属性,将它的两个访问器都标记为内联
五、共有API内联函数的限制
当⼀个内联函数是 public 或 protected 而不是 private 或 internal 声明的⼀部分时,就会认为它是⼀个模块级的公有 API。可以在其他模块中调用它,并且也可以在调用处内联这样的调用。
非公有 API 变更引入有不兼容的风险,引用模块可能未重新编译,所以公有 API 内联函数体内不允许使用非公有声明,即不允许使用 private 与 internal 声明以及其部件。
⼀个 internal 声明可以由 @PublishedApi 标注,这会允许它在公有 API 内联函数中使用。当⼀个 internal 内联函数标记有 @PublishedApi 时,也会像公有函数⼀样检测其函数体。
网友评论