Kotlin Any与Double类型不匹配：如何定义兼容多类型数组的参数？

嘿，这个问题我太熟了——本质是Kotlin数组的不变性在搞鬼！我给你一步步拆解原因和解决方案：

为什么会报错？ #

Kotlin里的Array是不变类型（invariant），简单说就是：哪怕Double和Int都是Any的子类，Array<Double>和Array<Int>也不属于Array<Any>的子类型。编译器会严格检查类型匹配，所以你传这两个数组给Array<Any>参数时，就会抛出类型不匹配的错误。

最优解决方案：泛型+协变修饰符 #

最灵活且类型安全的方式是用泛型函数，搭配out关键字实现协变（因为我们通常只是从数组里读取元素，而不是写入）：

// 用泛型T，加上out修饰符表示数组是"生产者"（只读取不写入）
fun <T> magic(input: Array<out T>, output: Array<out T>) {
    // 在这里执行你的逻辑，比如读取元素：
    input.forEach { println("输入元素：$it") }
    output.forEach { println("输出元素：$it") }
}

// 现在调用完全没问题，编译器会自动推断T为Number（Double和Int的共同父类）
val input = arrayOf(1.3, 4.5)
val output = arrayOf(3) 
magic(input, output)

其他可选方案 #

1. 直接用Array作为参数 #

如果你的逻辑只处理数值类型（Double、Int、Long等都是Number的子类），可以直接把参数类型设为Array<Number>，但需要提前把数组声明为Array<Number>：

val input: Array<Number> = arrayOf(1.3, 4.5)
val output: Array<Number> = arrayOf(3) 

fun magic(input: Array<Number>, output: Array<Number>) {
    // 这里还能往数组里写入Number类型的元素，比如：
    // input[0] = 10L // Long也是Number的子类
}

2. 用Array兼容任意数组 #

如果你不需要严格的类型安全，只是想接收任意类型的数组，可以把参数设为Array<out Any>：

fun magic(input: Array<out Any>, output: Array<out Any>) {
    // 执行逻辑
}

// 调用正常
val input = arrayOf(1.3, 4.5)
val output = arrayOf(3) 
magic(input, output)

不过这种方式会丢失具体类型信息，适合不需要处理特定类型逻辑的场景。

总结 #

优先推荐泛型+out的方案，它既保证了类型安全，又能灵活兼容各种数值类型的数组，是最符合Kotlin设计思想的解决方式。

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