Kotlin矩阵类存储Number遇数组不变性问题，求可变实现及加法解决方案

嘿，这两个问题都是Kotlin泛型和类型系统的典型场景，我来一步步帮你理清：

一、二维数组的类型兼容问题 #

你遇到的核心问题是Kotlin泛型的不变性：Array<Int>并不是Array<Number>的子类型，因为Array是不变泛型类——如果允许这种转换，你可能会不小心往原本存Int的数组里塞Double，破坏类型安全。

错误原因拆解 #

你的初始化代码：

var data: Array<Array<Number>> = Array(width, {Array(height, {0})})

内层的Array(height, {0})会被Kotlin自动推断为Array<Int>，外层数组就变成了Array<Array<Int>>，而不变泛型规则不允许它赋值给Array<Array<Number>>。

用Array<Array<out Number>>虽然能通过编译，但out关键字表示协变，意味着你只能读取数组元素，不能修改（因为编译器无法保证你写入的类型和原数组兼容），所以不符合可变矩阵的需求。而强行把{0}转成{0 as Int}只是绕开了编译检查，并没有从根本上解决类型匹配问题。

正确解决方案 #

要创建可变的Array<Array<Number>>，你需要显式指定内层数组的类型为Number，让编译器放弃自动推断为Int：

var data: Array<Array<Number>> = Array(width) { Array<Number>(height) { 0 } }

这里Array<Number>(height) { 0 }明确把内层数组的类型声明为Number，0会自动向上转型为Number，外层数组自然就是Array<Array<Number>>，既满足类型要求，又支持修改元素。

如果你希望矩阵支持特定的数值类型（比如只存Int或Double），更优雅的方式是用泛型类，这样还能避免后续的类型转换问题：

class Matrix<T : Number>(val width: Int, val height: Int, init: () -> T) {
    val data: Array<Array<T>> = Array(width) { Array(height) { init() } }
}

// 使用示例
val intMatrix = Matrix(3, 3) { 0 } // 初始化Int类型矩阵
val doubleMatrix = Matrix(2, 2) { 0.0 } // 初始化Double类型矩阵

二、为什么Number类型不能直接执行加法？ #

Number是Kotlin中所有数值类型（Int、Double、Long等）的抽象父类，但它本身没有定义plus运算符（也就是+）。Kotlin的运算符重载是针对具体数值类型实现的，比如Int.plus()、Double.plus()，但Number作为抽象类并没有提供通用的加法实现——因为不同数值类型的加法逻辑不一样（比如Int加Double会自动转成Double，但如果是BigDecimal加Int逻辑又不同），编译器无法确定你想要的具体行为。

解决方案 #

根据你的需求，有几种常见处理方式：

1. 转换为具体数值类型：如果确定矩阵里的元素都是同一类型（比如全是Int），可以把Number转成对应类型后再运算：

   var n: Number = 1
   val sum = n.toInt() + 1 // 正常运行
   

2. 扩展Number的plus方法：给Number添加扩展函数，实现通用加法（注意：这种方式需要处理类型转换，可能存在精度损失风险）：

   operator fun Number.plus(other: Number): Number {
       return when (this) {
           is Int -> this + other.toInt()
           is Double -> this + other.toDouble()
           is Long -> this + other.toLong()
           // 可以继续扩展其他数值类型
           else -> throw IllegalArgumentException("Unsupported number type")
       }
   }
   
   // 使用示例
   var n: Number = 1
   val sum = n + 1 // 现在可以正常运行
   

3. 使用泛型限定：回到前面的泛型Matrix类，限定泛型为具体数值类型，这样就能直接使用该类型的加法运算符：

   class Matrix<T : Number>(val width: Int, val height: Int) {
       val data: Array<Array<T>> = Array(width) { Array(height) { 0 as T } }
   
       // 示例：实现矩阵元素加法
       fun add(other: Matrix<T>) {
           // 这里需要确保T支持加法，可配合reified泛型或更严格的类型限定
       }
   }
   

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