Класс SwitchBootstraps
public class SwitchBootstraps extends Object
SwitchBootstraps является предварительным API платформы Java. invokedynamic мест вызова, которые реализуют функциональность выбора оператора switch. Загрузчики принимают дополнительные статические аргументы, соответствующие case меткам switch, неявным образом пронумерованные последовательно, начиная с [0..N).- Since:
- 17
Краткое описание методов
| Модификатор и тип | Метод | Описание |
|---|---|---|
static CallSite |
enumSwitch |
Метод-загрузчик для связывания места вызова invokedynamic , реализующего switch над целевым объектом перечисления. |
static CallSite |
typeSwitch |
Метод-загрузчик для связывания места вызова invokedynamic , реализующего switch над целевым объектом ссылочного типа. |
Подробное описание методов
typeSwitch
public static CallSite typeSwitch(MethodHandles.Lookup lookup, String invocationName, MethodType invocationType, Object... labels)
invokedynamic , реализующего switch над целевым объектом ссылочного типа. Статические аргументы представляют собой массив меток случаев, которые не должны быть null и иметь тип String или Integer или Class. Тип возвращаемого CallSite метода-обработчика будет иметь тип возвращаемого значения int. Он имеет два параметра: первый параметр будет экземпляром Object (target), а второй - int (restart).
Если target равен null, метод места вызова возвращает -1.
Если target не равен null, метод места вызова возвращает индекс первого элемента в массиве labels начиная с индекса restart, удовлетворяющего одному из следующих условий:
- элемент имеет тип
Class, присваиваемый классу целевого объекта; - элемент имеет тип
StringилиIntegerи равен целевому объекту.
Если ни один элемент в массиве labels не соответствует целевому объекту, метод места вызова возвращает длину массива labels.
- Параметры:
-
lookup- Представляет контекст поиска с правами доступа вызывающего кода. При использовании сinvokedynamic, это автоматически помещается в стек виртуальной машиной. -
invocationName- не используется -
invocationType- Тип вызоваCallSiteс двумя параметрами: ссылочный тип,int, иintв качестве типа возвращаемого значения. -
labels- метки случаев -StringиIntegerконстанты иClassэкземпляры, в любой комбинации - Возвращает:
CallSiteвозвращает первый соответствующий элемент, как описано выше- Исключение:
-
NullPointerException- если какой-либо аргумент равенnull -
IllegalArgumentException- если какой-либо элемент в массиве меток равен null, если тип вызова не является типом метода с первым параметром ссылочного типа, вторым параметром типаintи с типом возвращаемого значенияint, или еслиlabelsсодержит элемент, который не является типомString,IntegerилиClass. - См. Спецификацию виртуальной машины Java:
- 4.4.6 Структура CONSTANT_NameAndType_info
4.4.10 Структуры CONSTANT_Dynamic_info и CONSTANT_InvokeDynamic_info
enumSwitch
public static CallSite enumSwitch(MethodHandles.Lookup lookup, String invocationName, MethodType invocationType, Object... labels)
invokedynamic , реализующего switch над целевым объектом типа перечисления. Статические аргументы используются для кодирования меток случаев, связанных с конструкцией switch, где каждая метка может быть закодирована двумя способами: - как значение
String, которое представляет имя константы перечисления, связанной с меткой; - как значение
Class, которое представляет тип перечисления, связанный с шаблоном проверки типа.
Возвращаемый метод-обработчик CallSite будет иметь тип возвращаемого значения int и принимать два параметра: первый параметр будет экземпляром Enum (target), а второй - int (restart).
Если target равен null, метод места вызова возвращает -1.
Если target не равен null, метод места вызова возвращает индекс первого элемента в массиве labels начиная с индекса restart, удовлетворяющего одному из следующих условий:
- элемент имеет тип
Class, присваиваемый классу целевого объекта; или - элемент имеет тип
Stringи равен значению константы перечисления целиEnum.name().
Если ни один элемент в массиве labels не соответствует целевому объекту, метод места вызова возвращает длину массива labels.
- Параметры:
-
lookup- Представляет контекст поиска с правами доступа вызывающего кода. При использовании сinvokedynamic, это автоматически помещается в стек виртуальной машиной. -
invocationName- не используется -
invocationType- Тип вызоваCallSiteс двумя параметрами: тип перечисления,int, иintв качестве типа возвращаемого значения. -
labels- метки случаев -Stringконстанты иClassэкземпляры, в любой комбинации - Возвращает:
CallSiteвозвращает первый соответствующий элемент, как описано выше- Исключение:
-
NullPointerException- если какой-либо аргумент равенnull -
IllegalArgumentException- если какой-либо элемент в массиве меток равен null, если тип вызова не является типом метода, у которого первый параметр - тип перечисления, второй параметр типаintи возвращаемый тип -int, или еслиlabelsсодержит элемент, который не является типомStringилиClassцелевого типа перечисления. - См. Спецификацию виртуальной машины Java:
- 4.4.6 Структура CONSTANT_NameAndType_info
4.4.10 Структуры CONSTANT_Dynamic_info и CONSTANT_InvokeDynamic_info
© 1993, 2021, Oracle and/or its affiliates. All rights reserved.
Documentation extracted from Debian's OpenJDK Development Kit package.
Licensed under the GNU General Public License, version 2, with the Classpath Exception.
Various third party code in OpenJDK is licensed under different licenses (see Debian package).
Java and OpenJDK are trademarks or registered trademarks of Oracle and/or its affiliates.
https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/lang/runtime/SwitchBootstraps.html
SwitchBootstrapsтолько при включенных предварительных функциях.