Как создать массив обобщённого типа в Java? (Generic Array)

Проблема: почему нельзя написать new T[]?

В Java обобщения (generics) реализованы через стирание типов (type erasure). Это означает, что во время выполнения программы информация о типе T стирается, и T заменяется на его границу (обычно Object). Однако массивы в Java знают свой тип компонента во время выполнения (например, String[] отличается от Object[]). Из-за этого конфликта JVM запрещает создавать массивы с неизвестным компонентом типа. Поэтому new T[10] — ошибка компиляции.

Решение 1: Использовать Array.newInstance() (рефлексия)

Самый правильный и типобезопасный способ — использовать рефлексию через класс java.lang.reflect.Array. Этот метод создаёт массив нужного типа во время выполнения, используя информацию, полученную из переданного массива или класса.

import java.lang.reflect.Array;
import java.util.*;

public class UniqueArray {
    @SuppressWarnings("unchecked")
    public static <T> T[] getUnique(T[] input) {
        // Получаем класс компонента массива (например, String.class)
        Class<?> componentType = input.getClass().getComponentType();
        
        // Создаём новый массив того же типа, что и входной
        T[] result = (T[]) Array.newInstance(componentType, input.length);
        
        Set<T> set = new LinkedHashSet<>(Arrays.asList(input));
        return set.toArray(result);
    }
}

Объяснение:

• input.getClass().getComponentType() возвращает Class<?> для типа элемента (например, String.class для String[]).
• Array.newInstance(componentType, length) создаёт массив именно этого типа во время выполнения.
• set.toArray(result) — стандартный способ конвертации коллекции в массив. Если result достаточно велик, он заполняется; иначе создаётся новый массив того же типа.

Этот метод полностью типобезопасен, так как мы явно передаём класс компонента. Предупреждение @SuppressWarnings("unchecked") можно добавить, но при правильной реализации каст безопасен.

Решение 2: Приведение через (T[]) new Object[length] (с осторожностью)

Этот способ часто встречается в старом коде, но он небезопасен. Приведение (T[]) new Object[length] работает только внутри метода, потому что компилятор считает, что T — это Object. Однако если вы вернёте этот массив наружу, а T окажется, например, String, то во время выполнения возникнет ClassCastException.

@SuppressWarnings("unchecked")
public static <T> T[] getUnsafe(T[] input) {
    Set<T> set = new LinkedHashSet<>(Arrays.asList(input));
    // Опасно! Работает только если T == Object
    return set.toArray((T[]) new Object[0]); 
}

Когда это работает? Только если вы гарантируете, что массив никогда не покинет метод, или если T — это Object. В общем случае лучше избегать.

Почему не использовать List<T>?

Если API требует массив, вы не можете вернуть список. Но внутри метода всегда предпочтительнее работать с коллекциями (List, Set), а в конце конвертировать в массив через toArray(). Это избавляет от проблем с созданием массивов.

Итог

Для создания обобщённых массивов используйте Array.newInstance() из пакета java.lang.reflect. Это единственный полностью типобезопасный способ. Избегайте сырых приведений (T[]) new Object[length] без крайней необходимости.

public class UniqueArray {
    @SuppressWarnings("unchecked")
    public static <T> T[] getUnique(T[] input, Class<T> clazz) {
        Set<T> set = new LinkedHashSet<>(Arrays.asList(input));
        // Создаём массив через рефлексию, используя переданный класс
        T[] result = (T[]) Array.newInstance(clazz, set.size());
        return set.toArray(result);
    }
}

// Использование:
String[] uniqueStrings = UniqueArray.getUnique(inputStrings, String.class);
Integer[] uniqueInts = UniqueArray.getUnique(inputInts, Integer.class);