Java Generics Тип Аргумент как переменная возможна?

Question

возможно дать аргумент типа для общего класса через переменную:

private static final Class clazz = String.class; 

ArrayList<clazz> list = new ArrayList<>(); 

В этом примере я получаю сообщение об ошибке компилятора. Так почему это невозможно?

Answer 1

Как @Jesper сказал, вы пытаетесь пересечь области времени компиляции и времени выполнения.

Прежде всего, поймите, что Java-дженерики - это функция строго компиляции - то есть когда ваш источник java компилируется в байтовый код, «дженерики», как вы видите их в своем источнике, ушли. Я бы предложил прочитать на type erasure для получения дополнительной информации по этому вопросу.

Так что же делает компилятор с дженериками? Он проверяет, что действия и операции безопасны, а затем автоматически вставляет различные операции в ваш скомпилированный код для вас. Здесь проблема заключается в том, что вы запрашиваете компилятор для выполнения операций на основе параметра, предоставленного во время выполнения. Суть в том, что, поскольку компилятор не имеет доступа к значениям времени выполнения, он не может скомпилировать генерические файлы и возникает ошибка.

Отличная дискуссия о том, почему Java Generics были разработаны без овеществления @ Neal Gafter's Blog.

Answer 2

Компилятор не может поддерживать динамическое значение для своего общего типа, потому что во время выполнения вы можете поменять String на другой тип, и вдруг он не должен компилироваться, но уже слишком поздно, потому что он работает! Правильный способ сделать это - использовать интерфейсы или абстрактные классы, чтобы указать, что данный тип должен быть подклассом этого.

Примером может быть ArrayList< ? extends Collection<?> >. Это гарантирует, что этот тип можно использовать как коллекцию, так как этот тип должен быть подклассом Collection.

See here если вы хотите прочитать эту тему.