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包装这个整数。然后，您可以在构建时强制执行约束（仍在运行时，但它不太容易出错）。

这种方法还可以避免污染所有整数的自动完成，考虑到这个功能的具体程度，这在一个大项目上可能会很烦人。