Интерфейс 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 будет создавать номинальные описатели для прямых обработчиков методов, но не обязательно для тех, которые созданы комбинаторами обработчиков методов.)