Два метода при реализации интерфейса, содержащего только один
Я создал интерфейс TwoMethods
, Исходный код:
interface TwoMethods<T>
{
public void method(T t);
}
Затем я создал класс, реализующий этот интерфейс, и после разборки я увидел 2 метода. Учебный класс:
class A implements TwoMethods<A>
{
@Override
public void method(A a) {}
}
После разборки:
class A implements TwoMethods<A> {
A();
public void method(A); //first
public void method(java.lang.Object); //second
}
Аналогично для Comparable
интерфейс. Почему, когда я создаю параметризованный интерфейс, у меня есть 2 метода. Это всегда, когда я использую параметр? У меня дополнительно метод с Object
как аргумент?
2 ответа
Если мы посмотрим на байт-код интерфейса TwoMethods, то увидим, что фактический метод
public abstract method(Ljava/lang/Object;)V
то есть на уровне байт-кода информация о параметре типа не существует, тип удален, JVM просто не знает об обобщениях, параметры типа заменяются либо на Object
или в случае если T extends X
с X
, Так что с точки зрения JVM
class A implements TwoMethods<A> {
public void method(A a) {
...
method(A a)
не переопределяет метод интерфейса, потому что в байт-коде он находится в method(Object obj)
может переопределить это. Чтобы решить эту проблему, компилятор создает неявный метод, так называемый метод моста, в классе A
public void method(Object obj) {
method((A)obj);
}
видимый только в байт-коде. Теперь для этого кода
A a = new A();
TwoMethods<A> tm = a;
tm.method(a);
компилятор заменит tm.method(a)
с вызовом на мост
INVOKEINTERFACE test/TwoMethods.method(Ljava/lang/Object;)V
и это перенаправит вызов A.method(A a);
method(java.lang.Object)
называется методом моста и генерируется из-за стирания типа во время компиляции.
Смотрите Эффекты Стирание Типа и Методы моста