内联函数
使用高阶函数会带来一些运行时的效率损失:每一个函数都是一个对象,并且会捕获一个闭包。
即那些在函数体内会访问到的变量。
内存分配(对于函数对象和类)和虚拟调用会引入运行时间开销。
但是在许多情况下通过内联化 lambda 表达式可以消除这类的开销。
下述函数是这种情况的很好的例子。即 lock() 函数可以很容易地在调用处内联。
考虑下面的情况:
lock(l) { foo() }
编译器没有为参数创建一个函数对象并生成一个调用。取而代之,编译器可以生成以下代码:
l.lock()
try {
foo()
}
finally {
l.unlock()
}
这个不是我们从一开始就想要的吗?
为了让编译器这么做,我们需要使用 inline 修饰符标记 lock() 函数:
inline fun lock(lock: Lock, body: () -> T): T {
// ……
}
inline 修饰符影响函数本身和传给它的 lambda 表达式:所有这些都将内联
到调用处。
内联可能导致生成的代码增加,但是如果我们使用得当(不内联大函数),它将在
性能上有所提升,尤其是在循环中的“超多态(megamorphic)”调用处。
禁用内联
如果你只想被(作为参数)传给一个内联函数的 lamda 表达式中只有一些被内联,你可以用 noinline 修饰符标记
一些函数参数:
inline fun foo(inlined: () -> Unit, noinline notInlined: () -> Unit) {
// ……
}
可以内联的 lambda 表达式只能在内联函数内部调用或者作为可内联的参数传递,
但是 noinline 的可以以任何我们喜欢的方式操作:存储在字段中、传送它等等。
需要注意的是,如果一个内联函数没有可内联的函数参数并且没有
具体化的类型参数,编译器会产生一个警告,因为内联这样的函数
很可能并无益处(如果你确认需要内联,则可以关掉该警告)。
非局部返回
在 Kotlin 中,我们可以只使用一个正常的、非限定的 return 来退出一个命名或匿名函数。
这意味着要退出一个 lambda 表达式,我们必须使用一个标签,并且
在 lambda 表达式内部禁止使用裸 return,因为 lambda 表达式不能使包含它的函数返回:
fun foo() {
ordinaryFunction {
return // 错误:不能使 `foo` 在此处返回
}
}
但是如果 lambda 表达式传给的函数是内联的,该 return 也可以内联,所以它是允许的:
fun foo() {
inlineFunction {
return // OK:该 lambda 表达式是内联的
}
}
这种返回(位于 lambda 表达式中,但退出包含它的函数)称为非局部返回。 我们习惯了
在循环中用这种结构,其内联函数通常包含:
fun hasZeros(ints: List): Boolean {
ints.forEach {
if (it == 0) return true // 从 hasZeros 返回
}
return false
}
请注意,一些内联函数可能调用传给它们的不是直接来自函数体、而是来自另一个执行
上下文的 lambda 表达式参数,例如来自局部对象或嵌套函数。在这种情况下,该 lambda 表达式中
也不允许非局部控制流。为了标识这种情况,该 lambda 表达式参数需要
用 crossinline 修饰符标记:
inline fun f(crossinline body: () -> Unit) {
val f = object: Runnable {
override fun run() = body()
}
// ……
}
break 和 continue 在内联的 lambda 表达式中还不可用,但我们也计划支持它们
具体化的类型参数
有时候我们需要访问一个作为参数传给我们的一个类型:
fun TreeNode.findParentOfType(clazz: Class): 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()
为能够这么做,内联函数支持具体化的类型参数,于是我们可以这样写:
inline fun TreeNode.findParentOfType(): T? {
var p = parent
while (p != null && p !is T) {
p = p.parent
}
return p as T?
}
我们使用 reified 修饰符来限定类型参数,现在可以在函数内部访问它了,
几乎就像是一个普通的类一样。由于函数是内联的,不需要反射,正常的操作符如 !is
和 as 现在都能用了。此外,我们还可以按照上面提到的方式调用它:myTree.findParentOfType()。
虽然在许多情况下可能不需要反射,但我们仍然可以对一个具体化的类型参数使用它:
inline fun membersOf() = T::class.members
fun main(s: Array) {
println(membersOf().joinToString("\n"))
}
普通的函数(未标记为内联函数的)不能有具体化参数。
不具有运行时表示的类型(例如非具体化的类型参数或者类似于Nothing的虚构类型)
不能用作具体化的类型参数的实参。
相关底层描述,请参见规范文档。
内联属性(自 1.1 起)
inline 修饰符可用于没有幕后字段的属性的访问器。
你可以标注独立的属性访问器:
val foo: Foo
inline get() = Foo()
var bar: Bar
get() = ……
inline set(v) { …… }
你也可以标注整个属性,将它的两个访问器都标记为内联:
inline var bar: Bar
get() = ……
set(v) { …… }
在调用处,内联访问器如同内联函数一样内联。
¥ 我要打赏
纠错/补充
收藏
加QQ群啦,易百教程官方技术学习群
注意:建议每个人选自己的技术方向加群,同一个QQ最多限加 3 个群。