关注潜在的整数越界问题

在平时的开发过程中，整数越界是一个容易被忽视的问题，关注潜在的整数越界问题可使我们编写的代码更加健壮，规避因整数越界导致的 bug。

比较器

以下是在 Code Review 中发现的比较器实现：

乍一看该比较器实现不存在问题，但是如果 tag1 = Integer.MIN_VALUE = -2147483648, tag2 为大于 0 的数字如 1，则此时 tag1 - tag2 = 2147483647，但是按照 java.util.Comparator#compare 的定义，tag1 小于 tag2 时，应该返回一个负数，以上写法在遇到这样的示例数据时将导致排序结果错乱，引发相关 bug。

下面看看 Spring 中比较器的实现，在 Spring 中，提供了 @Order 注解用于指定 bean 的顺序，默认值为 Ordered.LOWEST_PRECEDENCE = Integer.MAX_VALUE，即在排序时排在最后，相关源码如下：

对应的比较器实现如下：

可知其采用的 Integer.compare 方法对两个整数进行比较操作，查看 Integer#compare 方法的源码：

/**
 * Compares two {@code int} values numerically.
 * The value returned is identical to what would be returned by:
 * <pre>
 *    Integer.valueOf(x).compareTo(Integer.valueOf(y))
 * </pre>
 *
 * @param  x the first {@code int} to compare
 * @param  y the second {@code int} to compare
 * @return the value {@code 0} if {@code x == y};
 *         a value less than {@code 0} if {@code x < y}; and
 *         a value greater than {@code 0} if {@code x > y}
 * @since 1.7
 */
public static int compare(int x, int y) {
    return (x < y) ? -1 : ((x == y) ? 0 : 1);
}

可知 java.lang.Integer#compare 并未采取 x - y 的方式进行比较，而是使用小于及等于运算符直接进行比较，规避了潜在的整数越界问题。 那么文首代码正确的实现方式应为 return Integer.compare(tag1, tag2)。如果查看 JDK 中常见数值类的源码，可知均提供了静态的 compare 方法，如：java.lang.Long#compare，java.lang.Double#compare，此处不再赘述。