那些遇到过的问题

为什么 Kotlin 在反编译为 Java 时会进行空检查声明一些未使用的变量？

Luc*_*lli 3 java null null-check kotlin kotlin-null-safety

我在 JVM 11 上使用 Kotlin 1.5.20 做了以下操作（AdoptOpenJDK build 11.0.4+11）

通常在 Kotlin 中，我会执行偏向x?.let {}或x?.run {}超过if(x != null) {}. 我将这三种方法反编译为 Java，以了解我最喜欢的方法是否会引入任何类型的低效率。反编译这个 Kotlin 代码

class Main {
    fun main1(x: String?){
        x?.run { println(this) }
    }

    fun main2(x: String?){
        x?.let { x1 -> println(x1) }
    }

    fun main3(x: String?){
        if (x != null){
            println(x)
        }
    }

}
Run Code Online (Sandbox Code Playgroud)

我得到这个 Java 代码

@Metadata(
   mv = {1, 5, 1},
   k = 1,
   d1 = {"\u0000\u001a\n\u0002\u0018\u0002\n\u0002\u0010\u0000\n\u0002\b\u0002\n\u0002\u0010\u0002\n\u0000\n\u0002\u0010\u000e\n\u0002\b\u0003\u0018\u00002\u00020\u0001B\u0005¢\u0006\u0002\u0010\u0002J\u0010\u0010\u0003\u001a\u00020\u00042\b\u0010\u0005\u001a\u0004\u0018\u00010\u0006J\u0010\u0010\u0007\u001a\u00020\u00042\b\u0010\u0005\u001a\u0004\u0018\u00010\u0006J\u0010\u0010\b\u001a\u00020\u00042\b\u0010\u0005\u001a\u0004\u0018\u00010\u0006¨\u0006\t"},
   d2 = {"Lcom/cgm/experiments/Main;", "", "()V", "main1", "", "x", "", "main2", "main3", "decompile"}
)
public final class Main {
   public final void main1(@Nullable String x) {
      if (x != null) {
         boolean var3 = false;
         boolean var4 = false;
         int var6 = false;
         boolean var7 = false;
         System.out.println(x);
      }

   }

   public final void main2(@Nullable String x) {
      if (x != null) {
         boolean var3 = false;
         boolean var4 = false;
         int var6 = false;
         boolean var7 = false;
         System.out.println(x);
      }

   }

   public final void main3(@Nullable String x) {
      if (x != null) {
         boolean var2 = false;
         System.out.println(x);
      }

   }
}
Run Code Online (Sandbox Code Playgroud)

正如你可以看到，一些未使用的变量被分配（var3, var4, var6, var7为fun main1和fun main2和var2的fun main3）。这是反编译代码，因此字节码实际上会分配并初始化它们。int var6 = false;甚至不编译。

还介绍了传统if(x != null) {println(x)}的未使用var2。

我想了解这些变量的目的是什么以及为什么会发生这种情况。

编辑：

这里遵循 Kotlin 字节码（来自 IntelliJ --> 工具 --> Kotlin --> 显示 Kotlin 字节码）

// ================com/cgm/experiments/Main.class =================
// class version 52.0 (52)
// access flags 0x31
public final class com/cgm/experiments/Main {


  // access flags 0x11
  public final main1(Ljava/lang/String;)V
    // annotable parameter count: 1 (visible)
    // annotable parameter count: 1 (invisible)
    @Lorg/jetbrains/annotations/Nullable;() // invisible, parameter 0
   L0
    LINENUMBER 5 L0
    ALOAD 1
    DUP
    IFNULL L1
    ASTORE 2
   L2
    ICONST_0
    ISTORE 3
   L3
    ICONST_0
    ISTORE 4
   L4
    ALOAD 2
    ASTORE 5
   L5
    LINENUMBER 21 L5
   L6
    ICONST_0
    ISTORE 6
   L7
    LINENUMBER 5 L7
   L8
    ICONST_0
    ISTORE 7
   L9
    GETSTATIC java/lang/System.out : Ljava/io/PrintStream;
    ALOAD 5
    INVOKEVIRTUAL java/io/PrintStream.println (Ljava/lang/Object;)V
   L10
   L11
    LINENUMBER 5 L11
    NOP
   L12
   L13
    LINENUMBER 5 L13
   L14
    GOTO L15
   L1
    POP
   L15
   L16
    LINENUMBER 6 L16
    RETURN
   L17
    LOCALVARIABLE $this$run Ljava/lang/String; L6 L12 5
    LOCALVARIABLE $i$a$-run-Main$main1$1 I L7 L12 6
    LOCALVARIABLE this Lcom/cgm/experiments/Main; L0 L17 0
    LOCALVARIABLE x Ljava/lang/String; L0 L17 1
    MAXSTACK = 2
    MAXLOCALS = 8

  // access flags 0x11
  public final main2(Ljava/lang/String;)V
    // annotable parameter count: 1 (visible)
    // annotable parameter count: 1 (invisible)
    @Lorg/jetbrains/annotations/Nullable;() // invisible, parameter 0
   L0
    LINENUMBER 9 L0
    ALOAD 1
    DUP
    IFNULL L1
    ASTORE 2
   L2
    ICONST_0
    ISTORE 3
   L3
    ICONST_0
    ISTORE 4
   L4
    ALOAD 2
    ASTORE 5
   L5
    LINENUMBER 21 L5
   L6
    ICONST_0
    ISTORE 6
   L7
    LINENUMBER 9 L7
   L8
    ICONST_0
    ISTORE 7
   L9
    GETSTATIC java/lang/System.out : Ljava/io/PrintStream;
    ALOAD 5
    INVOKEVIRTUAL java/io/PrintStream.println (Ljava/lang/Object;)V
   L10
   L11
    LINENUMBER 9 L11
    NOP
   L12
   L13
    LINENUMBER 9 L13
   L14
    GOTO L15
   L1
    POP
   L15
   L16
    LINENUMBER 10 L16
    RETURN
   L17
    LOCALVARIABLE x1 Ljava/lang/String; L6 L12 5
    LOCALVARIABLE $i$a$-let-Main$main2$1 I L7 L12 6
    LOCALVARIABLE this Lcom/cgm/experiments/Main; L0 L17 0
    LOCALVARIABLE x Ljava/lang/String; L0 L17 1
    MAXSTACK = 2
    MAXLOCALS = 8

  // access flags 0x11
  public final main3(Ljava/lang/String;)V
    // annotable parameter count: 1 (visible)
    // annotable parameter count: 1 (invisible)
    @Lorg/jetbrains/annotations/Nullable;() // invisible, parameter 0
   L0
    LINENUMBER 13 L0
    ALOAD 1
    IFNULL L1
   L2
    LINENUMBER 14 L2
   L3
    ICONST_0
    ISTORE 2
   L4
    GETSTATIC java/lang/System.out : Ljava/io/PrintStream;
    ALOAD 1
    INVOKEVIRTUAL java/io/PrintStream.println (Ljava/lang/Object;)V
   L5
   L1
    LINENUMBER 16 L1
    RETURN
   L6
    LOCALVARIABLE this Lcom/cgm/experiments/Main; L0 L6 0
    LOCALVARIABLE x Ljava/lang/String; L0 L6 1
    MAXSTACK = 2
    MAXLOCALS = 3

  // access flags 0x1
  public <init>()V
   L0
    LINENUMBER 3 L0
    ALOAD 0
    INVOKESPECIAL java/lang/Object.<init> ()V
    RETURN
   L1
    LOCALVARIABLE this Lcom/cgm/experiments/Main; L0 L1 0
    MAXSTACK = 1
    MAXLOCALS = 1

  @Lkotlin/Metadata;(mv={1, 5, 1}, k=1, d1={"\u0000\u001a\n\u0002\u0018\u0002\n\u0002\u0010\u0000\n\u0002\u0008\u0002\n\u0002\u0010\u0002\n\u0000\n\u0002\u0010\u000e\n\u0002\u0008\u0003\u0018\u00002\u00020\u0001B\u0005\u00a2\u0006\u0002\u0010\u0002J\u0010\u0010\u0003\u001a\u00020\u00042\u0008\u0010\u0005\u001a\u0004\u0018\u00010\u0006J\u0010\u0010\u0007\u001a\u00020\u00042\u0008\u0010\u0005\u001a\u0004\u0018\u00010\u0006J\u0010\u0010\u0008\u001a\u00020\u00042\u0008\u0010\u0005\u001a\u0004\u0018\u00010\u0006\u00a8\u0006\u0009"}, d2={"Lcom/cgm/experiments/Main;", "", "()V", "main1", "", "x", "", "main2", "main3", "decompile.main"})
  // compiled from: Main.kt
  // debug info: SMAP
Main.kt
Kotlin
*S Kotlin
*F
+ 1 Main.kt
com/cgm/experiments/Main
+ 2 fake.kt
kotlin/jvm/internal/FakeKt
*L
1#1,20:1
1#2:21
*E

}


// ================META-INF/decompile.main.kotlin_module =================
Run Code Online (Sandbox Code Playgroud)

was*_*syl 5

我想了解这些变量的目的是什么以及为什么会发生这种情况。

您在此处看到的是函数中使用的堆栈条目。如果按照实际的字节码，你会看到ASTORE N/ ISTORE N/ ALOAD N/ILOAD N项。这是变量放在堆栈上的地方，varN变量代表那些堆栈条目。将这些堆栈条目反编译为 Java 代码并不总是有意义（或可能），因为它实际上是一个字节码细节，例如，您必须将一些值推送到堆栈上才能将这些值传递给函数。您通常会看到比变量更多的堆栈条目来执行空检查和内部调用等操作。

在这种情况下，我不知道为什么要使用这么多堆栈条目，但它看起来像是用于捕获 lambda 的未使用占位符，以防您使用它们。

在任何情况下，都不应该使用反编译的 Java 代码来推理字节码。如果您想更好地了解幕后发生的事情，我建议您自己学习字节码指令并对其进行分析。

我想了解这些变量的目的是什么以及为什么会发生这种情况。

我希望 Kotlin 更容易分配这些堆栈条目，即使它们没有被使用。

然而，重要的一点是：

了解我最喜欢的方法是否会导致效率低下

这样的分析不是很有用。例如，Kotlin 可能会生成那些空的堆栈条目，因为 JVM 将它们优化掉是微不足道的，因为它们永远不会被读取。除非您在真实的 JVM 上执行这些不同的方法时观察到实际的性能影响，否则您应该假设它们都同样有效。即使有一些性能影响，它也可以忽略不计，而且我怀疑它在除微基准测试之外的任何其他工作负载下都可以衡量，微基准测试通常不具有代表性或现实世界的场景。使用您最喜欢的任何版本。

旁注：IMO 所有这三种方法都应在不同情况下使用。if (x != null)如果您确实想检查某个东西是否是null，请使用 an ，?.let如果您想将一个可为空的值映射到另一个值，请使用，并使用?.run如果将可空值捕获为接收器很有用。x?.run { println(this) }不是很惯用，也很难阅读。在这种情况下，您应该更关心代码可读性而不是性能。

归档时间：

查看次数：

88 次

最近记录：

4 年，4 月 前
相关归档
将InputStream读取为UTF-8 94
Kotlin中的类和对象之间的区别 81
为什么在将客户端JBoss连接回收到远程队列后仍然抛出SpyJMSExceptions？ 56
system.gc()和runtime.gc()之间的区别 46
0xDEADBEEF与NULL 27
使用kotlin数据类的Firebase @Exclude 18
布局检查器不显示可组合项树 12
MySQL"NULL"问题 9
在Kotlin,Jackson反序列化错误与数据类 6
如何在flutter中调整列/行表格图像内容 3
难疑归档
Python有三元条件运算符吗？ 5591
从Git中的分支中删除提交 3035
如何从git repo中删除文件？ 1795
如何在Linux中更改echo的输出颜色 1582
如何在Xcode 4中"添加现有框架"？ 1426
如何在JavaScript中将十进制转换为十六进制？ 1387
将JavaScript字符串转换为全部小写？ 1260
忽略git项目中的任何"bin"目录 1172
使用node.js作为简单的Web服务器 1068
抵消html锚点以调整固定标题 1056