如何强制Kotlin中List<Float>的所有元素处于0.0到1.0之间？

要确保List<Float>的所有元素都处于0.0到1.0之间，@FloatRange注解无法直接作用于列表本身——它仅针对单个数值类型。这里提供几种实用的实现方式：

1. 运行时参数校验 #

这是最直接且易实现的方案，在函数内部遍历列表，检查每个元素的合法性，不符合要求则抛出异常：

fun giveMeSomeFloats(floats: List<Float>) {
    floats.forEach { float ->
        require(float in 0.0f..1.0f) { "非法数值：$float，必须在0.0到1.0之间" }
    }
    // 执行后续业务逻辑
}

调用时如果传入listOf(1.2f)，会立即抛出IllegalArgumentException，阻止非法数据进入业务流程。

2. 自定义封装类型（类型安全方案） #

创建一个仅允许合法数值的封装类，从根源上避免非法值的传入。使用Kotlin的内联值类（value class）可以避免额外性能开销：

@JvmInline
value class ClampedFloat private constructor(val value: Float) {
    companion object {
        fun from(float: Float): ClampedFloat {
            require(float in 0.0f..1.0f) { "数值$float超出0.0-1.0范围" }
            return ClampedFloat(float)
        }
    }
}

// 修改函数参数类型
fun giveMeSomeFloats(floats: List<ClampedFloat>) {
    // 无需再做校验，所有元素都是合法的
    val rawFloats = floats.map { it.value }
    // 业务逻辑处理
}

// 调用示例
val validFloats = listOf(0.3f, 0.7f).map { ClampedFloat.from(it) }
giveMeSomeFloats(validFloats)

这种方案让类型系统帮你把关，编译期就会阻止直接传入普通Float列表，适合对数据安全性要求较高的场景。

3. 编译期注解检查（进阶方案） #

如果希望在编译阶段就发现非法值，可以自定义注解和注解处理器，扫描代码中传入的列表常量，检查元素是否符合范围。不过这种方案实现复杂度较高，且仅能检测常量列表，动态生成的列表仍需依赖运行时校验。

总结 #

• 快速实现选运行时校验，适合大多数日常场景；
• 追求类型安全选自定义封装类，从源头避免非法数据；
• 大型项目需编译期检查可尝试自定义注解处理器，但成本较高。

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