提问人:Xiaoyu Yu 提问时间:7/13/2021 更新时间:5/10/2022 访问量:571
Kotlin 中的奇怪值比较问题,“===”返回 true,但“==”返回 false
Strange value comparison issue in Kotlin, "===" returns true but "==" returns 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)
它打印的是真的,我很困惑,有人可以帮忙解释吗?谢谢。
答:
10赞
Dominik
7/13/2021
#1
该问题仅出现在版本 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
}
但是,在 V1.5.20 中,字节码指示在装有内容的装箱和装有内容的装箱上使用 JVM 进行对象比较,这将返回 ,因为它使用 on 。这就是此问题的原因。在这一点上,编译器开发人员肯定想要一个。Intrinsics.areEqual
Integer
1
Byte
1
False
equals
Byte
True
但为什么这被评估为错误?下面是 的描述片段:“当且仅当参数不为 null 并且是包含与此对象相同的字节值的 Byte 对象时,结果为真。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
}
更新
jetbrains 的家伙用“这绝对是一个错误”和优先专业评论了 https://youtrack.jetbrains.com/issue/KT-47717 发出的票证。
评论
0赞
Simulant
7/13/2021
值得为它提交错误票证吗?youtrack.jetbrains.com/issues/KT
1赞
Dominik
7/13/2021
@Simulant已经完成了 youtrack.jetbrains.com/issue/KT-47717
下一个:C 语言中的运算符优先级和关联性
评论
===