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