001/*
002 * Copyright (C) 2008 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.checkElementIndex;
019import static com.google.common.base.Preconditions.checkNotNull;
020import static com.google.common.base.Preconditions.checkPositionIndexes;
021import static com.google.common.base.Strings.lenientFormat;
022import static java.lang.Float.NEGATIVE_INFINITY;
023import static java.lang.Float.POSITIVE_INFINITY;
024
025import com.google.common.annotations.Beta;
026import com.google.common.annotations.GwtCompatible;
027import com.google.common.annotations.GwtIncompatible;
028import com.google.common.base.Converter;
029import java.io.Serializable;
030import java.util.AbstractList;
031import java.util.Arrays;
032import java.util.Collection;
033import java.util.Collections;
034import java.util.Comparator;
035import java.util.List;
036import java.util.RandomAccess;
037import org.checkerframework.checker.nullness.qual.Nullable;
038
039/**
040 * Static utility methods pertaining to {@code float} primitives, that are not already found in
041 * either {@link Float} or {@link Arrays}.
042 *
043 * <p>See the Guava User Guide article on <a
044 * href="https://github.com/google/guava/wiki/PrimitivesExplained">primitive utilities</a>.
045 *
046 * @author Kevin Bourrillion
047 * @since 1.0
048 */
049@GwtCompatible(emulated = true)
050public final class Floats extends FloatsMethodsForWeb {
051  private Floats() {}
052
053  /**
054   * The number of bytes required to represent a primitive {@code float} value.
055   *
056   * <p><b>Java 8 users:</b> use {@link Float#BYTES} instead.
057   *
058   * @since 10.0
059   */
060  public static final int BYTES = Float.SIZE / Byte.SIZE;
061
062  /**
063   * Returns a hash code for {@code value}; equal to the result of invoking {@code ((Float)
064   * value).hashCode()}.
065   *
066   * <p><b>Java 8 users:</b> use {@link Float#hashCode(float)} instead.
067   *
068   * @param value a primitive {@code float} value
069   * @return a hash code for the value
070   */
071  public static int hashCode(float value) {
072    // TODO(kevinb): is there a better way, that's still gwt-safe?
073    return ((Float) value).hashCode();
074  }
075
076  /**
077   * Compares the two specified {@code float} values using {@link Float#compare(float, float)}. You
078   * may prefer to invoke that method directly; this method exists only for consistency with the
079   * other utilities in this package.
080   *
081   * <p><b>Note:</b> this method simply delegates to the JDK method {@link Float#compare}. It is
082   * provided for consistency with the other primitive types, whose compare methods were not added
083   * to the JDK until JDK 7.
084   *
085   * @param a the first {@code float} to compare
086   * @param b the second {@code float} to compare
087   * @return the result of invoking {@link Float#compare(float, float)}
088   */
089  public static int compare(float a, float b) {
090    return Float.compare(a, b);
091  }
092
093  /**
094   * Returns {@code true} if {@code value} represents a real number. This is equivalent to, but not
095   * necessarily implemented as, {@code !(Float.isInfinite(value) || Float.isNaN(value))}.
096   *
097   * <p><b>Java 8 users:</b> use {@link Float#isFinite(float)} instead.
098   *
099   * @since 10.0
100   */
101  public static boolean isFinite(float value) {
102    return NEGATIVE_INFINITY < value && value < POSITIVE_INFINITY;
103  }
104
105  /**
106   * Returns {@code true} if {@code target} is present as an element anywhere in {@code array}. Note
107   * that this always returns {@code false} when {@code target} is {@code NaN}.
108   *
109   * @param array an array of {@code float} values, possibly empty
110   * @param target a primitive {@code float} value
111   * @return {@code true} if {@code array[i] == target} for some value of {@code i}
112   */
113  public static boolean contains(float[] array, float target) {
114    for (float value : array) {
115      if (value == target) {
116        return true;
117      }
118    }
119    return false;
120  }
121
122  /**
123   * Returns the index of the first appearance of the value {@code target} in {@code array}. Note
124   * that this always returns {@code -1} when {@code target} is {@code NaN}.
125   *
126   * @param array an array of {@code float} values, possibly empty
127   * @param target a primitive {@code float} value
128   * @return the least index {@code i} for which {@code array[i] == target}, or {@code -1} if no
129   *     such index exists.
130   */
131  public static int indexOf(float[] array, float target) {
132    return indexOf(array, target, 0, array.length);
133  }
134
135  // TODO(kevinb): consider making this public
136  private static int indexOf(float[] array, float target, int start, int end) {
137    for (int i = start; i < end; i++) {
138      if (array[i] == target) {
139        return i;
140      }
141    }
142    return -1;
143  }
144
145  /**
146   * Returns the start position of the first occurrence of the specified {@code target} within
147   * {@code array}, or {@code -1} if there is no such occurrence.
148   *
149   * <p>More formally, returns the lowest index {@code i} such that {@code Arrays.copyOfRange(array,
150   * i, i + target.length)} contains exactly the same elements as {@code target}.
151   *
152   * <p>Note that this always returns {@code -1} when {@code target} contains {@code NaN}.
153   *
154   * @param array the array to search for the sequence {@code target}
155   * @param target the array to search for as a sub-sequence of {@code array}
156   */
157  public static int indexOf(float[] array, float[] target) {
158    checkNotNull(array, "array");
159    checkNotNull(target, "target");
160    if (target.length == 0) {
161      return 0;
162    }
163
164    outer:
165    for (int i = 0; i < array.length - target.length + 1; i++) {
166      for (int j = 0; j < target.length; j++) {
167        if (array[i + j] != target[j]) {
168          continue outer;
169        }
170      }
171      return i;
172    }
173    return -1;
174  }
175
176  /**
177   * Returns the index of the last appearance of the value {@code target} in {@code array}. Note
178   * that this always returns {@code -1} when {@code target} is {@code NaN}.
179   *
180   * @param array an array of {@code float} values, possibly empty
181   * @param target a primitive {@code float} value
182   * @return the greatest index {@code i} for which {@code array[i] == target}, or {@code -1} if no
183   *     such index exists.
184   */
185  public static int lastIndexOf(float[] array, float target) {
186    return lastIndexOf(array, target, 0, array.length);
187  }
188
189  // TODO(kevinb): consider making this public
190  private static int lastIndexOf(float[] array, float target, int start, int end) {
191    for (int i = end - 1; i >= start; i--) {
192      if (array[i] == target) {
193        return i;
194      }
195    }
196    return -1;
197  }
198
199  /**
200   * Returns the least value present in {@code array}, using the same rules of comparison as {@link
201   * Math#min(float, float)}.
202   *
203   * @param array a <i>nonempty</i> array of {@code float} values
204   * @return the value present in {@code array} that is less than or equal to every other value in
205   *     the array
206   * @throws IllegalArgumentException if {@code array} is empty
207   */
208  @GwtIncompatible(
209      "Available in GWT! Annotation is to avoid conflict with GWT specialization of base class.")
210  public static float min(float... array) {
211    checkArgument(array.length > 0);
212    float min = array[0];
213    for (int i = 1; i < array.length; i++) {
214      min = Math.min(min, array[i]);
215    }
216    return min;
217  }
218
219  /**
220   * Returns the greatest value present in {@code array}, using the same rules of comparison as
221   * {@link Math#max(float, float)}.
222   *
223   * @param array a <i>nonempty</i> array of {@code float} values
224   * @return the value present in {@code array} that is greater than or equal to every other value
225   *     in the array
226   * @throws IllegalArgumentException if {@code array} is empty
227   */
228  @GwtIncompatible(
229      "Available in GWT! Annotation is to avoid conflict with GWT specialization of base class.")
230  public static float max(float... array) {
231    checkArgument(array.length > 0);
232    float max = array[0];
233    for (int i = 1; i < array.length; i++) {
234      max = Math.max(max, array[i]);
235    }
236    return max;
237  }
238
239  /**
240   * Returns the value nearest to {@code value} which is within the closed range {@code [min..max]}.
241   *
242   * <p>If {@code value} is within the range {@code [min..max]}, {@code value} is returned
243   * unchanged. If {@code value} is less than {@code min}, {@code min} is returned, and if {@code
244   * value} is greater than {@code max}, {@code max} is returned.
245   *
246   * @param value the {@code float} value to constrain
247   * @param min the lower bound (inclusive) of the range to constrain {@code value} to
248   * @param max the upper bound (inclusive) of the range to constrain {@code value} to
249   * @throws IllegalArgumentException if {@code min > max}
250   * @since 21.0
251   */
252  @Beta
253  public static float constrainToRange(float value, float min, float max) {
254    // avoid auto-boxing by not using Preconditions.checkArgument(); see Guava issue 3984
255    // Reject NaN by testing for the good case (min <= max) instead of the bad (min > max).
256    if (min <= max) {
257      return Math.min(Math.max(value, min), max);
258    }
259    throw new IllegalArgumentException(
260        lenientFormat("min (%s) must be less than or equal to max (%s)", min, max));
261  }
262
263  /**
264   * Returns the values from each provided array combined into a single array. For example, {@code
265   * concat(new float[] {a, b}, new float[] {}, new float[] {c}} returns the array {@code {a, b,
266   * c}}.
267   *
268   * @param arrays zero or more {@code float} arrays
269   * @return a single array containing all the values from the source arrays, in order
270   */
271  public static float[] concat(float[]... arrays) {
272    int length = 0;
273    for (float[] array : arrays) {
274      length += array.length;
275    }
276    float[] result = new float[length];
277    int pos = 0;
278    for (float[] array : arrays) {
279      System.arraycopy(array, 0, result, pos, array.length);
280      pos += array.length;
281    }
282    return result;
283  }
284
285  private static final class FloatConverter extends Converter<String, Float>
286      implements Serializable {
287    static final FloatConverter INSTANCE = new FloatConverter();
288
289    @Override
290    protected Float doForward(String value) {
291      return Float.valueOf(value);
292    }
293
294    @Override
295    protected String doBackward(Float value) {
296      return value.toString();
297    }
298
299    @Override
300    public String toString() {
301      return "Floats.stringConverter()";
302    }
303
304    private Object readResolve() {
305      return INSTANCE;
306    }
307
308    private static final long serialVersionUID = 1;
309  }
310
311  /**
312   * Returns a serializable converter object that converts between strings and floats using {@link
313   * Float#valueOf} and {@link Float#toString()}.
314   *
315   * @since 16.0
316   */
317  @Beta
318  public static Converter<String, Float> stringConverter() {
319    return FloatConverter.INSTANCE;
320  }
321
322  /**
323   * Returns an array containing the same values as {@code array}, but guaranteed to be of a
324   * specified minimum length. If {@code array} already has a length of at least {@code minLength},
325   * it is returned directly. Otherwise, a new array of size {@code minLength + padding} is
326   * returned, containing the values of {@code array}, and zeroes in the remaining places.
327   *
328   * @param array the source array
329   * @param minLength the minimum length the returned array must guarantee
330   * @param padding an extra amount to "grow" the array by if growth is necessary
331   * @throws IllegalArgumentException if {@code minLength} or {@code padding} is negative
332   * @return an array containing the values of {@code array}, with guaranteed minimum length {@code
333   *     minLength}
334   */
335  public static float[] ensureCapacity(float[] array, int minLength, int padding) {
336    checkArgument(minLength >= 0, "Invalid minLength: %s", minLength);
337    checkArgument(padding >= 0, "Invalid padding: %s", padding);
338    return (array.length < minLength) ? Arrays.copyOf(array, minLength + padding) : array;
339  }
340
341  /**
342   * Returns a string containing the supplied {@code float} values, converted to strings as
343   * specified by {@link Float#toString(float)}, and separated by {@code separator}. For example,
344   * {@code join("-", 1.0f, 2.0f, 3.0f)} returns the string {@code "1.0-2.0-3.0"}.
345   *
346   * <p>Note that {@link Float#toString(float)} formats {@code float} differently in GWT. In the
347   * previous example, it returns the string {@code "1-2-3"}.
348   *
349   * @param separator the text that should appear between consecutive values in the resulting string
350   *     (but not at the start or end)
351   * @param array an array of {@code float} values, possibly empty
352   */
353  public static String join(String separator, float... array) {
354    checkNotNull(separator);
355    if (array.length == 0) {
356      return "";
357    }
358
359    // For pre-sizing a builder, just get the right order of magnitude
360    StringBuilder builder = new StringBuilder(array.length * 12);
361    builder.append(array[0]);
362    for (int i = 1; i < array.length; i++) {
363      builder.append(separator).append(array[i]);
364    }
365    return builder.toString();
366  }
367
368  /**
369   * Returns a comparator that compares two {@code float} arrays <a
370   * href="http://en.wikipedia.org/wiki/Lexicographical_order">lexicographically</a>. That is, it
371   * compares, using {@link #compare(float, float)}), the first pair of values that follow any
372   * common prefix, or when one array is a prefix of the other, treats the shorter array as the
373   * lesser. For example, {@code [] < [1.0f] < [1.0f, 2.0f] < [2.0f]}.
374   *
375   * <p>The returned comparator is inconsistent with {@link Object#equals(Object)} (since arrays
376   * support only identity equality), but it is consistent with {@link Arrays#equals(float[],
377   * float[])}.
378   *
379   * @since 2.0
380   */
381  public static Comparator<float[]> lexicographicalComparator() {
382    return LexicographicalComparator.INSTANCE;
383  }
384
385  private enum LexicographicalComparator implements Comparator<float[]> {
386    INSTANCE;
387
388    @Override
389    public int compare(float[] left, float[] right) {
390      int minLength = Math.min(left.length, right.length);
391      for (int i = 0; i < minLength; i++) {
392        int result = Float.compare(left[i], right[i]);
393        if (result != 0) {
394          return result;
395        }
396      }
397      return left.length - right.length;
398    }
399
400    @Override
401    public String toString() {
402      return "Floats.lexicographicalComparator()";
403    }
404  }
405
406  /**
407   * Sorts the elements of {@code array} in descending order.
408   *
409   * <p>Note that this method uses the total order imposed by {@link Float#compare}, which treats
410   * all NaN values as equal and 0.0 as greater than -0.0.
411   *
412   * @since 23.1
413   */
414  public static void sortDescending(float[] array) {
415    checkNotNull(array);
416    sortDescending(array, 0, array.length);
417  }
418
419  /**
420   * Sorts the elements of {@code array} between {@code fromIndex} inclusive and {@code toIndex}
421   * exclusive in descending order.
422   *
423   * <p>Note that this method uses the total order imposed by {@link Float#compare}, which treats
424   * all NaN values as equal and 0.0 as greater than -0.0.
425   *
426   * @since 23.1
427   */
428  public static void sortDescending(float[] array, int fromIndex, int toIndex) {
429    checkNotNull(array);
430    checkPositionIndexes(fromIndex, toIndex, array.length);
431    Arrays.sort(array, fromIndex, toIndex);
432    reverse(array, fromIndex, toIndex);
433  }
434
435  /**
436   * Reverses the elements of {@code array}. This is equivalent to {@code
437   * Collections.reverse(Floats.asList(array))}, but is likely to be more efficient.
438   *
439   * @since 23.1
440   */
441  public static void reverse(float[] array) {
442    checkNotNull(array);
443    reverse(array, 0, array.length);
444  }
445
446  /**
447   * Reverses the elements of {@code array} between {@code fromIndex} inclusive and {@code toIndex}
448   * exclusive. This is equivalent to {@code
449   * Collections.reverse(Floats.asList(array).subList(fromIndex, toIndex))}, but is likely to be
450   * more efficient.
451   *
452   * @throws IndexOutOfBoundsException if {@code fromIndex < 0}, {@code toIndex > array.length}, or
453   *     {@code toIndex > fromIndex}
454   * @since 23.1
455   */
456  public static void reverse(float[] array, int fromIndex, int toIndex) {
457    checkNotNull(array);
458    checkPositionIndexes(fromIndex, toIndex, array.length);
459    for (int i = fromIndex, j = toIndex - 1; i < j; i++, j--) {
460      float tmp = array[i];
461      array[i] = array[j];
462      array[j] = tmp;
463    }
464  }
465
466  /**
467   * Returns an array containing each value of {@code collection}, converted to a {@code float}
468   * value in the manner of {@link Number#floatValue}.
469   *
470   * <p>Elements are copied from the argument collection as if by {@code collection.toArray()}.
471   * Calling this method is as thread-safe as calling that method.
472   *
473   * @param collection a collection of {@code Number} instances
474   * @return an array containing the same values as {@code collection}, in the same order, converted
475   *     to primitives
476   * @throws NullPointerException if {@code collection} or any of its elements is null
477   * @since 1.0 (parameter was {@code Collection<Float>} before 12.0)
478   */
479  public static float[] toArray(Collection<? extends Number> collection) {
480    if (collection instanceof FloatArrayAsList) {
481      return ((FloatArrayAsList) collection).toFloatArray();
482    }
483
484    Object[] boxedArray = collection.toArray();
485    int len = boxedArray.length;
486    float[] array = new float[len];
487    for (int i = 0; i < len; i++) {
488      // checkNotNull for GWT (do not optimize)
489      array[i] = ((Number) checkNotNull(boxedArray[i])).floatValue();
490    }
491    return array;
492  }
493
494  /**
495   * Returns a fixed-size list backed by the specified array, similar to {@link
496   * Arrays#asList(Object[])}. The list supports {@link List#set(int, Object)}, but any attempt to
497   * set a value to {@code null} will result in a {@link NullPointerException}.
498   *
499   * <p>The returned list maintains the values, but not the identities, of {@code Float} objects
500   * written to or read from it. For example, whether {@code list.get(0) == list.get(0)} is true for
501   * the returned list is unspecified.
502   *
503   * <p>The returned list may have unexpected behavior if it contains {@code NaN}, or if {@code NaN}
504   * is used as a parameter to any of its methods.
505   *
506   * @param backingArray the array to back the list
507   * @return a list view of the array
508   */
509  public static List<Float> asList(float... backingArray) {
510    if (backingArray.length == 0) {
511      return Collections.emptyList();
512    }
513    return new FloatArrayAsList(backingArray);
514  }
515
516  @GwtCompatible
517  private static class FloatArrayAsList extends AbstractList<Float>
518      implements RandomAccess, Serializable {
519    final float[] array;
520    final int start;
521    final int end;
522
523    FloatArrayAsList(float[] array) {
524      this(array, 0, array.length);
525    }
526
527    FloatArrayAsList(float[] array, int start, int end) {
528      this.array = array;
529      this.start = start;
530      this.end = end;
531    }
532
533    @Override
534    public int size() {
535      return end - start;
536    }
537
538    @Override
539    public boolean isEmpty() {
540      return false;
541    }
542
543    @Override
544    public Float get(int index) {
545      checkElementIndex(index, size());
546      return array[start + index];
547    }
548
549    @Override
550    public boolean contains(Object target) {
551      // Overridden to prevent a ton of boxing
552      return (target instanceof Float) && Floats.indexOf(array, (Float) target, start, end) != -1;
553    }
554
555    @Override
556    public int indexOf(Object target) {
557      // Overridden to prevent a ton of boxing
558      if (target instanceof Float) {
559        int i = Floats.indexOf(array, (Float) target, start, end);
560        if (i >= 0) {
561          return i - start;
562        }
563      }
564      return -1;
565    }
566
567    @Override
568    public int lastIndexOf(Object target) {
569      // Overridden to prevent a ton of boxing
570      if (target instanceof Float) {
571        int i = Floats.lastIndexOf(array, (Float) target, start, end);
572        if (i >= 0) {
573          return i - start;
574        }
575      }
576      return -1;
577    }
578
579    @Override
580    public Float set(int index, Float element) {
581      checkElementIndex(index, size());
582      float oldValue = array[start + index];
583      // checkNotNull for GWT (do not optimize)
584      array[start + index] = checkNotNull(element);
585      return oldValue;
586    }
587
588    @Override
589    public List<Float> subList(int fromIndex, int toIndex) {
590      int size = size();
591      checkPositionIndexes(fromIndex, toIndex, size);
592      if (fromIndex == toIndex) {
593        return Collections.emptyList();
594      }
595      return new FloatArrayAsList(array, start + fromIndex, start + toIndex);
596    }
597
598    @Override
599    public boolean equals(@Nullable Object object) {
600      if (object == this) {
601        return true;
602      }
603      if (object instanceof FloatArrayAsList) {
604        FloatArrayAsList that = (FloatArrayAsList) object;
605        int size = size();
606        if (that.size() != size) {
607          return false;
608        }
609        for (int i = 0; i < size; i++) {
610          if (array[start + i] != that.array[that.start + i]) {
611            return false;
612          }
613        }
614        return true;
615      }
616      return super.equals(object);
617    }
618
619    @Override
620    public int hashCode() {
621      int result = 1;
622      for (int i = start; i < end; i++) {
623        result = 31 * result + Floats.hashCode(array[i]);
624      }
625      return result;
626    }
627
628    @Override
629    public String toString() {
630      StringBuilder builder = new StringBuilder(size() * 12);
631      builder.append('[').append(array[start]);
632      for (int i = start + 1; i < end; i++) {
633        builder.append(", ").append(array[i]);
634      }
635      return builder.append(']').toString();
636    }
637
638    float[] toFloatArray() {
639      return Arrays.copyOfRange(array, start, end);
640    }
641
642    private static final long serialVersionUID = 0;
643  }
644
645  /**
646   * Parses the specified string as a single-precision floating point value. The ASCII character
647   * {@code '-'} (<code>'&#92;u002D'</code>) is recognized as the minus sign.
648   *
649   * <p>Unlike {@link Float#parseFloat(String)}, this method returns {@code null} instead of
650   * throwing an exception if parsing fails. Valid inputs are exactly those accepted by {@link
651   * Float#valueOf(String)}, except that leading and trailing whitespace is not permitted.
652   *
653   * <p>This implementation is likely to be faster than {@code Float.parseFloat} if many failures
654   * are expected.
655   *
656   * @param string the string representation of a {@code float} value
657   * @return the floating point value represented by {@code string}, or {@code null} if {@code
658   *     string} has a length of zero or cannot be parsed as a {@code float} value
659   * @throws NullPointerException if {@code string} is {@code null}
660   * @since 14.0
661   */
662  @Beta
663  @GwtIncompatible // regular expressions
664  public static @Nullable Float tryParse(String string) {
665    if (Doubles.FLOATING_POINT_PATTERN.matcher(string).matches()) {
666      // TODO(lowasser): could be potentially optimized, but only with
667      // extensive testing
668      try {
669        return Float.parseFloat(string);
670      } catch (NumberFormatException e) {
671        // Float.parseFloat has changed specs several times, so fall through
672        // gracefully
673      }
674    }
675    return null;
676  }
677}