Как реализует интерфейс полиморфизма интерфейса?

Question

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

Как это работает для интерфейсов Java? Интерфейс не предоставляет данных, а только гарантированный набор методов. Не существует объединяющих данных, на которые может указывать указатель базового класса.

Прошу прощения, если это не имеет смысла; Я могу попытаться прояснить ситуацию.

Answer 1

Это зависит от реализации JVM. Реализация интерфейсов сложна.

Простейшее решение включает в себя передачу двух указателей для каждого параметра, который имеет тип интерфейса. Первый указатель указывает на объект. Второй указатель указывает на виртуальную таблицу, которая специфична для производного класса и комбинации интерфейсов. С помощью этого решения поиск соответствующего второго указателя для конкретного интерфейса приводит к линейному перемещению списка. Таким образом, это не O(1), а линейно ограничено числом реализованных интерфейсов. Интерфейсы не могут быть реализованы в O(1), не тратя много памяти на разреженные таблицы.

Answer 2

JVM находит методы интерфейса объекта с помощью сигнатуры метода, например, байт-код этого

INVOKEINTERFACE java/util/List.add (Ljava/lang/Object;)Z 

вызывает List.add(Object) на ArrayList. Это похоже на отражение