我可以为我的整数参数设置一个范围吗

Question

我可以为整数参数设置一个范围以确保整数值在给定范围之间吗

method(int @Range(0,9) i)

从字面上检查参数 i 是否在给定范围内？

Answer 1

如果要编译时检查，可以使用Checker Framework的Index Checker or Constant Value Checker and write an @IntRange注解：

method(int @IntRange(0,9) i) { ... }