向Array构造函数传入负值有何意义？兼谈UInt传参报错问题

类型不匹配报错的原因 #

你遇到的Type mismatch: inferred type is UInt but Int was expected错误，核心原因就是Kotlin的Array构造函数明确要求size参数为Int类型，它的定义是：

public constructor Array<T>(
    size: Int,
    init: (Int) -> T
)

UInt是无符号整数类型，和有符号的Int属于不同的类型体系，Kotlin不会自动做隐式类型转换，所以直接传UInt必然会触发类型不匹配的报错。

传入负值到底有什么意义？ #

结论是：完全没有合法意义。数组的长度不可能是负数，如果你真的传入一个负值作为size，Kotlin会直接抛出IllegalArgumentException，提示"Negative array size"。

那为什么size参数不用UInt而是Int？主要有这几点原因：

• Java兼容性：Kotlin设计时要和Java生态深度兼容，而Java里数组长度参数就是int类型，Kotlin延续这个设计能减少跨语言开发的摩擦。
• API统一：Kotlin标准库中绝大多数和长度、索引相关的API都用Int，保持一致能让开发者不用在不同类型间来回切换，降低学习成本。
• 历史遗留：无符号类型是Kotlin后续版本才引入的特性，早期的标准库API已经基于Int搭建，全面替换会引发大量兼容性问题，得不偿失。

如果你确实需要用UInt来指定数组长度，可以手动转换为Int（注意要处理溢出情况，避免转换后变成负值）：

val uintSize: UInt = 5u
val array = Array(uintSize.toInt()) { it }

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