library: optimize Collection.toArray() usage

stephengold · Jun 22, 2024 · a6f0ba0 · a6f0ba0
1 parent 3c05e5c
commit a6f0ba0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 6 deletions.
diff --git a/HeartLibrary/src/main/java/jme3utilities/Heart.java b/HeartLibrary/src/main/java/jme3utilities/Heart.java
@@ -257,8 +257,7 @@ public static Map<String, File> driveMap() {
     public static <T> T first(Collection<T> collection) {
         T result = null;
         if (!collection.isEmpty()) {
-            int size = collection.size();
-            Object[] members = collection.toArray(new Object[size]);
+            Object[] members = collection.toArray(new Object[0]);
             result = (T) members[0];
         }
 

diff --git a/HeartLibrary/src/main/java/jme3utilities/MyString.java b/HeartLibrary/src/main/java/jme3utilities/MyString.java
@@ -640,10 +640,7 @@ public static int sharedPrefixLength(CharSequence s1, CharSequence s2) {
      * @return a new array containing the same strings in the same order
      */
     public static String[] toArray(Collection<String> collection) {
-        int count = collection.size();
-        String[] array = new String[count];
-        collection.toArray(array);
-
+        String[] array = collection.toArray(new String[0]);
         return array;
     }