Блог

 ParameterizedType parameterized =
    (ParameterizedType) List.class.getMethod("iterator").getGenericReturnType();
Type raw = parameterized.getRawType();
  

ParameterizedType#getRawType() возвращает a Type , а не a Class<?> (хотя я понимаю, что это java.lang.Class теперь реализуется Type ). Есть ли веская причина, по которой getRawType() не объявляется возвращаемый тип как Class<?> ? Существуют ли крайние случаи, когда getRawType() результатом может быть не Class<?> ?

С этим и так достаточно хлопот, чтобы работать j.l.r.Type ; похоже, это тот случай, когда они могли бы избавить нас от одного разочарования.

Он должен возвращать Class объект, другого способа нет.

Почему? Кто знает, может быть, какой-то идеалистический уклон. Если бы он вернул Class , это было бы единственным появлением Class в новых Type интерфейсах.

Реальная проблема заключается в смешивании Class и Type . Ранее все типы были представлены в Class . Это уже было грязно, но все еще терпимо. Типов было не так уж много.

С новыми универсальными типами они должны были разработать более чистую Type иерархию, соответствующую спецификации, независимую от Class . Вместо этого они объединили Class с Type и создали еще больше беспорядка. Вся иерархия просто не имеет смысла. Любой новичок в этой теме и не знакомый с историей будет потрясен этой бессмыслицей.

Я бы не стал поддерживать дизайн Type на высоком уровне. стандарт. Например, ParameterizedType определяет equals() , но не hashCode() . Не существует способа, чтобы две реализации ParameterizedType работали в одной хэш-карте. И подстановочный знак тоже является типом? Черт возьми, нет.

И название метода getRawType() просто идиотское. Это не имеет ничего общего с raw type . Он должен быть четко назван getClassOrInterface() . Не будет ли это слишком подробным? Посмотрите getActualTypeArguments() тогда. (И да, он возвращает фактические аргументы! Не поддельные!)

Я думал об этом, и у меня есть догадка. Возможно, они хотели оставить открытой возможность для подобных безумств в будущем:

 public class Z<L extends List<?>> {
    L<Double> test;
}
  

Это не легальный Java-код, но я думаю, ясно, что это будет означать; new Z<ArrayList<?>>().test будет иметь тип ArrayList<Double> .

Если бы это было законно, ((ParameterizedType) test.getGenericType()).getRawType() вернуло бы TypeVariable .

Реализация Sun ParameterizedType определила getRawType() метод для возврата Class<?> . Таким образом, он явно возвращает только Class<?>

Однако в моем пути к классу есть еще несколько реализаций ParameterizedType — из hibernate-validator, из aspectj, hibernate-annotations, jaxb. Некоторые из них возвращают Class<?> , некоторые — Type . Хотя я не знаю, как они используются.

Иерархия интерфейса типов может использоваться не только в reflection api. Например, библиотека генерации кода может определять пользовательские реализации. Сам JDK 8 имеет 3 разные реализации WildcardType . Если ParameterizedType.getRawType() вернул экземпляр класса, то вам нужно было бы иметь возможность создавать экземпляр класса в любое время, когда вы захотите.

Класс — это очень глубоко внедренный в JVM тип, который имеет привязки обратно к встроенной памяти, управляемой пользователем. Чтобы создать экземпляр класса, у вас должен быть байтовый код, который определяет класс. Но в случае библиотеки генерации кода байтовый код еще даже не существует. Если бы они потребовали, чтобы ParameterizedType возвращал класс, это ограничило бы применимость иерархии интерфейса типа только api отражения.

Это может показаться несущественным, но ни то, ни другое не является актерским составом.

ParameterizedType.getOwnerType() возвращает тип, поскольку он сам может быть либо классом, либо другим параметризованным типом. Теоретически это может возвращать переменную типа, поскольку для Java допустимо следующее:

 <M extends Map<?,?>> M.Entry<?,?> first(M map) { ... }
  

Однако он скомпилирован как статическая ссылка на удаление переменной типа, в этом случае M.Entry будет скомпилирован как Map.Entry . Вместо переменной типа вызов getOwnerType() из reflection api будет классом, по крайней мере, согласно моим тестам.