Kotlin如何创建可存任意类型及null的空数组及类型报错疑问

问题1：报错原因 #

这确实是Kotlin空安全设计的约束，核心原因有两点：

1. 你调用的arrayOfNulls函数本身的返回类型就是Array<T?>：这个函数的作用就是创建指定长度、所有元素初始值为null的数组，所以返回的数组天然允许存储null值，泛型参数为可空类型。你用Array<Any>(items.size){null}的写法也同理，初始化表达式返回null，编译器会自动推断数组元素类型为Any?，数组整体类型就是Array<Any?>。
2. Kotlin的数组是型变不变的：哪怕Any是Any?的父类型，Array<Any>和Array<Any?>也属于完全不兼容的两种类型，不能互相赋值。你把可能包含null的Array<Any?>赋值给声明为只能存非空值的Array<Any>，编译器就会抛出类型不匹配的错误，避免后续访问元素时出现预期外的空指针。

问题2：保证无null时不需要声明为Array<Any?> #

你完全可以避免声明可空类型数组，只要不用arrayOfNulls这类会初始化null的方式创建数组即可。比如你示例里报错的arrayTest0可以改写为以下可正常编译的版本：

fun arrayTest0(items: Array<Any>): Array<Any> {
    // 直接用传入的非空元素初始化数组，全程没有null，编译器可以验证安全
    return Array(items.size) { i -> items[i] }
}

如果你的业务逻辑必须先创建空数组再逐个填充元素，且你可以100%保证所有位置都会被赋值为非空值，也可以通过未检查类型转换绕开编译器限制，风险由你自己承担：

fun arrayTest0(items: Array<Any>): Array<Any> {
    // 强制转换为非空数组，需自行保证后续覆盖所有初始的null元素
    val values = arrayOfNulls<Any>(items.size) as Array<Any>
    var i = 0
    items.forEach { num -> values[i++] = num }
    return values
}

不推荐随意使用这种强转写法，如果后续漏填充某个元素，访问到残留null时会直接抛出空指针。

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