Пакет java.lang.constant

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

Каждый API, который читает и записывает инструкции байткода, должен моделировать операнды этих инструкций и другие структуры файлов класса (например, записи в таблице методов загрузки или карты стека, которые часто ссылаются на записи в пуле констант файла класса). Такие записи могут обозначать значения фундаментальных типов, такие как строки или целые числа; части программы, такие как классы или обработчики методов; или значения произвольных типов, определённых пользователем. Иерархия 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, которая будет проверять загрузку и, для известных загрузчиков, возвращать более конкретный подтип DynamicConstantDesc, такой как Enum.EnumDesc.

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

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

Другие члены этого пакета — ModuleDesc и PackageDesc. Они представляют структуры модулей и пакетов, пригодные для описания модулей и их содержимого в API чтения и записи байткода.