MethodHandle - В чем дело?

Question

Я изучаю новые возможности JDK 1.7, и я просто не могу понять, для чего предназначен MethodHandle? Я понимаю (прямой) вызов статического метода (и использование Core Reflection API, который в этом случае является простым). Я также понимаю (прямой) вызов виртуального метода (нестатического, нефинального) (и использование API Core Reflection, требующего прохождения иерархии класса obj.getClass().getSuperclass()). Вызов не виртуального метода можно рассматривать как частный случай первого.

Да, я знаю, что есть проблема с перегрузкой. Если вы хотите вызвать метод, вы должны указать точную подпись. Вы не можете легко проверить перегруженный метод.

Но что такое методHandle? API Reflection позволяет вам «просматривать» внутренние объекты без каких-либо предварительных допущений (например, реализованный интерфейс). Вы можете осмотреть объект для какой-либо цели. Но что же такое MethodHandle? Почему и когда я должен его использовать?

ОБНОВЛЕНИЕ: Я читаю сейчас этот http://blog.headius.com/2008/09/first-taste-of-invokedynamic.html артикул. В соответствии с этим главная цель - упростить жизнь для языков сценариев, которые работают поверх JVM, а не для самого языка Java.

ДОПОЛНЕНО-2: я закончу читать по ссылке выше, некоторые цитаты оттуда:

Виртуальная машина Java будет лучшим VM для построения динамических языков, потому что уже есть динамический язык VM. И InvokeDynamic, продвигая динамические языки для первоклассных граждан JVM, докажет это.

Использование отражения для вызова методов отлично работает ... за исключением нескольких проблем. Объекты метода должны извлекаться из определенного типа и не могут быть созданы в общем виде. < ...>

... отраженный вызов намного медленнее, чем прямой вызов. На протяжении многих лет JVM отлично справлялся с тем, чтобы сделать обратный вызов быстрым. Современные JVM на самом деле генерируют кучу кода за кулисами, чтобы избежать значительной части старых JVM. Но простая истина заключается в том, что отраженный доступ через любое количество уровней всегда будет медленнее прямого вызова, частично потому, что полностью генерализованный метод «invoke» должен проверять и повторно проверять тип приемника, типы аргументов, видимость и другие данные, но также потому, что аргументы должны быть объектами (поэтому примитивы получают объект-бокс) и должны быть предоставлены в виде массива для охвата всех возможных явлений (поэтому аргументы получают массив-boxed).

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

http://blog.headius.com/2008/09/first-taste-of-invokedynamic.html

Таким образом, для Java программиста это, по сути бесполезно. Я прав? С этой точки зрения, это можно рассматривать только как альтернативный способ для Core Reflection API.

Answer 1

Это предшественник Java 8, обеспечивающий языковую поддержку MethodHandles. Вы сможете напрямую обратиться к методу, и MethodHandles будет поддерживать это.

Что вы можете сделать с MethodHandles, это методы карри, изменение типов параметров и изменение их порядка.

Метод Ручки могут обрабатывать как методы, так и поля.

Другой трюк, который делает MethodHandles это использовать примитивные прямой (а не через обертки)

MethodHandles может быть быстрее, чем с помощью отражения, поскольку есть более прямая поддержка в JVM например, они могут быть встраиваемыми. Он использует новую команду invokedynamic.

Answer 2

java.lang.reflect.Method относительно медленный и дорогой с точки зрения памяти. Обработчики методов должны быть «легким» способом прохождения вокруг указателей на функции, которые JVM имеет возможность оптимизировать. С точки зрения методов JDK8 методы не так хорошо оптимизированы, и lambdas, вероятно, будут первоначально реализованы в терминах классов (как внутренние классы).

Answer 3

Think the MethodHandle как современный, более гибкий, более типичный способ отражения.

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