Почему класс метода Java не является универсальным?

Question

Это позволило бы методу invoke иметь правильный тип возврата. Например:

class Method<T> {
    T invoke(Object obj, Object... args);
}

Answer 1

В Java Generics доступны только во время компиляции. Вы не можете определить общий тип во время выполнения. Это позволило реализации дженериков быть обратно совместимыми со старыми версиями JVM.

Поскольку обобщения доступны только во время компиляции, если вы знаете тип вашего класса, вам не нужно использовать рефлексию.

Answer 2

Было бы весьма разумно сделать Method универсальным для стертого возвращаемого типа. Тем не менее, это будет много усилий с небольшой прибылью. Природа отражения заключается в том, что вы не знаете типы во время компиляции - в противном случае вы могли бы статически связать.

Полагаю, в некоторых случаях вы могли бы даже добавить новые API, чтобы возвращался общий тип. Информация по-прежнему находится в методе, но не в экземпляре, который вы передаете ему.