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