001/* 002 * Copyright (C) 2017 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; 019 020import com.google.common.annotations.GwtCompatible; 021import com.google.common.base.Preconditions; 022import com.google.errorprone.annotations.CanIgnoreReturnValue; 023import com.google.errorprone.annotations.Immutable; 024import java.io.Serializable; 025import java.util.AbstractList; 026import java.util.Arrays; 027import java.util.Collection; 028import java.util.List; 029import java.util.RandomAccess; 030import java.util.Spliterator; 031import java.util.Spliterators; 032import java.util.function.DoubleConsumer; 033import java.util.stream.DoubleStream; 034import javax.annotation.CheckForNull; 035 036/** 037 * An immutable array of {@code double} values, with an API resembling {@link List}. 038 * 039 * <p>Advantages compared to {@code double[]}: 040 * 041 * <ul> 042 * <li>All the many well-known advantages of immutability (read <i>Effective Java</i>, third 043 * edition, Item 17). 044 * <li>Has the value-based (not identity-based) {@link #equals}, {@link #hashCode}, and {@link 045 * #toString} behavior you expect. 046 * <li>Offers useful operations beyond just {@code get} and {@code length}, so you don't have to 047 * hunt through classes like {@link Arrays} and {@link Doubles} for them. 048 * <li>Supports a copy-free {@link #subArray} view, so methods that accept this type don't need to 049 * add overloads that accept start and end indexes. 050 * <li>Can be streamed without "breaking the chain": {@code foo.getBarDoubles().stream()...}. 051 * <li>Access to all collection-based utilities via {@link #asList} (though at the cost of 052 * allocating garbage). 053 * </ul> 054 * 055 * <p>Disadvantages compared to {@code double[]}: 056 * 057 * <ul> 058 * <li>Memory footprint has a fixed overhead (about 24 bytes per instance). 059 * <li><i>Some</i> construction use cases force the data to be copied (though several construction 060 * APIs are offered that don't). 061 * <li>Can't be passed directly to methods that expect {@code double[]} (though the most common 062 * utilities do have replacements here). 063 * <li>Dependency on {@code com.google.common} / Guava. 064 * </ul> 065 * 066 * <p>Advantages compared to {@link com.google.common.collect.ImmutableList ImmutableList}{@code 067 * <Double>}: 068 * 069 * <ul> 070 * <li>Improved memory compactness and locality. 071 * <li>Can be queried without allocating garbage. 072 * <li>Access to {@code DoubleStream} features (like {@link DoubleStream#sum}) using {@code 073 * stream()} instead of the awkward {@code stream().mapToDouble(v -> v)}. 074 * </ul> 075 * 076 * <p>Disadvantages compared to {@code ImmutableList<Double>}: 077 * 078 * <ul> 079 * <li>Can't be passed directly to methods that expect {@code Iterable}, {@code Collection}, or 080 * {@code List} (though the most common utilities do have replacements here, and there is a 081 * lazy {@link #asList} view). 082 * </ul> 083 * 084 * @since 22.0 085 */ 086@GwtCompatible 087@Immutable 088public final class ImmutableDoubleArray implements Serializable { 089 private static final ImmutableDoubleArray EMPTY = new ImmutableDoubleArray(new double[0]); 090 091 /** Returns the empty array. */ 092 public static ImmutableDoubleArray of() { 093 return EMPTY; 094 } 095 096 /** Returns an immutable array containing a single value. */ 097 public static ImmutableDoubleArray of(double e0) { 098 return new ImmutableDoubleArray(new double[] {e0}); 099 } 100 101 /** Returns an immutable array containing the given values, in order. */ 102 public static ImmutableDoubleArray of(double e0, double e1) { 103 return new ImmutableDoubleArray(new double[] {e0, e1}); 104 } 105 106 /** Returns an immutable array containing the given values, in order. */ 107 public static ImmutableDoubleArray of(double e0, double e1, double e2) { 108 return new ImmutableDoubleArray(new double[] {e0, e1, e2}); 109 } 110 111 /** Returns an immutable array containing the given values, in order. */ 112 public static ImmutableDoubleArray of(double e0, double e1, double e2, double e3) { 113 return new ImmutableDoubleArray(new double[] {e0, e1, e2, e3}); 114 } 115 116 /** Returns an immutable array containing the given values, in order. */ 117 public static ImmutableDoubleArray of(double e0, double e1, double e2, double e3, double e4) { 118 return new ImmutableDoubleArray(new double[] {e0, e1, e2, e3, e4}); 119 } 120 121 /** Returns an immutable array containing the given values, in order. */ 122 public static ImmutableDoubleArray of( 123 double e0, double e1, double e2, double e3, double e4, double e5) { 124 return new ImmutableDoubleArray(new double[] {e0, e1, e2, e3, e4, e5}); 125 } 126 127 // TODO(kevinb): go up to 11? 128 129 /** 130 * Returns an immutable array containing the given values, in order. 131 * 132 * <p>The array {@code rest} must not be longer than {@code Integer.MAX_VALUE - 1}. 133 */ 134 // Use (first, rest) so that `of(someDoubleArray)` won't compile (they should use copyOf), which 135 // is okay since we have to copy the just-created array anyway. 136 public static ImmutableDoubleArray of(double first, double... rest) { 137 checkArgument( 138 rest.length <= Integer.MAX_VALUE - 1, "the total number of elements must fit in an int"); 139 double[] array = new double[rest.length + 1]; 140 array[0] = first; 141 System.arraycopy(rest, 0, array, 1, rest.length); 142 return new ImmutableDoubleArray(array); 143 } 144 145 /** Returns an immutable array containing the given values, in order. */ 146 public static ImmutableDoubleArray copyOf(double[] values) { 147 return values.length == 0 148 ? EMPTY 149 : new ImmutableDoubleArray(Arrays.copyOf(values, values.length)); 150 } 151 152 /** Returns an immutable array containing the given values, in order. */ 153 public static ImmutableDoubleArray copyOf(Collection<Double> values) { 154 return values.isEmpty() ? EMPTY : new ImmutableDoubleArray(Doubles.toArray(values)); 155 } 156 157 /** 158 * Returns an immutable array containing the given values, in order. 159 * 160 * <p><b>Performance note:</b> this method delegates to {@link #copyOf(Collection)} if {@code 161 * values} is a {@link Collection}. Otherwise it creates a {@link #builder} and uses {@link 162 * Builder#addAll(Iterable)}, with all the performance implications associated with that. 163 */ 164 public static ImmutableDoubleArray copyOf(Iterable<Double> values) { 165 if (values instanceof Collection) { 166 return copyOf((Collection<Double>) values); 167 } 168 return builder().addAll(values).build(); 169 } 170 171 /** 172 * Returns an immutable array containing all the values from {@code stream}, in order. 173 * 174 * @since 33.4.0 (but since 22.0 in the JRE flavor) 175 */ 176 @SuppressWarnings("Java7ApiChecker") 177 @IgnoreJRERequirement // Users will use this only if they're already using streams. 178 public static ImmutableDoubleArray copyOf(DoubleStream stream) { 179 // Note this uses very different growth behavior from copyOf(Iterable) and the builder. 180 double[] array = stream.toArray(); 181 return (array.length == 0) ? EMPTY : new ImmutableDoubleArray(array); 182 } 183 184 /** 185 * Returns a new, empty builder for {@link ImmutableDoubleArray} instances, sized to hold up to 186 * {@code initialCapacity} values without resizing. The returned builder is not thread-safe. 187 * 188 * <p><b>Performance note:</b> When feasible, {@code initialCapacity} should be the exact number 189 * of values that will be added, if that knowledge is readily available. It is better to guess a 190 * value slightly too high than slightly too low. If the value is not exact, the {@link 191 * ImmutableDoubleArray} that is built will very likely occupy more memory than strictly 192 * necessary; to trim memory usage, build using {@code builder.build().trimmed()}. 193 */ 194 public static Builder builder(int initialCapacity) { 195 checkArgument(initialCapacity >= 0, "Invalid initialCapacity: %s", initialCapacity); 196 return new Builder(initialCapacity); 197 } 198 199 /** 200 * Returns a new, empty builder for {@link ImmutableDoubleArray} instances, with a default initial 201 * capacity. The returned builder is not thread-safe. 202 * 203 * <p><b>Performance note:</b> The {@link ImmutableDoubleArray} that is built will very likely 204 * occupy more memory than necessary; to trim memory usage, build using {@code 205 * builder.build().trimmed()}. 206 */ 207 public static Builder builder() { 208 return new Builder(10); 209 } 210 211 /** 212 * A builder for {@link ImmutableDoubleArray} instances; obtained using {@link 213 * ImmutableDoubleArray#builder}. 214 */ 215 public static final class Builder { 216 private double[] array; 217 private int count = 0; // <= array.length 218 219 Builder(int initialCapacity) { 220 array = new double[initialCapacity]; 221 } 222 223 /** 224 * Appends {@code value} to the end of the values the built {@link ImmutableDoubleArray} will 225 * contain. 226 */ 227 @CanIgnoreReturnValue 228 public Builder add(double value) { 229 ensureRoomFor(1); 230 array[count] = value; 231 count += 1; 232 return this; 233 } 234 235 /** 236 * Appends {@code values}, in order, to the end of the values the built {@link 237 * ImmutableDoubleArray} will contain. 238 */ 239 @CanIgnoreReturnValue 240 public Builder addAll(double[] values) { 241 ensureRoomFor(values.length); 242 System.arraycopy(values, 0, array, count, values.length); 243 count += values.length; 244 return this; 245 } 246 247 /** 248 * Appends {@code values}, in order, to the end of the values the built {@link 249 * ImmutableDoubleArray} will contain. 250 */ 251 @CanIgnoreReturnValue 252 public Builder addAll(Iterable<Double> values) { 253 if (values instanceof Collection) { 254 return addAll((Collection<Double>) values); 255 } 256 for (Double value : values) { 257 add(value); 258 } 259 return this; 260 } 261 262 /** 263 * Appends {@code values}, in order, to the end of the values the built {@link 264 * ImmutableDoubleArray} will contain. 265 */ 266 @CanIgnoreReturnValue 267 public Builder addAll(Collection<Double> values) { 268 ensureRoomFor(values.size()); 269 for (Double value : values) { 270 array[count++] = value; 271 } 272 return this; 273 } 274 275 /** 276 * Appends all values from {@code stream}, in order, to the end of the values the built {@link 277 * ImmutableDoubleArray} will contain. 278 * 279 * @since 33.4.0 (but since 22.0 in the JRE flavor) 280 */ 281 @SuppressWarnings("Java7ApiChecker") 282 @IgnoreJRERequirement // Users will use this only if they're already using streams. 283 @CanIgnoreReturnValue 284 public Builder addAll(DoubleStream stream) { 285 Spliterator.OfDouble spliterator = stream.spliterator(); 286 long size = spliterator.getExactSizeIfKnown(); 287 if (size > 0) { // known *and* nonempty 288 ensureRoomFor(Ints.saturatedCast(size)); 289 } 290 spliterator.forEachRemaining((DoubleConsumer) this::add); 291 return this; 292 } 293 294 /** 295 * Appends {@code values}, in order, to the end of the values the built {@link 296 * ImmutableDoubleArray} will contain. 297 */ 298 @CanIgnoreReturnValue 299 public Builder addAll(ImmutableDoubleArray values) { 300 ensureRoomFor(values.length()); 301 System.arraycopy(values.array, values.start, array, count, values.length()); 302 count += values.length(); 303 return this; 304 } 305 306 private void ensureRoomFor(int numberToAdd) { 307 int newCount = count + numberToAdd; // TODO(kevinb): check overflow now? 308 if (newCount > array.length) { 309 array = Arrays.copyOf(array, expandedCapacity(array.length, newCount)); 310 } 311 } 312 313 // Unfortunately this is pasted from ImmutableCollection.Builder. 314 private static int expandedCapacity(int oldCapacity, int minCapacity) { 315 if (minCapacity < 0) { 316 throw new AssertionError("cannot store more than MAX_VALUE elements"); 317 } 318 // careful of overflow! 319 int newCapacity = oldCapacity + (oldCapacity >> 1) + 1; 320 if (newCapacity < minCapacity) { 321 newCapacity = Integer.highestOneBit(minCapacity - 1) << 1; 322 } 323 if (newCapacity < 0) { 324 newCapacity = Integer.MAX_VALUE; // guaranteed to be >= newCapacity 325 } 326 return newCapacity; 327 } 328 329 /** 330 * Returns a new immutable array. The builder can continue to be used after this call, to append 331 * more values and build again. 332 * 333 * <p><b>Performance note:</b> the returned array is backed by the same array as the builder, so 334 * no data is copied as part of this step, but this may occupy more memory than strictly 335 * necessary. To copy the data to a right-sized backing array, use {@code .build().trimmed()}. 336 */ 337 public ImmutableDoubleArray build() { 338 return count == 0 ? EMPTY : new ImmutableDoubleArray(array, 0, count); 339 } 340 } 341 342 // Instance stuff here 343 344 // The array is never mutated after storing in this field and the construction strategies ensure 345 // it doesn't escape this class 346 @SuppressWarnings("Immutable") 347 private final double[] array; 348 349 /* 350 * TODO(kevinb): evaluate the trade-offs of going bimorphic to save these two fields from most 351 * instances. Note that the instances that would get smaller are the right set to care about 352 * optimizing, because the rest have the option of calling `trimmed`. 353 */ 354 355 private final transient int start; // it happens that we only serialize instances where this is 0 356 private final int end; // exclusive 357 358 private ImmutableDoubleArray(double[] array) { 359 this(array, 0, array.length); 360 } 361 362 private ImmutableDoubleArray(double[] array, int start, int end) { 363 this.array = array; 364 this.start = start; 365 this.end = end; 366 } 367 368 /** Returns the number of values in this array. */ 369 public int length() { 370 return end - start; 371 } 372 373 /** Returns {@code true} if there are no values in this array ({@link #length} is zero). */ 374 public boolean isEmpty() { 375 return end == start; 376 } 377 378 /** 379 * Returns the {@code double} value present at the given index. 380 * 381 * @throws IndexOutOfBoundsException if {@code index} is negative, or greater than or equal to 382 * {@link #length} 383 */ 384 public double get(int index) { 385 Preconditions.checkElementIndex(index, length()); 386 return array[start + index]; 387 } 388 389 /** 390 * Returns the smallest index for which {@link #get} returns {@code target}, or {@code -1} if no 391 * such index exists. Values are compared as if by {@link Double#equals}. Equivalent to {@code 392 * asList().indexOf(target)}. 393 */ 394 public int indexOf(double target) { 395 for (int i = start; i < end; i++) { 396 if (areEqual(array[i], target)) { 397 return i - start; 398 } 399 } 400 return -1; 401 } 402 403 /** 404 * Returns the largest index for which {@link #get} returns {@code target}, or {@code -1} if no 405 * such index exists. Values are compared as if by {@link Double#equals}. Equivalent to {@code 406 * asList().lastIndexOf(target)}. 407 */ 408 public int lastIndexOf(double target) { 409 for (int i = end - 1; i >= start; i--) { 410 if (areEqual(array[i], target)) { 411 return i - start; 412 } 413 } 414 return -1; 415 } 416 417 /** 418 * Returns {@code true} if {@code target} is present at any index in this array. Values are 419 * compared as if by {@link Double#equals}. Equivalent to {@code asList().contains(target)}. 420 */ 421 public boolean contains(double target) { 422 return indexOf(target) >= 0; 423 } 424 425 /** 426 * Invokes {@code consumer} for each value contained in this array, in order. 427 * 428 * @since 33.4.0 (but since 22.0 in the JRE flavor) 429 */ 430 @SuppressWarnings("Java7ApiChecker") 431 @IgnoreJRERequirement // We rely on users not to call this without library desugaring. 432 public void forEach(DoubleConsumer consumer) { 433 checkNotNull(consumer); 434 for (int i = start; i < end; i++) { 435 consumer.accept(array[i]); 436 } 437 } 438 439 /** 440 * Returns a stream over the values in this array, in order. 441 * 442 * @since 33.4.0 (but since 22.0 in the JRE flavor) 443 */ 444 @SuppressWarnings("Java7ApiChecker") 445 // If users use this when they shouldn't, we hope that NewApi will catch subsequent stream calls 446 @IgnoreJRERequirement 447 public DoubleStream stream() { 448 return Arrays.stream(array, start, end); 449 } 450 451 /** Returns a new, mutable copy of this array's values, as a primitive {@code double[]}. */ 452 public double[] toArray() { 453 return Arrays.copyOfRange(array, start, end); 454 } 455 456 /** 457 * Returns a new immutable array containing the values in the specified range. 458 * 459 * <p><b>Performance note:</b> The returned array has the same full memory footprint as this one 460 * does (no actual copying is performed). To reduce memory usage, use {@code subArray(start, 461 * end).trimmed()}. 462 */ 463 public ImmutableDoubleArray subArray(int startIndex, int endIndex) { 464 Preconditions.checkPositionIndexes(startIndex, endIndex, length()); 465 return startIndex == endIndex 466 ? EMPTY 467 : new ImmutableDoubleArray(array, start + startIndex, start + endIndex); 468 } 469 470 @SuppressWarnings("Java7ApiChecker") 471 @IgnoreJRERequirement // used only from APIs that use streams 472 /* 473 * We declare this as package-private, rather than private, to avoid generating a synthetic 474 * accessor method (under -target 8) that would lack the Android flavor's @IgnoreJRERequirement. 475 */ 476 Spliterator.OfDouble spliterator() { 477 return Spliterators.spliterator(array, start, end, Spliterator.IMMUTABLE | Spliterator.ORDERED); 478 } 479 480 /** 481 * Returns an immutable <i>view</i> of this array's values as a {@code List}; note that {@code 482 * double} values are boxed into {@link Double} instances on demand, which can be very expensive. 483 * The returned list should be used once and discarded. For any usages beyond that, pass the 484 * returned list to {@link com.google.common.collect.ImmutableList#copyOf(Collection) 485 * ImmutableList.copyOf} and use that list instead. 486 */ 487 public List<Double> asList() { 488 /* 489 * Typically we cache this kind of thing, but much repeated use of this view is a performance 490 * anti-pattern anyway. If we cache, then everyone pays a price in memory footprint even if 491 * they never use this method. 492 */ 493 return new AsList(this); 494 } 495 496 static class AsList extends AbstractList<Double> implements RandomAccess, Serializable { 497 private final ImmutableDoubleArray parent; 498 499 private AsList(ImmutableDoubleArray parent) { 500 this.parent = parent; 501 } 502 503 // inherit: isEmpty, containsAll, toArray x2, iterator, listIterator, stream, forEach, mutations 504 505 @Override 506 public int size() { 507 return parent.length(); 508 } 509 510 @Override 511 public Double get(int index) { 512 return parent.get(index); 513 } 514 515 @Override 516 public boolean contains(@CheckForNull Object target) { 517 return indexOf(target) >= 0; 518 } 519 520 @Override 521 public int indexOf(@CheckForNull Object target) { 522 return target instanceof Double ? parent.indexOf((Double) target) : -1; 523 } 524 525 @Override 526 public int lastIndexOf(@CheckForNull Object target) { 527 return target instanceof Double ? parent.lastIndexOf((Double) target) : -1; 528 } 529 530 @Override 531 public List<Double> subList(int fromIndex, int toIndex) { 532 return parent.subArray(fromIndex, toIndex).asList(); 533 } 534 535 // The default List spliterator is not efficiently splittable 536 @Override 537 @SuppressWarnings("Java7ApiChecker") 538 /* 539 * This is an override that is not directly visible to callers, so NewApi will catch calls to 540 * Collection.spliterator() where necessary. 541 */ 542 @IgnoreJRERequirement 543 public Spliterator<Double> spliterator() { 544 return parent.spliterator(); 545 } 546 547 @Override 548 public boolean equals(@CheckForNull Object object) { 549 if (object instanceof AsList) { 550 AsList that = (AsList) object; 551 return this.parent.equals(that.parent); 552 } 553 // We could delegate to super now but it would still box too much 554 if (!(object instanceof List)) { 555 return false; 556 } 557 List<?> that = (List<?>) object; 558 if (this.size() != that.size()) { 559 return false; 560 } 561 int i = parent.start; 562 // Since `that` is very likely RandomAccess we could avoid allocating this iterator... 563 for (Object element : that) { 564 if (!(element instanceof Double) || !areEqual(parent.array[i++], (Double) element)) { 565 return false; 566 } 567 } 568 return true; 569 } 570 571 // Because we happen to use the same formula. If that changes, just don't override this. 572 @Override 573 public int hashCode() { 574 return parent.hashCode(); 575 } 576 577 @Override 578 public String toString() { 579 return parent.toString(); 580 } 581 } 582 583 /** 584 * Returns {@code true} if {@code object} is an {@code ImmutableDoubleArray} containing the same 585 * values as this one, in the same order. Values are compared as if by {@link Double#equals}. 586 */ 587 @Override 588 public boolean equals(@CheckForNull Object object) { 589 if (object == this) { 590 return true; 591 } 592 if (!(object instanceof ImmutableDoubleArray)) { 593 return false; 594 } 595 ImmutableDoubleArray that = (ImmutableDoubleArray) object; 596 if (this.length() != that.length()) { 597 return false; 598 } 599 for (int i = 0; i < length(); i++) { 600 if (!areEqual(this.get(i), that.get(i))) { 601 return false; 602 } 603 } 604 return true; 605 } 606 607 // Match the behavior of Double.equals() 608 private static boolean areEqual(double a, double b) { 609 return Double.doubleToLongBits(a) == Double.doubleToLongBits(b); 610 } 611 612 /** Returns an unspecified hash code for the contents of this immutable array. */ 613 @Override 614 public int hashCode() { 615 int hash = 1; 616 for (int i = start; i < end; i++) { 617 hash *= 31; 618 hash += Doubles.hashCode(array[i]); 619 } 620 return hash; 621 } 622 623 /** 624 * Returns a string representation of this array in the same form as {@link 625 * Arrays#toString(double[])}, for example {@code "[1, 2, 3]"}. 626 */ 627 @Override 628 public String toString() { 629 if (isEmpty()) { 630 return "[]"; 631 } 632 StringBuilder builder = new StringBuilder(length() * 5); // rough estimate is fine 633 builder.append('[').append(array[start]); 634 635 for (int i = start + 1; i < end; i++) { 636 builder.append(", ").append(array[i]); 637 } 638 builder.append(']'); 639 return builder.toString(); 640 } 641 642 /** 643 * Returns an immutable array containing the same values as {@code this} array. This is logically 644 * a no-op, and in some circumstances {@code this} itself is returned. However, if this instance 645 * is a {@link #subArray} view of a larger array, this method will copy only the appropriate range 646 * of values, resulting in an equivalent array with a smaller memory footprint. 647 */ 648 public ImmutableDoubleArray trimmed() { 649 return isPartialView() ? new ImmutableDoubleArray(toArray()) : this; 650 } 651 652 private boolean isPartialView() { 653 return start > 0 || end < array.length; 654 } 655 656 Object writeReplace() { 657 return trimmed(); 658 } 659 660 Object readResolve() { 661 return isEmpty() ? EMPTY : this; 662 } 663}