Интерфейс Constable

public interface Constable

Представляет тип, который является константным. Константный тип — это тип, значения которого являются константами, которые могут быть представлены в пуле констант файла класса Java, как описано в JVMS 4.4, и экземпляры которого могут номинально описывать себя как ConstantDesc.

Некоторые константные типы имеют собственное представление в пуле констант: String, Integer, Long, Float, Double, Class, MethodType и MethodHandle. Типы String, Integer, Long, Float и Double служат собственными номинальными дескрипторами; у Class, MethodType и MethodHandle есть соответствующие номинальные дескрипторы ClassDesc, MethodTypeDesc и MethodHandleDesc.

Другие ссылочные типы могут быть константными, если их экземпляры могут описывать себя в номинальной форме как ConstantDesc. В API платформы Java SE к таким типам относятся типы, поддерживающие возможности языка Java, например Enum, а также классы поддержки времени выполнения, такие как VarHandle. Обычно они описываются с помощью DynamicConstantDesc, который описывает динамически создаваемые константы (JVMS 4.4.10).

Номинальная форма экземпляра константного типа получается с помощью describeConstable(). Constable не обязан уметь (или может предпочесть не) описывать все свои экземпляры в форме ConstantDesc; этот метод возвращает Optional, который может быть пустым, указывая на то, что для экземпляра не удалось создать номинальный дескриптор. (Например, MethodHandle создаёт номинальные дескрипторы для прямых дескрипторов методов, но не обязательно для дескрипторов, созданных комбинаторами дескрипторов методов.)