JDK-8156071

Author: stefan-zobel

src/main/java/java9/util/ImmutableCollections.java

@@ -95,7 +95,7 @@ final class ImmutableCollections {
         // use the lowest bit to determine if we should reverse iteration
         REVERSE = (SALT32L & 1) == 0;
         EMPTY = new Object();
-        EMPTY_LIST = new ListN<>();
+        EMPTY_LIST = new ListN<>(new Object[0]);
         EMPTY_SET = new SetN<>();
         EMPTY_MAP = new MapN<>();
     }
@@ -488,15 +488,31 @@ static final class ListN<E> extends AbstractImmutableList<E>
 
         private final E[] elements;
 
+        ListN(E[] array) {
+            elements = array;
+        }
+
+        // creates a new internal array, and checks and rejects null elements
         @SafeVarargs
-        ListN(E... input) {
+        static <E> List<E> fromArray(E... input) {
             // copy and check manually to avoid TOCTOU
             @SuppressWarnings("unchecked")
             E[] tmp = (E[]) new Object[input.length]; // implicit nullcheck of input
             for (int i = 0; i < input.length; i++) {
                 tmp[i] = Objects.requireNonNull(input[i]);
             }
-            elements = tmp;
+            return new ListN<>(tmp);
+        }
+
+        // Avoids creating a new array, but checks and rejects null elements.
+        // Declared with Object... arg so that varargs calls don't accidentally
+        // create an array of a subtype.
+        @SuppressWarnings("unchecked")
+        static <E> List<E> fromTrustedArray(Object... input) {
+            for (Object o : input) {
+                Objects.requireNonNull(o);
+            }
+            return new ListN<>((E[])input);
         }
 
         @Override

src/main/java/java9/util/Lists.java

@@ -127,7 +127,7 @@ public static <E> List<E> of(E e1, E e2) {
      * @since 9
      */
     public static <E> List<E> of(E e1, E e2, E e3) {
-        return new ImmutableCollections.ListN<E>(e1, e2, e3);
+        return ImmutableCollections.ListN.fromTrustedArray(e1, e2, e3);
     }
 
     /**
@@ -146,7 +146,7 @@ public static <E> List<E> of(E e1, E e2, E e3) {
      * @since 9
      */
     public static <E> List<E> of(E e1, E e2, E e3, E e4) {
-        return new ImmutableCollections.ListN<E>(e1, e2, e3, e4);
+        return ImmutableCollections.ListN.fromTrustedArray(e1, e2, e3, e4);
     }
 
     /**
@@ -166,7 +166,7 @@ public static <E> List<E> of(E e1, E e2, E e3, E e4) {
      * @since 9
      */
     public static <E> List<E> of(E e1, E e2, E e3, E e4, E e5) {
-        return new ImmutableCollections.ListN<E>(e1, e2, e3, e4, e5);
+        return ImmutableCollections.ListN.fromTrustedArray(e1, e2, e3, e4, e5);
     }
 
     /**
@@ -187,8 +187,8 @@ public static <E> List<E> of(E e1, E e2, E e3, E e4, E e5) {
      * @since 9
      */
     public static <E> List<E> of(E e1, E e2, E e3, E e4, E e5, E e6) {
-        return new ImmutableCollections.ListN<E>(e1, e2, e3, e4, e5,
-                                                 e6);
+        return ImmutableCollections.ListN.fromTrustedArray(e1, e2, e3, e4, e5,
+                                                           e6);
     }
 
     /**
@@ -210,8 +210,8 @@ public static <E> List<E> of(E e1, E e2, E e3, E e4, E e5, E e6) {
      * @since 9
      */
     public static <E> List<E> of(E e1, E e2, E e3, E e4, E e5, E e6, E e7) {
-        return new ImmutableCollections.ListN<E>(e1, e2, e3, e4, e5,
-                                                 e6, e7);
+        return ImmutableCollections.ListN.fromTrustedArray(e1, e2, e3, e4, e5,
+                                                           e6, e7);
     }
 
     /**
@@ -234,8 +234,8 @@ public static <E> List<E> of(E e1, E e2, E e3, E e4, E e5, E e6, E e7) {
      * @since 9
      */
     public static <E> List<E> of(E e1, E e2, E e3, E e4, E e5, E e6, E e7, E e8) {
-        return new ImmutableCollections.ListN<E>(e1, e2, e3, e4, e5,
-                                                 e6, e7, e8);
+        return ImmutableCollections.ListN.fromTrustedArray(e1, e2, e3, e4, e5,
+                                                           e6, e7, e8);
     }
 
     /**
@@ -259,8 +259,8 @@ public static <E> List<E> of(E e1, E e2, E e3, E e4, E e5, E e6, E e7, E e8) {
      * @since 9
      */
     public static <E> List<E> of(E e1, E e2, E e3, E e4, E e5, E e6, E e7, E e8, E e9) {
-        return new ImmutableCollections.ListN<E>(e1, e2, e3, e4, e5,
-                                                 e6, e7, e8, e9);
+        return ImmutableCollections.ListN.fromTrustedArray(e1, e2, e3, e4, e5,
+                                                           e6, e7, e8, e9);
     }
 
     /**
@@ -285,8 +285,8 @@ public static <E> List<E> of(E e1, E e2, E e3, E e4, E e5, E e6, E e7, E e8, E e
      * @since 9
      */
     public static <E> List<E> of(E e1, E e2, E e3, E e4, E e5, E e6, E e7, E e8, E e9, E e10) {
-        return new ImmutableCollections.ListN<E>(e1, e2, e3, e4, e5,
-                                                 e6, e7, e8, e9, e10);
+        return ImmutableCollections.ListN.fromTrustedArray(e1, e2, e3, e4, e5,
+                                                           e6, e7, e8, e9, e10);
     }
 
     /**
@@ -326,7 +326,7 @@ public static <E> List<E> of(E... elements) {
             case 2:
                 return new ImmutableCollections.List12<E>(elements[0], elements[1]);
             default:
-                return new ImmutableCollections.ListN<E>(elements);
+                return ImmutableCollections.ListN.fromArray(elements);
             }
     }