001/* 002 * Copyright (C) 2011 The Guava Authors 003 * 004 * Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except 005 * in compliance with the License. You may obtain a copy of the License at 006 * 007 * http://www.apache.org/licenses/LICENSE-2.0 008 * 009 * Unless required by applicable law or agreed to in writing, software distributed under the License 010 * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express 011 * or implied. See the License for the specific language governing permissions and limitations under 012 * the License. 013 */ 014 015package com.google.common.primitives; 016 017import static com.google.common.base.Preconditions.checkArgument; 018import static com.google.common.base.Preconditions.checkNotNull; 019import static com.google.common.base.Preconditions.checkPositionIndexes; 020 021import com.google.common.annotations.GwtCompatible; 022import com.google.errorprone.annotations.CanIgnoreReturnValue; 023import java.util.Arrays; 024import java.util.Comparator; 025 026/** 027 * Static utility methods pertaining to {@code int} primitives that interpret values as 028 * <i>unsigned</i> (that is, any negative value {@code x} is treated as the positive value {@code 029 * 2^32 + x}). The methods for which signedness is not an issue are in {@link Ints}, as well as 030 * signed versions of methods for which signedness is an issue. 031 * 032 * <p>In addition, this class provides several static methods for converting an {@code int} to a 033 * {@code String} and a {@code String} to an {@code int} that treat the {@code int} as an unsigned 034 * number. 035 * 036 * <p>Users of these utilities must be <i>extremely careful</i> not to mix up signed and unsigned 037 * {@code int} values. When possible, it is recommended that the {@link UnsignedInteger} wrapper 038 * class be used, at a small efficiency penalty, to enforce the distinction in the type system. 039 * 040 * <p>See the Guava User Guide article on <a 041 * href="https://github.com/google/guava/wiki/PrimitivesExplained#unsigned-support">unsigned 042 * primitive utilities</a>. 043 * 044 * @author Louis Wasserman 045 * @since 11.0 046 */ 047@GwtCompatible 048public final class UnsignedInts { 049 static final long INT_MASK = 0xffffffffL; 050 051 private UnsignedInts() {} 052 053 static int flip(int value) { 054 return value ^ Integer.MIN_VALUE; 055 } 056 057 /** 058 * Compares the two specified {@code int} values, treating them as unsigned values between {@code 059 * 0} and {@code 2^32 - 1} inclusive. 060 * 061 * <p><b>Note:</b> this method is now unnecessary and should be treated as deprecated; use the 062 * equivalent {@link Integer#compareUnsigned(int, int)} method instead. 063 * 064 * @param a the first unsigned {@code int} to compare 065 * @param b the second unsigned {@code int} to compare 066 * @return a negative value if {@code a} is less than {@code b}; a positive value if {@code a} is 067 * greater than {@code b}; or zero if they are equal 068 */ 069 public static int compare(int a, int b) { 070 return Ints.compare(flip(a), flip(b)); 071 } 072 073 /** 074 * Returns the value of the given {@code int} as a {@code long}, when treated as unsigned. 075 * 076 * <p><b>Java 8+ users:</b> use {@link Integer#toUnsignedLong(int)} instead. 077 */ 078 public static long toLong(int value) { 079 return value & INT_MASK; 080 } 081 082 /** 083 * Returns the {@code int} value that, when treated as unsigned, is equal to {@code value}, if 084 * possible. 085 * 086 * @param value a value between 0 and 2<sup>32</sup>-1 inclusive 087 * @return the {@code int} value that, when treated as unsigned, equals {@code value} 088 * @throws IllegalArgumentException if {@code value} is negative or greater than or equal to 089 * 2<sup>32</sup> 090 * @since 21.0 091 */ 092 public static int checkedCast(long value) { 093 checkArgument((value >> Integer.SIZE) == 0, "out of range: %s", value); 094 return (int) value; 095 } 096 097 /** 098 * Returns the {@code int} value that, when treated as unsigned, is nearest in value to {@code 099 * value}. 100 * 101 * @param value any {@code long} value 102 * @return {@code 2^32 - 1} if {@code value >= 2^32}, {@code 0} if {@code value <= 0}, and {@code 103 * value} cast to {@code int} otherwise 104 * @since 21.0 105 */ 106 public static int saturatedCast(long value) { 107 if (value <= 0) { 108 return 0; 109 } else if (value >= (1L << 32)) { 110 return -1; 111 } else { 112 return (int) value; 113 } 114 } 115 116 /** 117 * Returns the least value present in {@code array}, treating values as unsigned. 118 * 119 * @param array a <i>nonempty</i> array of unsigned {@code int} values 120 * @return the value present in {@code array} that is less than or equal to every other value in 121 * the array according to {@link #compare} 122 * @throws IllegalArgumentException if {@code array} is empty 123 */ 124 public static int min(int... array) { 125 checkArgument(array.length > 0); 126 int min = flip(array[0]); 127 for (int i = 1; i < array.length; i++) { 128 int next = flip(array[i]); 129 if (next < min) { 130 min = next; 131 } 132 } 133 return flip(min); 134 } 135 136 /** 137 * Returns the greatest value present in {@code array}, treating values as unsigned. 138 * 139 * @param array a <i>nonempty</i> array of unsigned {@code int} values 140 * @return the value present in {@code array} that is greater than or equal to every other value 141 * in the array according to {@link #compare} 142 * @throws IllegalArgumentException if {@code array} is empty 143 */ 144 public static int max(int... array) { 145 checkArgument(array.length > 0); 146 int max = flip(array[0]); 147 for (int i = 1; i < array.length; i++) { 148 int next = flip(array[i]); 149 if (next > max) { 150 max = next; 151 } 152 } 153 return flip(max); 154 } 155 156 /** 157 * Returns a string containing the supplied unsigned {@code int} values separated by {@code 158 * separator}. For example, {@code join("-", 1, 2, 3)} returns the string {@code "1-2-3"}. 159 * 160 * @param separator the text that should appear between consecutive values in the resulting string 161 * (but not at the start or end) 162 * @param array an array of unsigned {@code int} values, possibly empty 163 */ 164 public static String join(String separator, int... array) { 165 checkNotNull(separator); 166 if (array.length == 0) { 167 return ""; 168 } 169 170 // For pre-sizing a builder, just get the right order of magnitude 171 StringBuilder builder = new StringBuilder(array.length * 5); 172 builder.append(toString(array[0])); 173 for (int i = 1; i < array.length; i++) { 174 builder.append(separator).append(toString(array[i])); 175 } 176 return builder.toString(); 177 } 178 179 /** 180 * Returns a comparator that compares two arrays of unsigned {@code int} values <a 181 * href="http://en.wikipedia.org/wiki/Lexicographical_order">lexicographically</a>. That is, it 182 * compares, using {@link #compare(int, int)}), the first pair of values that follow any common 183 * prefix, or when one array is a prefix of the other, treats the shorter array as the lesser. For 184 * example, {@code [] < [1] < [1, 2] < [2] < [1 << 31]}. 185 * 186 * <p>The returned comparator is inconsistent with {@link Object#equals(Object)} (since arrays 187 * support only identity equality), but it is consistent with {@link Arrays#equals(int[], int[])}. 188 */ 189 public static Comparator<int[]> lexicographicalComparator() { 190 return LexicographicalComparator.INSTANCE; 191 } 192 193 enum LexicographicalComparator implements Comparator<int[]> { 194 INSTANCE; 195 196 @Override 197 // A call to bare "min" or "max" would resolve to our varargs method, not to any static import. 198 @SuppressWarnings("StaticImportPreferred") 199 public int compare(int[] left, int[] right) { 200 int minLength = Math.min(left.length, right.length); 201 for (int i = 0; i < minLength; i++) { 202 if (left[i] != right[i]) { 203 return UnsignedInts.compare(left[i], right[i]); 204 } 205 } 206 return left.length - right.length; 207 } 208 209 @Override 210 public String toString() { 211 return "UnsignedInts.lexicographicalComparator()"; 212 } 213 } 214 215 /** 216 * Sorts the array, treating its elements as unsigned 32-bit integers. 217 * 218 * @since 23.1 219 */ 220 public static void sort(int[] array) { 221 checkNotNull(array); 222 sort(array, 0, array.length); 223 } 224 225 /** 226 * Sorts the array between {@code fromIndex} inclusive and {@code toIndex} exclusive, treating its 227 * elements as unsigned 32-bit integers. 228 * 229 * @since 23.1 230 */ 231 public static void sort(int[] array, int fromIndex, int toIndex) { 232 checkNotNull(array); 233 checkPositionIndexes(fromIndex, toIndex, array.length); 234 for (int i = fromIndex; i < toIndex; i++) { 235 array[i] = flip(array[i]); 236 } 237 Arrays.sort(array, fromIndex, toIndex); 238 for (int i = fromIndex; i < toIndex; i++) { 239 array[i] = flip(array[i]); 240 } 241 } 242 243 /** 244 * Sorts the elements of {@code array} in descending order, interpreting them as unsigned 32-bit 245 * integers. 246 * 247 * @since 23.1 248 */ 249 public static void sortDescending(int[] array) { 250 checkNotNull(array); 251 sortDescending(array, 0, array.length); 252 } 253 254 /** 255 * Sorts the elements of {@code array} between {@code fromIndex} inclusive and {@code toIndex} 256 * exclusive in descending order, interpreting them as unsigned 32-bit integers. 257 * 258 * @since 23.1 259 */ 260 public static void sortDescending(int[] array, int fromIndex, int toIndex) { 261 checkNotNull(array); 262 checkPositionIndexes(fromIndex, toIndex, array.length); 263 for (int i = fromIndex; i < toIndex; i++) { 264 array[i] ^= Integer.MAX_VALUE; 265 } 266 Arrays.sort(array, fromIndex, toIndex); 267 for (int i = fromIndex; i < toIndex; i++) { 268 array[i] ^= Integer.MAX_VALUE; 269 } 270 } 271 272 /** 273 * Returns dividend / divisor, where the dividend and divisor are treated as unsigned 32-bit 274 * quantities. 275 * 276 * <p><b>Java 8+ users:</b> use {@link Integer#divideUnsigned(int, int)} instead. 277 * 278 * @param dividend the dividend (numerator) 279 * @param divisor the divisor (denominator) 280 * @throws ArithmeticException if divisor is 0 281 */ 282 public static int divide(int dividend, int divisor) { 283 return (int) (toLong(dividend) / toLong(divisor)); 284 } 285 286 /** 287 * Returns dividend % divisor, where the dividend and divisor are treated as unsigned 32-bit 288 * quantities. 289 * 290 * <p><b>Java 8+ users:</b> use {@link Integer#remainderUnsigned(int, int)} instead. 291 * 292 * @param dividend the dividend (numerator) 293 * @param divisor the divisor (denominator) 294 * @throws ArithmeticException if divisor is 0 295 */ 296 public static int remainder(int dividend, int divisor) { 297 return (int) (toLong(dividend) % toLong(divisor)); 298 } 299 300 /** 301 * Returns the unsigned {@code int} value represented by the given string. 302 * 303 * <p>Accepts a decimal, hexadecimal, or octal number given by specifying the following prefix: 304 * 305 * <ul> 306 * <li>{@code 0x}<i>HexDigits</i> 307 * <li>{@code 0X}<i>HexDigits</i> 308 * <li>{@code #}<i>HexDigits</i> 309 * <li>{@code 0}<i>OctalDigits</i> 310 * </ul> 311 * 312 * @throws NumberFormatException if the string does not contain a valid unsigned {@code int} value 313 * @since 13.0 314 */ 315 @CanIgnoreReturnValue 316 public static int decode(String stringValue) { 317 ParseRequest request = ParseRequest.fromString(stringValue); 318 319 try { 320 return parseUnsignedInt(request.rawValue, request.radix); 321 } catch (NumberFormatException e) { 322 NumberFormatException decodeException = 323 new NumberFormatException("Error parsing value: " + stringValue); 324 decodeException.initCause(e); 325 throw decodeException; 326 } 327 } 328 329 /** 330 * Returns the unsigned {@code int} value represented by the given decimal string. 331 * 332 * <p><b>Java 8+ users:</b> use {@link Integer#parseUnsignedInt(String)} instead. 333 * 334 * @throws NumberFormatException if the string does not contain a valid unsigned {@code int} value 335 * @throws NullPointerException if {@code s} is null (in contrast to {@link 336 * Integer#parseInt(String)}) 337 */ 338 @CanIgnoreReturnValue 339 public static int parseUnsignedInt(String s) { 340 return parseUnsignedInt(s, 10); 341 } 342 343 /** 344 * Returns the unsigned {@code int} value represented by a string with the given radix. 345 * 346 * <p><b>Java 8+ users:</b> use {@link Integer#parseUnsignedInt(String, int)} instead. 347 * 348 * @param string the string containing the unsigned integer representation to be parsed. 349 * @param radix the radix to use while parsing {@code s}; must be between {@link 350 * Character#MIN_RADIX} and {@link Character#MAX_RADIX}. 351 * @throws NumberFormatException if the string does not contain a valid unsigned {@code int}, or 352 * if supplied radix is invalid. 353 * @throws NullPointerException if {@code s} is null (in contrast to {@link 354 * Integer#parseInt(String)}) 355 */ 356 @CanIgnoreReturnValue 357 public static int parseUnsignedInt(String string, int radix) { 358 checkNotNull(string); 359 long result = Long.parseLong(string, radix); 360 if ((result & INT_MASK) != result) { 361 throw new NumberFormatException( 362 "Input " + string + " in base " + radix + " is not in the range of an unsigned integer"); 363 } 364 return (int) result; 365 } 366 367 /** 368 * Returns a string representation of x, where x is treated as unsigned. 369 * 370 * <p><b>Java 8+ users:</b> use {@link Integer#toUnsignedString(int)} instead. 371 */ 372 public static String toString(int x) { 373 return toString(x, 10); 374 } 375 376 /** 377 * Returns a string representation of {@code x} for the given radix, where {@code x} is treated as 378 * unsigned. 379 * 380 * <p><b>Java 8+ users:</b> use {@link Integer#toUnsignedString(int, int)} instead. 381 * 382 * @param x the value to convert to a string. 383 * @param radix the radix to use while working with {@code x} 384 * @throws IllegalArgumentException if {@code radix} is not between {@link Character#MIN_RADIX} 385 * and {@link Character#MAX_RADIX}. 386 */ 387 public static String toString(int x, int radix) { 388 long asLong = x & INT_MASK; 389 return Long.toString(asLong, radix); 390 } 391}