kotlin - 如何将注释 @IntRange 用于 Integer 的 Kotlin 扩展函数

Question

下面是我的 Kotlin 扩展函数:

infix fun Int.send(data: String) {
    MsgSendUtils.sendStringMsg(
        this,
        data
    )
}

这样调用:

 8401 send "hi"

我的要求是:调用者必须大于8400。

我怎样才能做到这一点？

谢谢!

Answer 1

理论上，您可以使用语法 @receiver:IntRange(from = 8400) 将注释应用于函数的接收者:

infix fun @receiver:IntRange(from = 8400) Int.send(data: String) {
    MsgSendUtils.sendStringMsg(this, data)
}

但是，这似乎并没有像您预期的那样触发 Android Lint 错误。在检查 Kotlin 代码时，这可能是 linter 本身缺少的功能。

解决方法是以不同方式声明函数(使用此值作为参数而不是接收器):

fun send(@IntRange(from = 8400) id: Int, data: String) {
    MsgSendUtils.sendStringMsg(id, data)
}
// or
fun String.sendTo(@IntRange(from = 8400) id: Int) {
    MsgSendUtils.sendStringMsg(id, this)
}

否则，您在纯 Kotlin 中所能做的最好的事情就是在运行时检查值:

infix fun Int.send(data: String) {
    require(this >= 8400) { "This value must be greater than 8400" }
    MsgSendUtils.sendStringMsg(this, data)
}

请注意，根据这个值代表什么，我建议使用更具体的类型而不是 Int。例如，如果您的 Int 表示一个 ID，也许您应该改为声明一个包装此整数的 value class。然后，您可以在构建时强制执行约束(仍在运行时，但不太容易出错)。

这种方法还可以避免污染所有整数的自动完成，鉴于此函数的具体性，这在大型项目中可能会非常烦人。