Kotlin无符号类型范围的类型推断问题：为何两段代码表现不同？

现象对比 #

正常运行的有符号类型代码 #

val x = 123
println(x in Byte.MIN_VALUE..Byte.MAX_VALUE)

这段代码可正常执行，输出true。

报错的无符号类型代码 #

val x = 123
println(x in UByte.MIN_VALUE..UByte.MAX_VALUE)

执行时会抛出类型推断错误：

类型推断失败。类型参数T的值应在输入类型（参数类型、接收者类型或预期类型）中提及，请尝试显式指定。

原因分析 #

• 有符号类型的隐式转换支持：Byte属于有符号整数类型，Kotlin允许Int与Byte之间进行隐式类型兼容处理。Byte.MIN_VALUE..Byte.MAX_VALUE创建的是ByteRange，编译器会自动将Int类型的x与ByteRange做适配判断，无需显式转换即可完成范围检查。
• 无符号类型的独立类型体系：UByte是无符号整数类型，属于独立的类型分支，与Int之间不存在隐式转换。UByte.MIN_VALUE..UByte.MAX_VALUE生成的是UByteRange，该范围仅支持UByte类型的元素匹配。由于x是Int类型，编译器无法自动推断出两者的适配逻辑，因此抛出类型推断失败的错误。

解决方法 #

方法1：将Int显式转换为UByte #

把x转换为UByte类型，让元素类型与范围类型匹配：

val x = 123.toUByte()
println(x in UByte.MIN_VALUE..UByte.MAX_VALUE)

方法2：使用兼容的无符号范围 #

直接使用UInt类型的范围（UByte的取值范围等价于0U到255U），让范围类型与Int兼容：

val x = 123
println(x in 0U..255U)

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