Класс LambdaMetafactory

Методы для облегчения создания простых "функциональных объектов", которые реализуют один или несколько интерфейсов путём делегирования предоставленному MethodHandle, возможно, после адаптации типов и частичной оценки аргументов. Эти методы обычно используются как методы-загрузчики для invokedynamic мест вызова, для поддержки лямбда-выражений и ссылок на методы в языке программирования Java.

Непрямой доступ к поведению, заданному предоставленным MethodHandle, происходит поэтапно через три фазы:

• Связывание происходит при вызове методов в этом классе. Они принимают в качестве аргументов интерфейс, подлежащий реализации (обычно функциональный интерфейс, с одним абстрактным методом), имя и сигнатуру метода из этого интерфейса, подлежащего реализации, дескриптор метода, описывающий желаемое поведение реализации для этого метода, и, возможно, другую дополнительную метаданные, и создают CallSite, цель которого может быть использована для создания соответствующих функциональных объектов. Связывание может включать динамическую загрузку нового класса, реализующего целевой интерфейс. CallSite можно рассматривать как "фабрику" функциональных объектов, поэтому эти методы связывания называются "метафабриками".
• Захват происходит при вызове цели CallSite, обычно через invokedynamic место вызова, создавая функциональный объект. Это может происходить многократно для одной фабрики CallSite. Захват может включать выделение нового функционального объекта или возвращение существующего функционального объекта. Поведение MethodHandle может иметь дополнительные параметры помимо параметров указанного метода интерфейса; эти параметры называются захваченными параметрами, которые должны быть предоставлены в качестве аргументов целевому объекту CallSite, и которые могут быть связаны с поведением MethodHandle в начале. Количество захваченных параметров и их типы определяются во время связывания.
• Вызов происходит при вызове реализованного метода интерфейса на функциональном объекте. Это может происходить многократно для одного функционального объекта. Метод, на который ссылается поведение MethodHandle , вызывается с захваченными аргументами и любыми дополнительными аргументами, предоставленными при вызове, как если бы с помощью MethodHandle.invoke(Object...).

Иногда полезно ограничить набор входов или результатов, разрешённых при вызове. Например, когда обобщённый интерфейс Predicate<T> параметризован как Predicate<String>, вход должен быть String, даже если метод для реализации позволяет любые Object. Во время связывания дополнительный параметр MethodType описывает "инстанцированный" тип метода; при вызове аргументы и конечный результат проверяются относительно этого MethodType.

Этот класс предоставляет два типа методов связывания: стандартную версию (metafactory(MethodHandles.Lookup, String, MethodType, MethodType, MethodHandle, MethodType)) с использованием оптимизированного протокола и альтернативную версию altMetafactory(MethodHandles.Lookup, String, MethodType, Object...). Альтернативная версия является обобщением стандартной версии, предоставляя дополнительный контроль над поведением сгенерированных функциональных объектов через флаги и дополнительные аргументы. Альтернативная версия добавляет возможность управления следующими атрибутами функциональных объектов:

• Мостирование. Иногда полезно реализовать несколько вариантов сигнатуры метода, включая адаптацию аргументов или типов возврата. Это происходит, когда несколько различных сигнатур VM для метода логически считаются одним методом языком. Флаг FLAG_BRIDGES указывает, что будет предоставлен список дополнительных MethodType , каждый из которых будет реализован результирующим функциональным объектом. Эти методы будут иметь одинаковое имя и инстанцированный тип.
• Несколько интерфейсов. При необходимости, функциональный объект может реализовывать более одного интерфейса. (Эти дополнительные интерфейсы обычно являются маркерными интерфейсами без методов.) Флаг FLAG_MARKERS указывает, что будет предоставлен список дополнительных интерфейсов, каждый из которых должен быть реализован результирующим функциональным объектом.
• Сериализация. Сгенерированные функциональные объекты, как правило, не поддерживают сериализацию. Если необходимо, FLAG_SERIALIZABLE можно использовать для указания, что функциональные объекты должны быть сериализуемыми. Сериализуемые функциональные объекты будут использовать в качестве своей сериализованной формы экземпляры класса SerializedLambda, что требует дополнительной помощи от захватывающего класса (класса, описанного параметром MethodHandles.Lookup caller); см. SerializedLambda для подробностей.

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

• invokedType (описывающий сигнатуру CallSite) имеет K параметров типов (D1..Dk) и тип возврата Rd;
• samMethodType (описывающий реализуемый тип метода) имеет N параметров типов (U1..Un) и тип возврата Ru;
• implMethod (метод MethodHandle, обеспечивающий реализацию, имеет M параметров типов (A1..Am) и тип возврата Ra (если метод описывает метод экземпляра, тип метода этого дескриптора метода уже включает дополнительный первый аргумент, соответствующий получателю);
• instantiatedMethodType (разрешающий ограничения при вызове) имеет N параметров типов (T1..Tn) и тип возврата Rt.

Тогда должны выполняться следующие инварианты связывания:

• Rd является интерфейсом
• implMethod является прямым дескриптором метода
• samMethodType и instantiatedMethodType имеют одинаковую арность N, и для i=1..N, Ti и Ui являются одним типом, или Ti и Ui являются ссылками на типы и Ti является подтипом Ui
• Либо Rt и Ru являются одним типом, либо оба являются ссылками на типы и Rt является подтипом Ru
• K + N = M
• Для i=1..K, Di = Ai
• Для i=1..N, Ti адаптируем к Aj, где j=i+k
• Тип возврата Rt является пустым, или тип возврата Ra не является пустым и адаптируем к Rt

Кроме того, во время захвата, если implMethod соответствует методу экземпляра и существуют какие-либо аргументы захвата (K > 0 ), то первый аргумент захвата (соответствующий получателю) должен быть не null.

Тип Q считается адаптируемым к S следующим образом:

Поля

FLAG_SERIALIZABLE

public static final int FLAG_SERIALIZABLE

Флаг для альтернативных метафабрик, указывающий, что объект лямбда должен быть сериализуем

См. также:

Значения константных полей

FLAG_MARKERS

public static final int FLAG_MARKERS

Флаг для альтернативных метафабрик, указывающий, что объект лямбда реализует другие маркерные интерфейсы помимо Serializable

См. также:

Значения константных полей

FLAG_BRIDGES

public static final int FLAG_BRIDGES

Флаг для альтернативных метафабрик, указывающий, что объекту лямбда требуются дополнительные мостовые методы

См. также:

Значения константных полей

Конструкторы

LambdaMetafactory

public LambdaMetafactory()

Методы

metafactory

public static CallSite metafactory(MethodHandles.Lookup caller,
                                   String invokedName,
                                   MethodType invokedType,
                                   MethodType samMethodType,
                                   MethodHandle implMethod,
                                   MethodType instantiatedMethodType)
                            throws LambdaConversionException

Параметры:

caller - Представляет контекст поиска с правами доступа вызывающего. При использовании с invokedynamic, он автоматически добавляется в стек виртуальной машиной.

invokedName - Имя метода для реализации. При использовании с invokedynamic, оно предоставляется NameAndType структуры InvokeDynamic и автоматически добавляется в стек виртуальной машиной.

invokedType - Ожидаемая сигнатура CallSite. Типы параметров представляют типы переменных захвата; возвращаемый тип — интерфейс для реализации. При использовании с invokedynamic, он предоставляется NameAndType структуры InvokeDynamic и автоматически добавляется в стек виртуальной машиной. В случае, если метод реализации является методом экземпляра и эта сигнатура имеет какие-либо параметры, первый параметр в сигнатуре вызова должен соответствовать получателю.

samMethodType - Подпись и возвращаемый тип метода, который должен реализовываться функциональным объектом.

implMethod - Прямая обработка метода, описывающая метод реализации, который должен быть вызван (с соответствующим преобразованием типов аргументов, типов возврата и с предварительно добавленными аргументами захвата к аргументам вызова) во время вызова.

instantiatedMethodType - Подпись и возвращаемый тип, который должен динамически применяться во время вызова. Он может быть таким же, как samMethodType, или может быть его специализацией.

Возвращает:

CallSite, целевой объект которого может использоваться для захвата, генерирования экземпляров интерфейса, названного invokedType

Исключение:

LambdaConversionException - Если какие-либо из правил связывания, описанных в above, нарушены

altMetafactory

public static CallSite altMetafactory(MethodHandles.Lookup caller,
                                      String invokedName,
                                      MethodType invokedType,
                                      Object... args)
                               throws LambdaConversionException

CallSite altMetafactory(MethodHandles.Lookup caller,
                          String invokedName,
                          MethodType invokedType,
                          Object... args)

CallSite altMetafactory(MethodHandles.Lookup caller,
                          String invokedName,
                          MethodType invokedType,
                          MethodType samMethodType,
                          MethodHandle implMethod,
                          MethodType instantiatedMethodType,
                          int flags,
                          int markerInterfaceCount,  // IF flags has MARKERS set
                          Class... markerInterfaces, // IF flags has MARKERS set
                          int bridgeCount,           // IF flags has BRIDGES set
                          MethodType... bridges      // IF flags has BRIDGES set
                          )

Параметры:

caller - Представляет контекст поиска с правами доступа вызывающего. При использовании с invokedynamic, он автоматически добавляется в стек виртуальной машиной.

invokedName - Имя метода для реализации. При использовании с invokedynamic, оно предоставляется NameAndType структуры InvokeDynamic и автоматически добавляется в стек виртуальной машиной.

invokedType - Ожидаемая сигнатура CallSite. Типы параметров представляют типы переменных захвата; возвращаемый тип — интерфейс для реализации. При использовании с invokedynamic, он предоставляется NameAndType структуры InvokeDynamic и автоматически добавляется в стек виртуальной машиной. В случае, если метод реализации является методом экземпляра и эта сигнатура имеет какие-либо параметры, первый параметр в сигнатуре вызова должен соответствовать получателю.

args - Массив Object[] содержащий необходимые аргументы samMethodType, implMethod, instantiatedMethodType, flags, и любые необязательные аргументы, как описано в altMetafactory(MethodHandles.Lookup, String, MethodType, Object...) выше}

Возвращает:

CallSite, целевой объект которого может использоваться для захвата, генерирования экземпляров интерфейса, названного invokedType

Исключение:

LambdaConversionException - Если какие-либо из правил связывания, описанных в above, нарушены