Kotlin 数据类继承强制转换为父相等是错误的

Question

我想知道为什么 equal 方法 (==) 不能按预期工作。

有没有办法修复下面代码中的注释部分？

如您所见，p1 和 p2 不相等，既不是引用也不是值。那么为什么 p1 == p2 是真的呢？！

object Main {
    @JvmStatic
    fun main(args: Array<String>) {

        val f1 = Foo(1)
        Thread.sleep(3) // to set a different value in parent of f2
        val f2 = Foo(1)

        val p1 = (f1 as Parent)
        val p2 = (f2 as Parent)

        println(p1 == p2) // true
        println(p1.b == p2.b) // false
    }
}

data class Foo(val a: Int) : Parent("$a-${System.currentTimeMillis()}")

sealed class Parent(val b: String) {

    override fun equals(other: Any?): Boolean {
        if (this === other) return true
        if (javaClass != other?.javaClass) return false

        other as Parent

        if (b != other.b) return false

        return true
    }
    override fun hashCode(): Int {
        return b.hashCode()
    }
}

Answer 1

有一种解决方案，您必须在 Foo 类中显式覆盖 equals 和 hashCode 方法。然后就可以正常工作了。

object Main {
    @JvmStatic
    fun main(args: Array<String>) {

        val f1 = Foo(1)
        Thread.sleep(3)
        val f2 = Foo(1)

        val p1 = (f1 as Parent)
        val p2 = (f2 as Parent)

        println(p1 == p2) // false
        println(p1.b == p2.b) // false
    }
}

data class Foo(val a: Int) : Parent("$a-${System.currentTimeMillis()}") {
    override fun equals(other: Any?): Boolean {
        if (this === other) return true
        if (javaClass != other?.javaClass) return false
        if (!super.equals(other)) return false

        other as Foo

        if (a != other.a) return false

        return true
    }

    override fun hashCode(): Int {
        var result = super.hashCode()
        result = 31 * result + a
        return result
    }
}

sealed class Parent(val b: String) {

    override fun equals(other: Any?): Boolean {
        if (this === other) return true
        if (javaClass != other?.javaClass) return false

        other as Parent

        if (b != other.b) return false

        return true
    }
    override fun hashCode(): Int {
        return b.hashCode()
    }
}

Answer 2

这不符合您预期的原因是因为data class 自动为您提供equals() 的实现，它（仅）检查其构造函数中指定的属性的值。

所以你的data class Foo(val a: Int) 得到一个equals()，它只检查a 的值，覆盖Parent 类中的值。

一般来说，data classes 是简单的值持有者，其值完全由这些属性来表征，因此自动生成的 equals()（和 hashCode() 和 toString() 和 copy() 和 componentX()方法）很有意义。如果这不适用，data class 可能不适合您的情况。