Как сравнить экземпляры MethodHandle?

Question

Как сравнить два экземпляра MethodHandle? Я ожидаю, что функция вернет true, если дескрипторы указывают на тот же метод. Это не похоже на переопределение класса equals() или hashcode(). Безопасно ли использовать оператор равенства (==)?

Answer 1

Прежде всего, MethodHandle s может не только инкапсулировать целевой метод, но и поведение . Например. у вас могут быть два метода, указывающие на один и тот же метод, но один инкапсулирующий не виртуальный (super. …) вызов, а другой - обычный виртуальный вызов. Эти ручки не могут быть равны.

Кроме того, нет никакого определенного равенства для MethodHandle s в любом случае. Они там, чтобы позволить призывание но не самоанализ:

JVMSpec §5.4.3.5. Method Type and Method Handle Resolution:

Реализация виртуальной машины Java не требуется стажер типов метод или метод обрабатывает. То есть две различные символические ссылки на типы методов или дескрипторы методов, которые являются структурно идентичными, могут не разрешаться для одного и того же экземпляра java.lang.invoke.MethodType или java.lang.invoke.MethodHandle соответственно.

---

Однако, начиная с Java 8 есть функция, которая позволяет вникать прямойMethodHandle, Lookup.revealDirect. Для дескрипторов, для которых эта операция завершается успешно, вы можете использовать информацию в возвращаемом MethodHandleInfo, чтобы узнать, указывают ли две ручки одному и тому же методу.