Два метода при реализации интерфейса, содержащего только один

Я создал интерфейс 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) называется методом моста и генерируется из-за стирания типа во время компиляции.

Смотрите Эффекты Стирание Типа и Методы моста

Другие вопросы по тегам