Класс MethodType

public final class MethodType extends Object implements Constable, TypeDescriptor.OfMethod<Class<?>,MethodType>, Serializable

Тип метода представляет аргументы и возвращаемый тип, принимаемые и возвращаемые обработчиком метода, или аргументы и возвращаемый тип, передаваемые и ожидаемые вызывающим обработчиком метода. Типы методов должны быть правильно согласованы между обработчиком метода и всеми его вызывающими сторонами, и операции JVM обеспечивают это соответствие при, конкретно, вызовах MethodHandle.invokeExact и MethodHandle.invoke, и во время выполнения инструкций invokedynamic.

Структура — это возвращаемый тип, сопровождаемый любым количеством типов параметров. Типы (примитивные, void, и ссылочные) представлены объектами Class. (Для простоты изложения, мы рассматриваем void так, как будто это тип. На самом деле, это обозначает отсутствие возвращаемого типа.)

Все экземпляры MethodType являются неизменяемыми. Два экземпляра полностью взаимозаменяемы, если они равны. Равенство зависит от парного соответствия типов возвращаемого значения и параметров и ни от чего больше.

Этот тип может быть создан только методами-фабриками. Все методы-фабрики могут кэшировать значения, хотя кэширование не гарантируется. Некоторые методы-фабрики являются статическими, в то время как другие — виртуальными методами, которые изменяют предшествующие типы методов, например, изменяя выбранный параметр.

Методы-фабрики, которые работают с группами типов параметров, систематически представляются в двух версиях, так что для работы с группами типов параметров можно использовать как массивы Java, так и списки Java. Методы запроса parameterArray и parameterList также обеспечивают выбор между массивами и списками.

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

Как классы и строки, типы методов также могут быть представлены непосредственно в пуле констант файла класса в качестве констант. Тип метода может быть загружен инструкцией ldc, которая ссылается на подходящую запись пула констант CONSTANT_MethodType. Запись ссылается на CONSTANT_Utf8 представление строки описателя. (Подробные сведения о константах типа метода см. в разделах 4.4.8 и 5.4.3.5 спецификации Java Virtual Machine.)

Когда JVM материализует MethodType из строки описателя, все классы, указанные в описателе, должны быть доступны и будут загружены. (Но классы не обязательно должны быть инициализированы, как в случае с CONSTANT_Class.) Эта загрузка может произойти в любое время до того, как объект MethodType будет впервые получен.

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

Тип метода может быть описан в номинальной форме только в том случае, если все типы параметров и возвращаемый тип могут быть описаны с помощью nominal descriptor, представленного ClassDesc. Если тип метода может быть описан номинально, то:

• Тип метода имеет nominal descriptor, возвращаемый MethodType::describeConstable.
• Строка описателя, возвращаемая MethodType::descriptorString или MethodType::toMethodDescriptorString для типа метода, является описателем метода (JVMS 4.3.3).

Если какой-либо из типов параметров или возвращаемый тип не может быть описан номинально, т. е. Class::describeConstable возвращает пустой необязательный параметр для этого типа, то тип метода не может быть описан номинально:

• Тип метода не имеет nominal descriptor, и MethodType::describeConstable возвращает пустой необязательный параметр.
• Строка описателя, возвращаемая MethodType::descriptorString или MethodType::toMethodDescriptorString для типа метода, не является описателем типа.