Класс MethodHandles.Lookup

Lookup с этим режимом поиска выполняет проверку доступа между модулями относительно класса поиска и предыдущего класса поиска, если он есть.

Если этот режим поиска установлен, предыдущий класс поиска всегда равен null.

Если этот режим поиска установлен, предыдущий класс поиска всегда равен null.

Если этот режим поиска установлен, объект Lookup должен быть создан исходным классом поиска вызовом метода MethodHandles.lookup() или методом начальной загрузки, вызванным виртуальной машиной. Объект Lookup с этим режимом поиска обладает полным привилегированным доступом.

Если у этого объекта поиска есть предыдущий класс поиска, проверки доступа выполняются относительно как класса поиска, так и предыдущего класса поиска.

Класс задаёт максимальный уровень разрешений на доступ, но разрешения могут быть дополнительно ограничены битовой маской lookupModes, определяющей, можно ли обращаться к непубличным членам.

У объекта Lookup, созданного фабричными методами, такими как lookup() и publicLookup(), предыдущий класс поиска null. У объекта Lookup предыдущий класс поиска не равен null, если этот поиск был перенесён из прежнего класса поиска в одном модуле в новый класс поиска в другом модуле.

Недавно созданный объект поиска для класса вызывающего кода имеет все возможные биты, кроме UNCONDITIONAL. У объекта поиска для нового класса поиска, созданного на основе предыдущего объекта поиска, некоторые биты режима могут быть сброшены. Биты режима также можно сбросить напрямую. После сброса биты режима нельзя восстановить из объекта поиска с ограниченными правами. Это позволяет ограничить доступ через новый объект поиска так, чтобы он мог получать доступ только к именам, доступным исходному объекту поиска, а также новому классу поиска.

Однако гарантируется, что полученный объект Lookup не будет иметь больше возможностей доступа, чем исходный. В частности, возможности доступа могут быть утрачены следующим образом:

• Если новый класс поиска отличается от старого класса поиска, то есть утрачивается доступ ORIGINAL.
• Если новый класс поиска находится в модуле, отличном от модуля старого класса, то есть утрачивается доступ MODULE.
• Если новый класс поиска находится в пакете, отличном от пакета старого класса, защищённые и члены с доступом по умолчанию (пакетным доступом) будут недоступны, то есть утрачивается доступ PROTECTED и PACKAGE.
• Если новый класс поиска не входит в тот же пакет, что и старый класс, приватные члены будут недоступны, а защищённые члены будут недоступны по наследованию, то есть утрачивается доступ PRIVATE. (Защищённые члены могут оставаться доступными благодаря принадлежности к одному пакету.)
• Если новый класс поиска недоступен этому объекту поиска, то никакие члены, даже публичные, не будут доступны; то есть утрачиваются все режимы доступа.
• Если новый класс поиска, старый класс поиска и предыдущий класс поиска находятся в разных модулях, то есть выполняется перенос в третий модуль, утрачиваются все режимы доступа.

Новый предыдущий класс поиска выбирается следующим образом:

• Если у нового объекта поиска установлен бит UNCONDITIONAL, новый предыдущий класс поиска равен null.
• Если новый класс поиска находится в том же модуле, что и старый класс поиска, новым предыдущим классом поиска становится старый предыдущий класс поиска.
• Если новый класс поиска находится в модуле, отличном от модуля старого класса поиска, новым предыдущим классом поиска становится старый класс поиска.

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

Если этот объект поиска является публичным объектом поиска, для него установлен режим UNCONDITIONAL и не установлен ни один другой режим. При удалении UNCONDITIONAL из публичного объекта поиска полученный объект поиска не будет иметь доступа.

Если этот объект поиска не является публичным объектом поиска, следующие правила применяются независимо от его режимов поиска. Режимы PROTECTED и ORIGINAL всегда удаляются, поэтому полученный режим поиска никогда не будет предоставлять эти возможности доступа. При удалении PACKAGE полученный объект поиска не будет иметь доступа PACKAGE или PRIVATE. При удалении MODULE полученный объект поиска не будет иметь доступа MODULE, PACKAGE или PRIVATE. При удалении PUBLIC полученный объект поиска не будет иметь доступа.

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

Параметр bytes содержит байты корректного файла класса (определённого в Спецификации виртуальной машины Java) с именем класса из того же пакета, что и класс поиска.

Этот метод не запускает инициализатор класса. Инициализатор класса может быть запущен позднее, как описано в разделе 12.4 Спецификации языка Java.

Обычно класс или интерфейс C создаётся загрузчиком классов, который либо определяет C напрямую, либо делегирует это другому загрузчику классов. Загрузчик классов определяет C напрямую, вызывая ClassLoader::defineClass, в результате чего виртуальная машина Java получает C из предполагаемого представления в формате файла class. В ситуациях, когда использование загрузчика классов нежелательно, вместо этого класс или интерфейс C можно создать с помощью данного метода. Этот метод позволяет определить C и тем самым создать его, не вызывая ClassLoader::defineClass. Вместо этого данный метод определяет C, как если бы виртуальной машине Java было поручено получить класс или интерфейс, не являющийся массивом, C из предполагаемого представления в формате файла class согласно следующим правилам:

1. Режимы поиска для данного Lookup должны включать доступ с полными привилегиями. Такой уровень доступа необходим для создания C в модуле класса поиска данного Lookup.
2. Предполагаемое представление в формате bytes должно быть структурой ClassFile (JVMS 4.1) поддерживаемой основной и дополнительной версии. Основная и дополнительная версии могут отличаться от версии файла class класса поиска данного Lookup.
3. Значение this_class должно быть допустимым индексом в таблице constant_pool, а запись по этому индексу должна быть допустимой структурой CONSTANT_Class_info. Пусть N — это двоичное имя во внутренней форме, заданное этой структурой. N должно обозначать класс или интерфейс в том же пакете, что и класс поиска.
4. Пусть CN — это строка N + "." + <suffix>, где <suffix> — неквалифицированное имя.

   Пусть newBytes — это структура ClassFile, заданная bytes, с дополнительной записью в таблице constant_pool, указывающей на структуру CONSTANT_Utf8_info для CN, причём структура CONSTANT_Class_info, указанная this_class, ссылается на новую структуру CONSTANT_Utf8_info.

   Пусть L — это определяющий загрузчик классов класса поиска данного Lookup.

   C создаётся с именем CN, загрузчиком классов L и предполагаемым представлением newBytes, как если бы это выполнялось по правилам JVMS 5.3.5, со следующими изменениями:

   • Константе, указанной this_class, разрешено задавать имя, содержащее один символ ".", хотя это не является допустимым двоичным именем класса или интерфейса во внутренней форме.
   • Виртуальная машина Java помечает L как определяющий загрузчик классов для C, но ни один загрузчик классов не записывается как инициирующий загрузчик классов для C.
   • Считается, что C имеет тот же динамический пакет, модуль и домен защиты, что и класс поиска данного Lookup.
   • Пусть GN — это двоичное имя, полученное заменой косых черт ASCII на точки ASCII в N (двоичном имени, записанном во внутренней форме). Для экземпляра Class, представляющего C:
     • Class.getName() возвращает строку GN + "/" + <suffix>, хотя это не является допустимым двоичным именем класса или интерфейса.
     • Class.descriptorString() возвращает строку "L" + N + "." + <suffix> + ";", хотя это не является допустимым именем дескриптора типа.
     • Class.describeConstable() возвращает пустой объект optional, поскольку C нельзя описать в номинальной форме.

После создания C виртуальная машина Java связывает его. Связывание выполняется согласно JVMS 5.4.3 со следующими изменениями:

• Во время проверки, если необходимо загрузить класс с именем CN, попытка завершается успешно и возвращает класс C. Запрос к какому-либо загрузчику классов не выполняется.
• При любой попытке разрешить запись в пуле констант времени выполнения, указанную this_class, считается, что символьная ссылка разрешена в C, и разрешение всегда немедленно завершается успешно.

Если параметр initialize имеет значение true, виртуальная машина Java инициализирует C.

Только что созданный класс или интерфейс C служит классом поиска объекта Lookup, возвращаемого этим методом. C является скрытым в том смысле, что ни один другой класс или интерфейс не может ссылаться на C через запись в пуле констант. То есть скрытый класс или интерфейс не может быть указан другим классом в качестве суперкласса, типа поля, типа параметра метода или типа возвращаемого значения метода. Это объясняется тем, что у скрытого класса или интерфейса нет двоичного имени, поэтому отсутствует внутренняя форма, которую можно было бы записать в пул констант какого-либо класса. Скрытый класс или интерфейс нельзя обнаружить с помощью Class.forName(String, boolean, ClassLoader), ClassLoader.loadClass(String, boolean) или findClass(String), а также нельзя изменить с помощью Java-агентов или инструментальных агентов, использующих интерфейс инструментирования виртуальной машины Java (JVM Tool Interface).

Класс или интерфейс, созданный загрузчиком классов, имеет с ним прочную связь. То есть каждый объект Class содержит ссылку на ClassLoader, который определил его. Это означает, что класс, созданный загрузчиком классов, может быть выгружен только в том случае, если его определяющий загрузчик недостижим и, следовательно, может быть освобождён сборщиком мусора (JLS 12.7). Однако по умолчанию скрытый класс или интерфейс может быть выгружен, даже если загрузчик классов, помеченный как его определяющий загрузчик, достижим. Такое поведение полезно, когда скрытый класс или интерфейс используется несколькими классами, определёнными произвольными загрузчиками классов. В других случаях скрытый класс или интерфейс может быть связан с одним классом (или небольшим числом классов) с тем же определяющим загрузчиком, что и у скрытого класса или интерфейса. В таких случаях, когда время жизни скрытого класса или интерфейса должно совпадать со временем жизни обычного класса или интерфейса, в options можно передать параметр STRONG. Это обеспечивает скрытому классу такую же прочную связь с загрузчиком классов, помеченным как его определяющий загрузчик, какую обычный класс или интерфейс имеет со своим определяющим загрузчиком. Если STRONG не используется, вызывающий defineHiddenClass всё ещё может предотвратить выгрузку скрытого класса или интерфейса, обеспечив достижимость объекта Class.

Характеристики выгрузки устанавливаются для каждого скрытого класса при его создании и не могут быть изменены позднее. Возможность выгружать скрытые классы независимо от загрузчика классов, помеченного как их определяющий загрузчик, позволяет приложению создавать очень большое количество скрытых классов. Напротив, если используется STRONG, JVM может исчерпать память, как и в случае создания обычных классов загрузчиками классов.

Классам и интерфейсам в одном гнезде разрешён взаимный доступ к закрытым членам. Отношение гнезда определяется атрибутом NestHost (JVMS 4.7.28) и атрибутом NestMembers (JVMS 4.7.29) в файле class. По умолчанию скрытый класс входит в гнездо, состоящее только из него самого, поскольку у скрытого класса нет двоичного имени. Параметр NESTMATE можно передать в options, чтобы создать скрытый класс или интерфейс C в качестве участника гнезда. Гнездо, к которому относится C, не определяется каким-либо атрибутом NestHost в структуре ClassFile, из которой был создан C. Вместо этого хозяин гнезда для C определяется следующими правилами:

• Если хозяин гнезда класса поиска данного Lookup уже был определён, пусть H будет хозяином гнезда класса поиска. В противном случае хозяин гнезда класса поиска определяется с помощью алгоритма из JVMS 5.4.4, результатом которого является H.
• Хозяином гнезда для C определяется H — хозяин гнезда класса поиска.

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

Этот метод эквивалентен вызову defineHiddenClass(bytes, initialize, options), как если бы в скрытый класс было внедрено закрытое статическое final-поле без имени, инициализируемое заданным classData первой инструкцией инициализатора класса. Только что созданный класс связывается виртуальной машиной Java.

Методы MethodHandles::classData и MethodHandles::classDataAt можно использовать для получения classData.

• Если доступ не разрешён, суффикс — «/noaccess».
• Если разрешён только безусловный доступ, суффикс — «/publicLookup».
• Если разрешён только открытый доступ к типам в экспортируемых пакетах, суффикс — «/public».
• Если разрешён только открытый доступ и доступ к модулю, суффикс — «/module».
• Если разрешён открытый доступ и доступ к пакету, суффикс — «/package».
• Если разрешены открытый, пакетный и закрытый доступ, суффикс — «/private».

(Может показаться странным, что защищённый доступ имеет более высокий уровень, чем закрытый. Если рассматривать защищённый доступ отдельно от пакетного, он утрачивается первым, поскольку требует наличия непосредственного отношения подкласса между вызывающим и вызываемым объектами.)

Возвращаемый дескриптор метода будет иметь переменную арность тогда и только тогда, когда установлен бит модификатора переменной арности метода (0x0080).

При вызове возвращаемого дескриптора метода класс метода будет инициализирован, если он ещё не был инициализирован.

Пример:

import static java.lang.invoke.MethodHandles.*;
import static java.lang.invoke.MethodType.*;
...
MethodHandle MH_asList = publicLookup().findStatic(Arrays.class,
  "asList", methodType(List.class, Object[].class));
assertEquals("[x, y]", MH_asList.invoke("x", "y").toString());

При вызове дескриптор рассматривает первый аргумент как получателя и для не закрытых методов выбирает реализацию метода на основе типа получателя. Для закрытых методов именованный метод в refc будет вызван для получателя. (Действие диспетчеризации идентично действию, выполняемому инструкцией invokevirtual или invokeinterface.)

Первый аргумент будет иметь тип refc, если класс поиска обладает полными привилегиями для доступа к члену. В противном случае член должен быть protected, а тип первого аргумента будет ограничен классом поиска.

Возвращаемый дескриптор метода будет иметь переменную арность тогда и только тогда, когда установлен бит модификатора переменной арности метода (0x0080).

В силу общей эквивалентности инструкций invokevirtual и дескрипторов методов, создаваемых с помощью findVirtual, если класс является MethodHandle, а строка имени равна invokeExact или invoke, результирующий дескриптор метода эквивалентен дескриптору, созданному с помощью MethodHandles.exactInvoker или MethodHandles.invoker с тем же аргументом type.

Если класс является VarHandle, а строка имени соответствует имени метода режима доступа с полиморфной сигнатурой, результирующий дескриптор метода эквивалентен дескриптору, созданному с помощью MethodHandles.varHandleInvoker(VarHandle.AccessMode, MethodType) с режимом доступа, соответствующим строке имени, и теми же аргументами type.

Пример:

import static java.lang.invoke.MethodHandles.*;
import static java.lang.invoke.MethodType.*;
...
MethodHandle MH_concat = publicLookup().findVirtual(String.class,
  "concat", methodType(String.class, String.class));
MethodHandle MH_hashCode = publicLookup().findVirtual(Object.class,
  "hashCode", methodType(int.class));
MethodHandle MH_hashCode_String = publicLookup().findVirtual(String.class,
  "hashCode", methodType(int.class));
assertEquals("xy", (String) MH_concat.invokeExact("x", "y"));
assertEquals("xy".hashCode(), (int) MH_hashCode.invokeExact((Object)"xy"));
assertEquals("xy".hashCode(), (int) MH_hashCode_String.invokeExact("xy"));
// interface method:
MethodHandle MH_subSequence = publicLookup().findVirtual(CharSequence.class,
  "subSequence", methodType(CharSequence.class, int.class, int.class));
assertEquals("def", MH_subSequence.invoke("abcdefghi", 3, 6).toString());
// constructor "internal method" must be accessed differently:
MethodType MT_newString = methodType(void.class); //()V for new String()
try { assertEquals("impossible", lookup()
        .findVirtual(String.class, "<init>", MT_newString));
 } catch (NoSuchMethodException ex) { } // OK
MethodHandle MH_newString = publicLookup()
  .findConstructor(String.class, MT_newString);
assertEquals("", (String) MH_newString.invokeExact());

Указанный тип должен иметь тип возвращаемого значения void. (Это соответствует тому, как JVM обрабатывает дескрипторы типов конструкторов.)

Возвращаемый дескриптор метода будет иметь переменную арность тогда и только тогда, когда установлен бит модификатора переменной арности конструктора (0x0080).

При вызове возвращаемого дескриптора метода класс конструктора будет инициализирован, если он ещё не был инициализирован.

Пример:

import static java.lang.invoke.MethodHandles.*;
import static java.lang.invoke.MethodType.*;
...
MethodHandle MH_newArrayList = publicLookup().findConstructor(
  ArrayList.class, methodType(void.class, Collection.class));
Collection orig = Arrays.asList("x", "y");
Collection copy = (ArrayList) MH_newArrayList.invokeExact(orig);
assert(orig != copy);
assertEquals(orig, copy);
// a variable-arity constructor:
MethodHandle MH_newProcessBuilder = publicLookup().findConstructor(
  ProcessBuilder.class, methodType(void.class, String[].class));
ProcessBuilder pb = (ProcessBuilder)
  MH_newProcessBuilder.invoke("x", "y", "z");
assertEquals("[x, y, z]", pb.command().toString());

Для класса или интерфейса именем является двоичное имя. Для массива размерности n имя начинается с n вхождений '[', за которыми следует тип элемента, закодированный в таблице, указанной в Class.getName().

Контекст поиска здесь определяется классом поиска, его загрузчиком классов и режимами поиска.

Метод возвращает управление, когда targetClass полностью инициализирован или когда targetClass инициализируется текущим потоком.

Если targetClass находится в том же модуле, что и класс поиска, класс поиска находится LC в модуле M1, а предыдущий класс поиска находится в модуле M0 или null, если он отсутствует, то targetClass доступен тогда и только тогда, когда выполняется одно из следующих условий:

• Если у этого поиска есть доступ PRIVATE, targetClass — это LC или другой класс в том же гнезде, что и LC.
• Если у этого поиска есть доступ PACKAGE, targetClass находится в том же пакете времени выполнения, что и LC.
• Если у этого поиска есть доступ MODULE, targetClass является открытым типом в M1.
• Если у этого поиска есть доступ PUBLIC, targetClass является открытым типом в пакете, экспортируемом M1 как минимум для M0, если предыдущий класс поиска присутствует; в противном случае targetClass является открытым типом в пакете, безусловно экспортируемом M1.

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

В противном случае targetClass находится в модуле, отличном от lookupClass, и если у этого поиска нет доступа PUBLIC, то lookupClass недоступен.

В противном случае, если у этого поиска нет предыдущего класса поиска, M1 — это модуль, содержащий lookupClass, а M2 — это модуль, содержащий targetClass, то targetClass доступен тогда и только тогда, когда

• M1 читает M2, и
• targetClass является открытым и находится в пакете, экспортируемом M2 как минимум для M1.

В противном случае, если у этого поиска есть предыдущий класс поиска, M1 и M2 определены как прежде, а M0 — это модуль, содержащий предыдущий класс поиска, то targetClass доступен тогда и только тогда, когда выполняется одно из следующих условий:

• targetClass находится в M0, и M1 читает Module.canRead(Module) M0, а тип находится в пакете, экспортируемом как минимум для M1.
• targetClass находится в M1, и M0 читает Module.canRead(Module) M1, а тип находится в пакете, экспортируемом как минимум для M0.
• targetClass находится в третьем модуле M2, и как M0, так и M1 читают M2, а тип находится в пакете, экспортируемом как минимум для обоих модулей: M0 и M2.

В противном случае targetClass недоступен.

До разрешения метода доступ запрещается, если явно указанный класс вызывающего кода не совпадает с классом поиска или если у этого объекта поиска нет привилегий закрытого доступа.

Возвращённый дескриптор метода будет иметь переменную арность тогда и только тогда, когда установлен бит-модификатор переменной арности метода (0x0080).

(Примечание. Внутренние методы JVM с именем "<init>" недоступны через этот API, хотя инструкция invokespecial может ссылаться на них в особых случаях. Используйте findConstructor для безопасного доступа к методам инициализации экземпляров.)

Пример:

import static java.lang.invoke.MethodHandles.*;
import static java.lang.invoke.MethodType.*;
...
static class Listie extends ArrayList {
  public String toString() { return "[wee Listie]"; }
  static Lookup lookup() { return MethodHandles.lookup(); }
}
...
// no access to constructor via invokeSpecial:
MethodHandle MH_newListie = Listie.lookup()
  .findConstructor(Listie.class, methodType(void.class));
Listie l = (Listie) MH_newListie.invokeExact();
try { assertEquals("impossible", Listie.lookup().findSpecial(
        Listie.class, "<init>", methodType(void.class), Listie.class));
 } catch (NoSuchMethodException ex) { } // OK
// access to super and self methods via invokeSpecial:
MethodHandle MH_super = Listie.lookup().findSpecial(
  ArrayList.class, "toString" , methodType(String.class), Listie.class);
MethodHandle MH_this = Listie.lookup().findSpecial(
  Listie.class, "toString" , methodType(String.class), Listie.class);
MethodHandle MH_duper = Listie.lookup().findSpecial(
  Object.class, "toString" , methodType(String.class), Listie.class);
assertEquals("[]", (String) MH_super.invokeExact(l));
assertEquals(""+l, (String) MH_this.invokeExact(l));
assertEquals("[]", (String) MH_duper.invokeExact(l)); // ArrayList method
try { assertEquals("inaccessible", Listie.lookup().findSpecial(
        String.class, "toString", methodType(String.class), Listie.class));
 } catch (IllegalAccessException ex) { } // OK
Listie subl = new Listie() { public String toString() { return "[subclass]"; } };
assertEquals(""+l, (String) MH_this.invokeExact(subl)); // Listie method

Проверка доступа немедленно выполняется от имени класса поиска.

При следующих условиях некоторые режимы доступа возвращённого VarHandle не поддерживаются:

• если поле объявлено как final, то режимы доступа для записи, атомарного обновления, числового атомарного обновления и побитового атомарного обновления не поддерживаются.
• если тип поля не является byte, short, char, int, long, float или double, то режимы доступа для числового атомарного обновления не поддерживаются.
• если тип поля не является boolean, byte, short, char, int или long, то режимы доступа для побитового атомарного обновления не поддерживаются.

Если поле объявлено как volatile, возвращённый VarHandle переопределяет доступ к полю (фактически игнорируя объявление volatile) в соответствии с указанными для него режимами доступа.

Если тип поля — float или double, режимы доступа для числового и атомарного обновления сравнивают значения по их побитовому представлению (см. соответственно Float.floatToRawIntBits(float) и Double.doubleToRawLongBits(double)).

При вызове возвращённого дескриптора метода класс поля будет инициализирован, если он ещё не был инициализирован.

При вызове возвращённого дескриптора метода класс поля будет инициализирован, если он ещё не был инициализирован.

Проверка доступа немедленно выполняется от имени класса поиска.

При выполнении операций с возвращённым VarHandle объявляющий класс будет инициализирован, если он ещё не был инициализирован.

При следующих условиях некоторые режимы доступа возвращённого VarHandle не поддерживаются:

• если поле объявлено как final, то режимы доступа для записи, атомарного обновления, числового атомарного обновления и побитового атомарного обновления не поддерживаются.
• если тип поля не является byte, short, char, int, long, float или double, то режимы доступа для числового атомарного обновления не поддерживаются.
• если тип поля не является boolean, byte, short, char, int или long, то режимы доступа для побитового атомарного обновления не поддерживаются.

Если поле объявлено как volatile, возвращённый VarHandle переопределяет доступ к полю (фактически игнорируя объявление volatile) в соответствии с указанными для него режимами доступа.

Если тип поля — float или double, режимы доступа для числового и атомарного обновления сравнивают значения по их побитовому представлению (см. соответственно Float.floatToRawIntBits(float) и Double.doubleToRawLongBits(double)).

Возвращённый дескриптор метода будет иметь переменную арность тогда и только тогда, когда установлен бит-модификатор переменной арности метода (0x0080) и завершающий аргумент-массив не является единственным аргументом. (Если завершающий аргумент-массив является единственным аргументом, к нему будет привязано значение заданного получателя.)

Это почти эквивалентно следующему коду, за исключением различий, перечисленных ниже:

import static java.lang.invoke.MethodHandles.*;
import static java.lang.invoke.MethodType.*;
...
MethodHandle mh0 = lookup().findVirtual(defc, name, type);
MethodHandle mh1 = mh0.bindTo(receiver);
mh1 = mh1.withVarargs(mh0.isVarargsCollector());
return mh1;

Возвращённый дескриптор метода будет иметь переменную арность тогда и только тогда, когда установлен бит-модификатор переменной арности метода (0x0080).

Если m является статическим и возвращённый дескриптор метода вызывается, класс метода будет инициализирован, если он ещё не был инициализирован.

До разрешения метода доступ запрещается, если явно указанный класс вызывающего кода не совпадает с классом поиска или если у этого объекта поиска нет привилегий закрытого доступа.

Возвращённый дескриптор метода будет иметь переменную арность тогда и только тогда, когда установлен бит-модификатор переменной арности метода (0x0080).

Если флаг accessible конструктора не установлен, проверка доступа немедленно выполняется от имени класса поиска.

Возвращенный дескриптор метода будет иметь переменное число аргументов тогда и только тогда, когда установлен бит модификатора переменного числа аргументов конструктора (0x0080).

При вызове возвращенного дескриптора метода класс конструктора будет инициализирован, если он еще не был инициализирован.

Если поле является статическим и возвращенный дескриптор метода вызывается, класс поля будет инициализирован, если он еще не был инициализирован.

Если поле является final, доступ для записи будет запрещен и проверка доступа завершится неудачей, за исключением определенных узких обстоятельств, описанных для Field.set. Дескриптор метода возвращается только в том случае, если соответствующий вызов метода set объекта Field мог бы завершиться нормально. В частности, поля, которые одновременно являются static и final, никогда не могут быть установлены.

Если поле является static и возвращенный дескриптор метода вызывается, класс поля будет инициализирован, если он еще не был инициализирован.

Проверка доступа немедленно выполняется от имени класса поиска независимо от значения флага accessible поля.

Если поле является статическим и над возвращенным VarHandle выполняется операция, объявляющий класс поля будет инициализирован, если он еще не был инициализирован.

При следующих условиях некоторые режимы доступа возвращенного VarHandle не поддерживаются:

• если поле объявлено как final, режимы доступа для записи, атомарного обновления, числового атомарного обновления и побитового атомарного обновления не поддерживаются.
• если тип поля не является byte, short, char, int, long, float или double, режимы доступа для числового атомарного обновления не поддерживаются.
• если тип поля не является boolean, byte, short, char, int или long, режимы доступа для побитового атомарного обновления не поддерживаются.

Если поле объявлено как volatile, возвращенный VarHandle будет переопределять доступ к полю (фактически игнорируя объявление volatile) в соответствии с указанными для него режимами доступа.

Если тип поля — float или double, числовые режимы доступа и режимы доступа атомарного обновления сравнивают значения, используя их побитовое представление (см. Float.floatToRawIntBits(float) и Double.doubleToRawLongBits(double) соответственно).