严防Math.abs()返回负数

最近有个线上spark streaming程序跑着跑着就挂了，调查了一番，发现了一个平时大家都不太注意的问题。

看了日志，抛出的异常如下：

java.lang.ArrayIndexOutOfBoundsException: -2
      at com.xiaomi.poppy.hbase.HBaseUtil.getHashPrefix(HBaseUtil.java:58)
     at com.xiaomi.xmpush.spark.hbase.HBaseProcessor.buildRowKey(HBaseProcessor.java:220)
    at com.xiaomi.xmpush.spark.hbase.HBaseProcessor.buildRequest(HBaseProcessor.java:203)
  at com.xiaomi.xmpush.spark.hbase.HBaseProcessor.writeCounter(HBaseProcessor.java:126)
        at com.xiaomi.xmpush.main.PushSparkStatMain$4$1.call(PushSparkStatMain.java:102)
   at com.xiaomi.xmpush.main.PushSparkStatMain$4$1.call(PushSparkStatMain.java:97)
       at org.apache.spark.api.java.JavaRDDLike$$anonfun$foreach$1.apply(JavaRDDLike.scala:330)
  at org.apache.spark.api.java.JavaRDDLike$$anonfun$foreach$1.apply(JavaRDDLike.scala:330)
     at scala.collection.Iterator$class.foreach(Iterator.scala:727)
  at scala.collection.AbstractIterator.foreach(Iterator.scala:1157)
    at org.apache.spark.rdd.RDD$$anonfun$foreach$1$$anonfun$apply$28.apply(RDD.scala:894)
  at org.apache.spark.rdd.RDD$$anonfun$foreach$1$$anonfun$apply$28.apply(RDD.scala:894)
        at org.apache.spark.SparkContext$$anonfun$runJob$5.apply(SparkContext.scala:1854)
  at org.apache.spark.SparkContext$$anonfun$runJob$5.apply(SparkContext.scala:1854)
    at org.apache.spark.scheduler.ResultTask.runTask(ResultTask.scala:66)

找到出错代码如下：

public static String getHashPrefix(String input, int length) {
    int hash = Math.abs(getHashCodeForString(input));
    final int radix = CHAR_MAP.length;
    StringBuffer sb = new StringBuffer();
    for (int index = 0; index < length; ++index) {
        sb.append(CHAR_MAP[hash % radix]);
        hash /= radix;
    }
    return sb.toString();
}

具体来说就是 sb.append(CHAR_MAP[hash % radix]); 这句中的 hash % radix 得到了一个负数（-2），导致数组越界。

好奇怪啊，这里的 hash 是一个绝对值，按理来说是非负数才对，而 radix 是一个数组的长度，已经固定为62了， hash % radix 怎么可能为负数。

先别下结论，我们首先知道的是：模运算的值如果为负数，则两个运算数必须要有一个为负数，并且我们可以百分之百肯定radix不可能为负数，所以按照神探福尔摩斯所说的： 排除一切不可能的，剩下的即使再不可能，那也是真相 ，那我们就先把『真相』的帽子戴在这个绝对值的头上。

去看了一下JDK中关于Math.abs的文档：

/**
    * Returns the absolute value of an {@code int} value.
    * If the argument is not negative, the argument is returned.
    * If the argument is negative, the negation of the argument is returned.
    *
    * <p>Note that if the argument is equal to the value of
    * {@link Integer#MIN_VALUE}, the most negative representable
    * {@code int} value, the result is that same value, which is
    * negative.
    *
    * @param   a   the argument whose absolute value is to be determined
    * @return  the absolute value of the argument.
    */
   public static int abs(int a) {
       return (a < 0) ? -a : a;
   }

果然找到了真相：如果是对Integer(Long也一样)取绝对值，如果原值是Integer.MIN_VALUE，则得到的绝对值和原值相等，是一个负数。为什么呢？因为你看看abs的实现，它很简单，如果原值是正数，直接返回，如果是负数，就简单地在前面加个负号。然而Integer的范围是[-2147483648,2147483647]，如果原值是最小的值取反之后不就越界了嘛。

空口无凭，我们做个试验：