Пакет java.lang.constant

Классы и интерфейсы для представления номинальных описателей для объектов во время выполнения, таких как классы или обработчики методов, и сущностей файлов класса, таких как записи пула констант или invokedynamic места вызова. Эти классы подходят для использования в API чтения и записи байткода, invokedynamic bootstrap-процессах, API встроенных операций байткода и инструментах анализа программ на этапе компиляции или компоновки.

Каждый API, который читает и записывает инструкции байткода, должен моделировать операнды этих инструкций и другие структуры файлов класса (например, записи в таблице методов bootstrap или карты стека, которые часто ссылаются на записи в пуле констант файла класса.) Такие записи могут обозначать значения фундаментальных типов, такие как строки или целые числа; части программы, такие как классы или обработчики методов; или значения произвольных типов, определённых пользователем. Иерархия ConstantDesc предоставляет представление записей пула констант в номинальной форме, удобное для API для моделирования операндов инструкций байткода.

Номинальные описатели

A ConstantDesc — это описание константного значения. Такое описание — номинальная форма константного значения; это не само значение, а скорее «рецепт» для описания значения, хранения значения в записи пула констант или восстановления значения с учётом контекста загрузки класса. Каждый ConstantDesc знает, как разрешить себя — вычислить значение, которое он описывает — с помощью ConstantDesc.resolveConstantDesc. Это позволяет API, принимающему объекты ConstantDesc, вычислять их рефлексивно, при условии, что классы и методы, указанные в их номинальном описании, присутствуют и доступны.

Подтипы ConstantDesc описывают различные виды константных значений. Для каждого типа загружаемой записи пула констант, определённого в JVMS 4.4, существует соответствующий подтип ConstantDesc: ClassDesc, MethodTypeDesc, DirectMethodHandleDesc, String, Integer, Long, Float, Double и DynamicConstantDesc. Эти классы предоставляют методы доступа, специфичные для типа, для извлечения номинальной информации для этого вида константы. Когда API записи байткода сталкивается с ConstantDesc, он должен проверить, к какому из этих типов он относится, привести его, извлечь его номинальную информацию и сгенерировать соответствующую запись в пуле констант. При столкновении API чтения байткода с записью пула констант он может преобразовать её в соответствующий тип номинального описателя. Для динамических констант API чтения байткода может захотеть использовать фабрику DynamicConstantDesc.ofCanonical, которая проверит bootstrap и, для известных bootstrap-процессов, вернёт более специфичный подтип DynamicConstantDesc, такой как Enum.EnumDesc.

Другой способ получения номинального описания значения — спросить само значение. Constable — это тип, значения которого могут описывать себя в номинальной форме как ConstantDesc. Фундаментальные типы, такие как String и Class, реализуют Constable, как и пользовательские классы. Сущности, которые генерируют файлы класса (например, компиляторы), могут просматривать объекты constable, чтобы получить более эффективный способ представления их значений в файлах класса.

Этот пакет также включает DynamicCallSiteDesc, который представляет запись пула констант (не загружаемую) Constant_InvokeDynamic_info. Он описывает метод bootstrap, имя и тип вызова, а также аргументы bootstrap, связанные с инструкцией invokedynamic. Он также подходит для описания invokedynamic мест вызова в API чтения и записи байткода.