如何解决Kotlin 中的奇怪值比较问题,“===”返回 true 但“==”返回 false
我在Kotlin中遇到了一个很奇怪的值比较问题,无法解释,下面的代码打印false
data class Foo (
val a: Byte
)
fun main() {
val NUM: Byte = 1
var m: Foo? = Foo(NUM)
println(m?.a == NUM)
}
但是如果我把最后一行改成
println(m?.a === NUM)
或
println(m!!.a == NUM)
它打印true,我很困惑,谁能帮忙解释一下?谢谢。
解决方法
该问题仅在 1.5.20 版本中出现,而 1.5.10 不受影响。
这似乎是较新的 kotlin 编译器版本中的一个问题。
通过一些字节码我们可以解释这个问题(data class
被称为 Blah
,func
被称为 blah
)。
这是用 1.5.10 编译的字节码,它为 True
返回 println(m?.a == NUM)
- 一切似乎都很好。我们正在做一个原始的不等于两个数字,它返回 False
(正确,因为 1 != 1
是 False
)。
Compiled from "WtfTest.kt"
public final class de.sfxr.WtfTest {
public de.sfxr.WtfTest();
Code:
0: aload_0
1: invokespecial #8 // Method java/lang/Object."<init>":()V
4: return
public final void blah();
Code:
0: iconst_1
1: istore_1
2: new #14 // class de/sfxr/Blah
5: dup
6: iload_1
7: invokespecial #17 // Method de/sfxr/Blah."<init>":(B)V
10: astore_2
11: aload_2
12: astore_3
13: aload_3
14: invokevirtual #21 // Method de/sfxr/Blah.getA:()B
17: iload_1
18: istore_3
19: iload_3
// PRIMITIVE NOT EQUALS => False
20: if_icmpne 27
23: iconst_1
24: goto 28
27: iconst_0
28: istore_3
29: iconst_0
30: istore 4
32: getstatic #27 // Field java/lang/System.out:Ljava/io/PrintStream;
35: iload_3
36: invokevirtual #33 // Method java/io/PrintStream.println:(Z)V
39: return
}
然而,在版本 1.5.20 中,字节码指示使用 JVM Intrinsics.areEqual
在内容为 Integer
的盒装 1
和内容为 Byte
的盒装 1
上进行对象比较False
,它将返回 equals
,因为它在 Byte
上使用 True
。这是这个问题的根本原因。编译器开发人员此时肯定想要一个 Byte.equals
。
但是为什么这会被评估为假呢?这是 Compiled from "WtfTest.kt"
public final class de.sfxr.WtfTest {
public de.sfxr.WtfTest();
Code:
0: aload_0
1: invokespecial #8 // Method java/lang/Object."<init>":()V
4: return
public final void blah();
Code:
0: iconst_1
1: istore_1
2: new #14 // class de/sfxr/Blah
5: dup
6: iload_1
7: invokespecial #17 // Method de/sfxr/Blah."<init>":(B)V
10: astore_2
11: aload_2
12: astore_3
13: aload_3
14: invokevirtual #21 // Method de/sfxr/Blah.getA:()B
17: invokestatic #27 // Method java/lang/Byte.valueOf:(B)Ljava/lang/Byte;
20: iload_1
21: invokestatic #32 // Method java/lang/Integer.valueOf:(I)Ljava/lang/Integer;
// OBJECT COMPARISON VIA JVM ON BOXED BYTE(1) AND BOXED INT(1) => False
24: invokestatic #38 // Method kotlin/jvm/internal/Intrinsics.areEqual:(Ljava/lang/Object;Ljava/lang/Object;)Z
27: istore_3
28: iconst_0
29: istore 4
31: getstatic #44 // Field java/lang/System.out:Ljava/io/PrintStream;
34: iload_3
35: invokevirtual #50 // Method java/io/PrintStream.println:(Z)V
38: return
}
描述的片段“当且仅当参数不为空并且是包含与此对象相同的字节值的字节对象时,结果才为真。”
...以及用于解释的字节码:
gradle clean
更新
jetbrains 的人对已发出的票 https://youtrack.jetbrains.com/issue/KT-47717 发表评论说:“这绝对是一个错误。”和优先专业。
恭喜,你找到了一些东西:-)
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。