5

Java 中有许多不可变类String和原始包装类，Kotlin 引入了许多其他类，如Range子类和不可变Collection子类。

对于迭代Ranges，来自控制流：if、when、for、while——我们已经知道的 Kotlin 编程语言：

范围或数组上的for循环被编译为不创建迭代器对象的基于索引的循环。

然而，在处理Ranges 的其他情况下，这种优化是不可能的。

当使用 const 参数创建此类不可变类时，或者更一般地说，使用 const 参数递归创建类时，只实例化一次类将带来性能提升。（换句话说，如果我们称其为 const 不可变实例化，则当且仅当它的所有参数都是常量或 const 不可变实例化时，实例化才是 const 不可变实例化。）因为 Java 编译器没有一种机制来知道是否一个类是不可变的，Kotlin 编译器是否根据其已知的不可变类的知识将此类类优化为仅实例化一次？

对于更具体的应用示例，请考虑以下代码：

repeat(1024) {
    doSomething(('a'..'z').random())
}

val LOWERCASE_ALPHABETS = 'a'..'z'
repeat(1024) {
    doSomething(LOWERCASE_ALPHABETS.random())
}

第二个会带来任何性能改进吗？

4

1 回答 1

4

我认为您能做的最好的事情是检查编译器生成的指令。

我们来看下面的源代码：

fun insideRepeat() {
    repeat(1024) {
        doSomething(('a'..'z').random())
    }
}

fun outsideRepeat() {
    val range = 'a'..'z'
    repeat(1024) {
        doSomething(range.random())
    }
}

因为insideRepeat它会产生类似的东西（我添加了一些评论）：

    public final static insideRepeat()V
    L0
    LINENUMBER 2 L0
    SIPUSH 1024
    ISTORE 0
    L1
    L2
    ICONST_0
    ISTORE 1
    ILOAD 0
    ISTORE 2
    L3
    ILOAD 1
    ILOAD 2
    IF_ICMPGE L4 // loop termination condition
    L5
    ILOAD 1
    ISTORE 3
    L6
    ICONST_0
    ISTORE 4
    L7 // loop body
    LINENUMBER 3 L7
    BIPUSH 97
    ISTORE 5
    NEW kotlin/ranges/CharRange
    DUP
    ILOAD 5
    BIPUSH 122
    INVOKESPECIAL kotlin/ranges/CharRange.<init> (CC)V // new instance created inside the loop
    INVOKESTATIC FooKt.random (Lkotlin/ranges/CharRange;)Ljava/lang/Object;
    INVOKESTATIC FooKt.doSomething (Ljava/lang/Object;)Ljava/lang/Object;
    POP

而对于outsideRepeat它会生成：

public final static outsideRepeat()V
L0
LINENUMBER 8 L0
BIPUSH 97
ISTORE 1
NEW kotlin/ranges/CharRange
DUP
ILOAD 1
BIPUSH 122
INVOKESPECIAL kotlin/ranges/CharRange.<init> (CC)V // range created outside loop
ASTORE 0
L1
LINENUMBER 9 L1
SIPUSH 1024
ISTORE 1
L2
L3
ICONST_0
ISTORE 2
ILOAD 1
ISTORE 3
L4
ILOAD 2
ILOAD 3
IF_ICMPGE L5 // termination condition
L6
ILOAD 2
ISTORE 4
L7
ICONST_0
ISTORE 5
L8
LINENUMBER 10 L8
ALOAD 0
INVOKESTATIC FooKt.random (Lkotlin/ranges/CharRange;)Ljava/lang/Object;
INVOKESTATIC FooKt.doSomething (Ljava/lang/Object;)Ljava/lang/Object;
POP

所以看起来第二个版本确实带来了性能改进（还考虑到 GC 将需要释放更少的对象）

于 2019-11-29T11:34:29.840 回答