Интерфейс LinkerServices

MethodHandle asType(MethodHandle handle, MethodType fromType)

Аналогично MethodHandle.asType(MethodType), но также подключает обработчики методов, созданные всеми доступными реализациями GuardingTypeConverterFactory, обеспечивая специфичную для языка кодирование типов параметров. Он будет применять MethodHandle.asType(MethodType) для всех преобразований примитив-примитив, обёртка-примитив, примитив-обёртка, а также для всех расширений. Для всех остальных преобразований он вставит MethodHandles.filterArguments(MethodHandle, int, MethodHandle...) с составными фильтрами, предоставляемыми реализациями GuardingTypeConverterFactory.

default MethodHandle asTypeLosslessReturn(MethodHandle handle, MethodType fromType)

Аналогично asType(MethodHandle, MethodType), за исключением того, что он специально обрабатывает преобразование типа возвращаемого значения. Он преобразует тип возвращаемого значения обработчика метода только в том случае, если это можно сделать с помощью преобразования, не теряющего ни точности, ни величины, в противном случае он оставляет его неизменным. Это единственные преобразования возвращаемого значения, которые должны выполняться индивидуальными линкерами, специфичными для языка, и pre-link transformer of the dynamic linker должен реализовать стратегию обработки потенциально потери точности преобразований типа возвращаемого значения способом, специфичным для среды выполнения языка, в которой находится место вызова.

MethodHandle getTypeConverter(Class<?> sourceType, Class<?> targetType)

Принимая исходный и целевой тип, возвращает обработчик метода, который преобразует между ними. Никогда не возвращает null; в худшем случае он вернёт преобразование тождества (которое может потерпеть неудачу для некоторых значений во время выполнения). Вам редко нужно использовать этот метод напрямую и вы, в основном, должны полагаться на asType(MethodHandle, MethodType) вместо этого. Этот метод необходим, когда вам нужно повторно использовать существующую механику преобразования типов за пределами контекста обработки запроса связи.

boolean canConvert(Class<?> from, Class<?> to)

Возвращает true, если может существовать преобразование между запрошенными типами (либо автоматическое JVM-преобразование, либо предоставленное любыми доступными реализациями GuardingTypeConverterFactory), или false, если определённо не существует преобразования между запрошенными типами. Обратите внимание, что возвращение true не гарантирует, что преобразование будет успешным во время выполнения для всех значений (особенно если типы «из» или «в» достаточно универсальны), но возвращение false гарантирует, что оно потерпит неудачу.

GuardedInvocation getGuardedInvocation(LinkRequest linkRequest) throws Exception

Создаёт защищённый вызов, делегирующий обратно DynamicLinker, который экспонирует этот объект сервисов линкера. Динамический линкер затем сам делегирует связывание всем управляемым GuardingDynamicLinker включая, потенциально, этот, если ни один линкер не отреагирует раньше, так что будьте осторожны с рекурсией. Вы, как правило, создаёте запрос связи таким образом, чтобы он отличался от того, который вы пытаетесь связать в данный момент.

ConversionComparator.Comparison compareConversion(Class<?> sourceType, Class<?> targetType1, Class<?> targetType2)

Определяет, какое из двух преобразований типов из исходного типа в два целевых типа предпочтительнее. Это используется для динамического разрешения перегруженных методов. Если исходный тип преобразуется ровно в один целевой тип с преобразованием вызова метода, он выбирается; в противном случае консультируются доступные ConversionComparator.

MethodHandle filterInternalObjects(MethodHandle target)

Изменяет обработчик метода так, что любые параметры, которые могут получать потенциально внутренние объекты среды выполнения языка, получат фильтр, предотвращающий их утечку, возможно, путём их обертывания. Также может добавить фильтр разворачивания для возвращаемого значения. В основном преобразует обработчик метода с помощью преобразователя, настроенного DynamicLinkerFactory.setInternalObjectsFilter(MethodHandleTransformer).

<T> T getWithLookup(Supplier<T> operation, SecureLookupSupplier lookupSupplier)

Выполняет операцию в контексте конкретного объекта поиска MethodHandles.Lookup. Обычно методы на LinkerServices вызываются в рамках механизма связывания, в котором Dynalink внутренне поддерживает текущий поиск на поток (относительно описания места вызова, к которому связывается). Этот поиск может быть получен любым GuardingTypeConverterFactory, участвующим в связывании, если ему необходимо сгенерировать чувствительные к поиску преобразователи. Тем не менее, методы сервисов линкера могут вызываться вне процесса связывания, когда реализуются схемы обработки вызовов во время вызова, вызывая преобразования во время выполнения и т. д. Если понадобится использовать любой преобразователь типов в этой ситуации и ему понадобится поиск, он обычно получит только MethodHandles.publicLookup(), так как поток не участвует в процессе связывания. Если существует способ осмысленно связать операцию с контекстом какого-либо класса вызывающего, рассмотрите возможность выполнения её в рамках вызова этого метода и передачи полного поиска для этого класса, так как это свяжет этот поиск с текущим потоком на время выполнения операции. Обратите внимание, что, поскольку вы передаёте SecureLookupSupplier, все вызываемые фабрики преобразователей типов всё ещё должны обладать необходимым правом выполнения, чтобы иметь возможность получить поиск, если им это потребуется.