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}