如何在Kotlin中强制协变类型参数的泛型类型一致？

你遇到的问题确实是因为KProperty1<T, out V>的第二个类型参数是协变的，导致编译器会自动推断出两个属性类型的公共超类型（比如String和Int的公共超类型是Comparable<*> & java.io.Serializable），从而允许类型不匹配的调用。以下是几种可以在编译期强制两个属性类型完全一致的方法：

方法一：使用具体化类型参数的扩展函数 #

由于接口中无法直接定义带具体化类型参数（reified）的函数，我们可以通过扩展函数实现编译期的类型校验：

interface Mapper<From, To> {
    fun <T> addMapping(source: KProperty1<From, T>, target: KProperty1<To, T>)
}

// 扩展函数，通过reified T强制类型完全匹配
inline fun <From, To, reified T> Mapper<From, To>.addMappingExact(
    source: KProperty1<From, T>,
    target: KProperty1<To, T>
) {
    addMapping(source, target)
}

使用时，调用addMappingExact而非原方法：

data class Source(val str: String)
data class Target(val int: Int)
data class Target2(val str: String)

val mapper: Mapper<Source, Target> = // 实例化逻辑
// 以下代码会编译失败，因为String和Int没有共同的具体化类型T
// mapper.addMappingExact(Source::str, Target::int)

// 只有当类型完全匹配时才允许调用
mapper.addMappingExact(Source::str, Target2::str) // 正常编译

原理：具体化类型参数会让编译器严格匹配两个属性的类型，无法再推断出公共超类型，因此类型不匹配时直接编译报错。

方法二：使用不变性包装类 #

通过创建一个对值类型不变的包装类，来规避KProperty1的协变性：

// 不变性包装类，对V类型没有协变/逆变修饰
class ExactProperty<T, V>(val property: KProperty1<T, V>)

interface Mapper<From, To> {
    fun <T> addMapping(
        source: ExactProperty<From, T>,
        target: ExactProperty<To, T>
    )
}

使用时需要将KProperty1包装成ExactProperty：

val mapper: Mapper<Source, Target> = // 实例化逻辑
// 以下代码编译失败，因为String和Int无法统一为T
// mapper.addMapping(ExactProperty(Source::str), ExactProperty(Target::int))

// 类型匹配时正常编译
mapper.addMapping(ExactProperty(Source::str), ExactProperty(Target2::str))

原理：ExactProperty的第二个类型参数V是不变的，编译器无法将ExactProperty<Target, Int>向上转型为ExactProperty<Target, 公共超类型>，因此必须要求两个属性的类型完全一致。

方法三：修改原接口的类型约束（进阶） #

如果你希望直接修改原接口的addMapping方法，可以通过@UnsafeVariance注解来强制目标属性的类型不变，但这种方式需要注意类型安全：

interface Mapper<From, To> {
    fun <T> addMapping(
        source: KProperty1<From, T>,
        target: KProperty1<To, @UnsafeVariance T>
    )
}

此时调用mapper.addMapping(Source::str, Target::int)会直接编译失败，因为@UnsafeVariance取消了目标属性的协变能力，编译器无法再将Int转换为公共超类型。不过这种方式需要谨慎使用，因为@UnsafeVariance会绕过Kotlin的类型安全检查，若后续代码处理不当可能引发运行时异常。

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