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}