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 org.jspecify.annotations.Nullable; 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 22.0 (but only since 33.4.0 in the Android flavor) 175 */ 176 public static ImmutableDoubleArray copyOf(DoubleStream stream) { 177 // Note this uses very different growth behavior from copyOf(Iterable) and the builder. 178 double[] array = stream.toArray(); 179 return (array.length == 0) ? EMPTY : new ImmutableDoubleArray(array); 180 } 181 182 /** 183 * Returns a new, empty builder for {@link ImmutableDoubleArray} instances, sized to hold up to 184 * {@code initialCapacity} values without resizing. The returned builder is not thread-safe. 185 * 186 * <p><b>Performance note:</b> When feasible, {@code initialCapacity} should be the exact number 187 * of values that will be added, if that knowledge is readily available. It is better to guess a 188 * value slightly too high than slightly too low. If the value is not exact, the {@link 189 * ImmutableDoubleArray} that is built will very likely occupy more memory than strictly 190 * necessary; to trim memory usage, build using {@code builder.build().trimmed()}. 191 */ 192 public static Builder builder(int initialCapacity) { 193 checkArgument(initialCapacity >= 0, "Invalid initialCapacity: %s", initialCapacity); 194 return new Builder(initialCapacity); 195 } 196 197 /** 198 * Returns a new, empty builder for {@link ImmutableDoubleArray} instances, with a default initial 199 * capacity. The returned builder is not thread-safe. 200 * 201 * <p><b>Performance note:</b> The {@link ImmutableDoubleArray} that is built will very likely 202 * occupy more memory than necessary; to trim memory usage, build using {@code 203 * builder.build().trimmed()}. 204 */ 205 public static Builder builder() { 206 return new Builder(10); 207 } 208 209 /** 210 * A builder for {@link ImmutableDoubleArray} instances; obtained using {@link 211 * ImmutableDoubleArray#builder}. 212 */ 213 public static final class Builder { 214 private double[] array; 215 private int count = 0; // <= array.length 216 217 Builder(int initialCapacity) { 218 array = new double[initialCapacity]; 219 } 220 221 /** 222 * Appends {@code value} to the end of the values the built {@link ImmutableDoubleArray} will 223 * contain. 224 */ 225 @CanIgnoreReturnValue 226 public Builder add(double value) { 227 ensureRoomFor(1); 228 array[count] = value; 229 count += 1; 230 return this; 231 } 232 233 /** 234 * Appends {@code values}, in order, to the end of the values the built {@link 235 * ImmutableDoubleArray} will contain. 236 */ 237 @CanIgnoreReturnValue 238 public Builder addAll(double[] values) { 239 ensureRoomFor(values.length); 240 System.arraycopy(values, 0, array, count, values.length); 241 count += values.length; 242 return this; 243 } 244 245 /** 246 * Appends {@code values}, in order, to the end of the values the built {@link 247 * ImmutableDoubleArray} will contain. 248 */ 249 @CanIgnoreReturnValue 250 public Builder addAll(Iterable<Double> values) { 251 if (values instanceof Collection) { 252 return addAll((Collection<Double>) values); 253 } 254 for (Double value : values) { 255 add(value); 256 } 257 return this; 258 } 259 260 /** 261 * Appends {@code values}, in order, to the end of the values the built {@link 262 * ImmutableDoubleArray} will contain. 263 */ 264 @CanIgnoreReturnValue 265 public Builder addAll(Collection<Double> values) { 266 ensureRoomFor(values.size()); 267 for (Double value : values) { 268 array[count++] = value; 269 } 270 return this; 271 } 272 273 /** 274 * Appends all values from {@code stream}, in order, to the end of the values the built {@link 275 * ImmutableDoubleArray} will contain. 276 * 277 * @since 22.0 (but only since 33.4.0 in the Android flavor) 278 */ 279 @CanIgnoreReturnValue 280 public Builder addAll(DoubleStream stream) { 281 Spliterator.OfDouble spliterator = stream.spliterator(); 282 long size = spliterator.getExactSizeIfKnown(); 283 if (size > 0) { // known *and* nonempty 284 ensureRoomFor(Ints.saturatedCast(size)); 285 } 286 spliterator.forEachRemaining((DoubleConsumer) this::add); 287 return this; 288 } 289 290 /** 291 * Appends {@code values}, in order, to the end of the values the built {@link 292 * ImmutableDoubleArray} will contain. 293 */ 294 @CanIgnoreReturnValue 295 public Builder addAll(ImmutableDoubleArray values) { 296 ensureRoomFor(values.length()); 297 System.arraycopy(values.array, values.start, array, count, values.length()); 298 count += values.length(); 299 return this; 300 } 301 302 private void ensureRoomFor(int numberToAdd) { 303 int newCount = count + numberToAdd; // TODO(kevinb): check overflow now? 304 if (newCount > array.length) { 305 array = Arrays.copyOf(array, expandedCapacity(array.length, newCount)); 306 } 307 } 308 309 // Unfortunately this is pasted from ImmutableCollection.Builder. 310 private static int expandedCapacity(int oldCapacity, int minCapacity) { 311 if (minCapacity < 0) { 312 throw new AssertionError("cannot store more than MAX_VALUE elements"); 313 } 314 // careful of overflow! 315 int newCapacity = oldCapacity + (oldCapacity >> 1) + 1; 316 if (newCapacity < minCapacity) { 317 newCapacity = Integer.highestOneBit(minCapacity - 1) << 1; 318 } 319 if (newCapacity < 0) { 320 newCapacity = Integer.MAX_VALUE; // guaranteed to be >= newCapacity 321 } 322 return newCapacity; 323 } 324 325 /** 326 * Returns a new immutable array. The builder can continue to be used after this call, to append 327 * more values and build again. 328 * 329 * <p><b>Performance note:</b> the returned array is backed by the same array as the builder, so 330 * no data is copied as part of this step, but this may occupy more memory than strictly 331 * necessary. To copy the data to a right-sized backing array, use {@code .build().trimmed()}. 332 */ 333 public ImmutableDoubleArray build() { 334 return count == 0 ? EMPTY : new ImmutableDoubleArray(array, 0, count); 335 } 336 } 337 338 // Instance stuff here 339 340 // The array is never mutated after storing in this field and the construction strategies ensure 341 // it doesn't escape this class 342 @SuppressWarnings("Immutable") 343 private final double[] array; 344 345 /* 346 * TODO(kevinb): evaluate the trade-offs of going bimorphic to save these two fields from most 347 * instances. Note that the instances that would get smaller are the right set to care about 348 * optimizing, because the rest have the option of calling `trimmed`. 349 */ 350 351 private final transient int start; // it happens that we only serialize instances where this is 0 352 private final int end; // exclusive 353 354 private ImmutableDoubleArray(double[] array) { 355 this(array, 0, array.length); 356 } 357 358 private ImmutableDoubleArray(double[] array, int start, int end) { 359 this.array = array; 360 this.start = start; 361 this.end = end; 362 } 363 364 /** Returns the number of values in this array. */ 365 public int length() { 366 return end - start; 367 } 368 369 /** Returns {@code true} if there are no values in this array ({@link #length} is zero). */ 370 public boolean isEmpty() { 371 return end == start; 372 } 373 374 /** 375 * Returns the {@code double} value present at the given index. 376 * 377 * @throws IndexOutOfBoundsException if {@code index} is negative, or greater than or equal to 378 * {@link #length} 379 */ 380 public double get(int index) { 381 Preconditions.checkElementIndex(index, length()); 382 return array[start + index]; 383 } 384 385 /** 386 * Returns the smallest index for which {@link #get} returns {@code target}, or {@code -1} if no 387 * such index exists. Values are compared as if by {@link Double#equals}. Equivalent to {@code 388 * asList().indexOf(target)}. 389 */ 390 public int indexOf(double target) { 391 for (int i = start; i < end; i++) { 392 if (areEqual(array[i], target)) { 393 return i - start; 394 } 395 } 396 return -1; 397 } 398 399 /** 400 * Returns the largest index for which {@link #get} returns {@code target}, or {@code -1} if no 401 * such index exists. Values are compared as if by {@link Double#equals}. Equivalent to {@code 402 * asList().lastIndexOf(target)}. 403 */ 404 public int lastIndexOf(double target) { 405 for (int i = end - 1; i >= start; i--) { 406 if (areEqual(array[i], target)) { 407 return i - start; 408 } 409 } 410 return -1; 411 } 412 413 /** 414 * Returns {@code true} if {@code target} is present at any index in this array. Values are 415 * compared as if by {@link Double#equals}. Equivalent to {@code asList().contains(target)}. 416 */ 417 public boolean contains(double target) { 418 return indexOf(target) >= 0; 419 } 420 421 /** 422 * Invokes {@code consumer} for each value contained in this array, in order. 423 * 424 * @since 22.0 (but only since 33.4.0 in the Android flavor) 425 */ 426 public void forEach(DoubleConsumer consumer) { 427 checkNotNull(consumer); 428 for (int i = start; i < end; i++) { 429 consumer.accept(array[i]); 430 } 431 } 432 433 /** 434 * Returns a stream over the values in this array, in order. 435 * 436 * @since 22.0 (but only since 33.4.0 in the Android flavor) 437 */ 438 public DoubleStream stream() { 439 return Arrays.stream(array, start, end); 440 } 441 442 /** Returns a new, mutable copy of this array's values, as a primitive {@code double[]}. */ 443 public double[] toArray() { 444 return Arrays.copyOfRange(array, start, end); 445 } 446 447 /** 448 * Returns a new immutable array containing the values in the specified range. 449 * 450 * <p><b>Performance note:</b> The returned array has the same full memory footprint as this one 451 * does (no actual copying is performed). To reduce memory usage, use {@code subArray(start, 452 * end).trimmed()}. 453 */ 454 public ImmutableDoubleArray subArray(int startIndex, int endIndex) { 455 Preconditions.checkPositionIndexes(startIndex, endIndex, length()); 456 return startIndex == endIndex 457 ? EMPTY 458 : new ImmutableDoubleArray(array, start + startIndex, start + endIndex); 459 } 460 461 /* 462 * We declare this as package-private, rather than private, to avoid generating a synthetic 463 * accessor method (under -target 8) that would lack the Android flavor's @IgnoreJRERequirement. 464 */ 465 Spliterator.OfDouble spliterator() { 466 return Spliterators.spliterator(array, start, end, Spliterator.IMMUTABLE | Spliterator.ORDERED); 467 } 468 469 /** 470 * Returns an immutable <i>view</i> of this array's values as a {@code List}; note that {@code 471 * double} values are boxed into {@link Double} instances on demand, which can be very expensive. 472 * The returned list should be used once and discarded. For any usages beyond that, pass the 473 * returned list to {@link com.google.common.collect.ImmutableList#copyOf(Collection) 474 * ImmutableList.copyOf} and use that list instead. 475 */ 476 public List<Double> asList() { 477 /* 478 * Typically we cache this kind of thing, but much repeated use of this view is a performance 479 * anti-pattern anyway. If we cache, then everyone pays a price in memory footprint even if 480 * they never use this method. 481 */ 482 return new AsList(this); 483 } 484 485 static class AsList extends AbstractList<Double> implements RandomAccess, Serializable { 486 private final ImmutableDoubleArray parent; 487 488 private AsList(ImmutableDoubleArray parent) { 489 this.parent = parent; 490 } 491 492 // inherit: isEmpty, containsAll, toArray x2, iterator, listIterator, stream, forEach, mutations 493 494 @Override 495 public int size() { 496 return parent.length(); 497 } 498 499 @Override 500 public Double get(int index) { 501 return parent.get(index); 502 } 503 504 @Override 505 public boolean contains(@Nullable Object target) { 506 return indexOf(target) >= 0; 507 } 508 509 @Override 510 public int indexOf(@Nullable Object target) { 511 return target instanceof Double ? parent.indexOf((Double) target) : -1; 512 } 513 514 @Override 515 public int lastIndexOf(@Nullable Object target) { 516 return target instanceof Double ? parent.lastIndexOf((Double) target) : -1; 517 } 518 519 @Override 520 public List<Double> subList(int fromIndex, int toIndex) { 521 return parent.subArray(fromIndex, toIndex).asList(); 522 } 523 524 // The default List spliterator is not efficiently splittable 525 @Override 526 public Spliterator<Double> spliterator() { 527 return parent.spliterator(); 528 } 529 530 @Override 531 public boolean equals(@Nullable Object object) { 532 if (object instanceof AsList) { 533 AsList that = (AsList) object; 534 return this.parent.equals(that.parent); 535 } 536 // We could delegate to super now but it would still box too much 537 if (!(object instanceof List)) { 538 return false; 539 } 540 List<?> that = (List<?>) object; 541 if (this.size() != that.size()) { 542 return false; 543 } 544 int i = parent.start; 545 // Since `that` is very likely RandomAccess we could avoid allocating this iterator... 546 for (Object element : that) { 547 if (!(element instanceof Double) || !areEqual(parent.array[i++], (Double) element)) { 548 return false; 549 } 550 } 551 return true; 552 } 553 554 // Because we happen to use the same formula. If that changes, just don't override this. 555 @Override 556 public int hashCode() { 557 return parent.hashCode(); 558 } 559 560 @Override 561 public String toString() { 562 return parent.toString(); 563 } 564 } 565 566 /** 567 * Returns {@code true} if {@code object} is an {@code ImmutableDoubleArray} containing the same 568 * values as this one, in the same order. Values are compared as if by {@link Double#equals}. 569 */ 570 @Override 571 public boolean equals(@Nullable Object object) { 572 if (object == this) { 573 return true; 574 } 575 if (!(object instanceof ImmutableDoubleArray)) { 576 return false; 577 } 578 ImmutableDoubleArray that = (ImmutableDoubleArray) object; 579 if (this.length() != that.length()) { 580 return false; 581 } 582 for (int i = 0; i < length(); i++) { 583 if (!areEqual(this.get(i), that.get(i))) { 584 return false; 585 } 586 } 587 return true; 588 } 589 590 // Match the behavior of Double.equals() 591 private static boolean areEqual(double a, double b) { 592 return Double.doubleToLongBits(a) == Double.doubleToLongBits(b); 593 } 594 595 /** Returns an unspecified hash code for the contents of this immutable array. */ 596 @Override 597 public int hashCode() { 598 int hash = 1; 599 for (int i = start; i < end; i++) { 600 hash *= 31; 601 hash += Doubles.hashCode(array[i]); 602 } 603 return hash; 604 } 605 606 /** 607 * Returns a string representation of this array in the same form as {@link 608 * Arrays#toString(double[])}, for example {@code "[1, 2, 3]"}. 609 */ 610 @Override 611 public String toString() { 612 if (isEmpty()) { 613 return "[]"; 614 } 615 StringBuilder builder = new StringBuilder(length() * 5); // rough estimate is fine 616 builder.append('[').append(array[start]); 617 618 for (int i = start + 1; i < end; i++) { 619 builder.append(", ").append(array[i]); 620 } 621 builder.append(']'); 622 return builder.toString(); 623 } 624 625 /** 626 * Returns an immutable array containing the same values as {@code this} array. This is logically 627 * a no-op, and in some circumstances {@code this} itself is returned. However, if this instance 628 * is a {@link #subArray} view of a larger array, this method will copy only the appropriate range 629 * of values, resulting in an equivalent array with a smaller memory footprint. 630 */ 631 public ImmutableDoubleArray trimmed() { 632 return isPartialView() ? new ImmutableDoubleArray(toArray()) : this; 633 } 634 635 private boolean isPartialView() { 636 return start > 0 || end < array.length; 637 } 638 639 Object writeReplace() { 640 return trimmed(); 641 } 642 643 Object readResolve() { 644 return isEmpty() ? EMPTY : this; 645 } 646}