Kotlin中reify无法获取实际实例类型，DDD值对象equals异常

问题场景 #

我尝试用Kotlin实现DDD的ValueObject基类，通过反射统一实现equals方法，让所有子类无需重写equals，自动比较所有属性。但测试时发现两个不同的结果：

• 用==运算符比较两个PhoneNumber实例时，deepEquals方法的reified泛型T被识别为ValueObject基类，无法找到子类属性，错误返回true；
• 直接调用PhoneNumber实例的deepEquals方法时，泛型T能正确识别为PhoneNumber，返回预期的false。

问题根源 #

核心原因在于reified泛型的编译期绑定特性，以及Kotlin中==运算符的执行逻辑：

1. Kotlin的==本质是调用Any类定义的equals方法，若子类未重写equals，会直接执行基类ValueObject的equals实现；
2. 带reified修饰的泛型参数是在编译期确定类型的，基类ValueObject的equals方法中调用deepEquals<T>()时，编译期会将T绑定为ValueObject（因为当前方法的静态上下文是基类），而非运行时的子类类型；
3. 直接调用子类的deepEquals时，编译期能根据调用点的静态类型（PhoneNumber）将T绑定为子类，因此能正确反射获取子类属性。

解决方案 #

放弃依赖reified泛型来确定类型，改为基于实例的运行时类来反射获取属性，确保无论通过==还是直接调用，都能拿到子类的所有属性：

修改后的基类示例 #

abstract class ValueObject {
    override fun equals(other: Any?): Boolean {
        if (this === other) return true
        if (other == null || this::class != other::class) return false
        
        // 获取当前实例的运行时类的所有属性
        val properties = this::class.memberProperties
        return properties.all { prop ->
            prop.get(this) == prop.get(other as ValueObject)
        }
    }

    override fun hashCode(): Int {
        val properties = this::class.memberProperties
        return properties.map { it.get(this) }.hashCode()
    }
}

class PhoneNumber(val areaCode: String, val number: String) : ValueObject()

说明 #

• 用this::class获取运行时类型，确保比较时严格检查两个实例的实际类是否一致；
• 直接反射当前运行时类的成员属性，避免泛型绑定带来的静态类型限制；
• 同时重写hashCode，遵循equals和hashCode的契约。

内容的提问来源于stack exchange，提问作者Lucas Bueno