What are CONSTANT_MethodHandle, CONSTANT_MethodType, and CONSTANT_InvokeDynamic?

Question

I was looking into how the Java bytecode worked, and I started on Wikipedia. On the page focusing on the .class file, it mentions 11 constant types that appear in the Constant Pool. However, in The Java Virtual Machine Specifications (JVMS) it mentions 3 more:

CONSTANT_MethodHandle
CONSTANT_MethodType
CONSTANT_InvokeDynamic

The 11 mentioned on the Wikipedia page seem fairly self-explanatory, and I understand their purpose and use. However, I'm confused by the 3 extra described in the JVMS. What are they, and for what are they used?

DavidPostill · Answer 1 · 2014-08-01T21:21:18.463

3

See the The Java® Virtual Machine Specification Chapter 4. The class File Format :

The CONSTANT_MethodHandle_info structure is used to represent a method handle:

CONSTANT_MethodHandle_info {
    u1 tag;
    u1 reference_kind;
    u2 reference_index;
}

The CONSTANT_MethodType_info structure is used to represent a method type:

CONSTANT_MethodType_info {
    u1 tag;
    u2 descriptor_index;
}

The CONSTANT_InvokeDynamic_info structure is used by an invokedynamic instruction (§invokedynamic) to specify a bootstrap method, the dynamic invocation name, the argument and return types of the call, and optionally, a sequence of additional constants called static arguments to the bootstrap method.

CONSTANT_InvokeDynamic_info {
    u1 tag;
    u2 bootstrap_method_attr_index;
    u2 name_and_type_index;
}

See also Method handles and invokedynamic and Class MethodHandle for more information

edited Aug 01 '14 at 21:21

answered Aug 01 '14 at 21:03

DavidPostill

7,734
9
41
60

Right, I linked to that in my question. I'm wanting to know what all of that means and what it translates to in upper-level Java. – Steven Aug 01 '14 at 21:08
See also [Method handles and invokedynamic](https://wikis.oracle.com/display/HotSpotInternals/Method+handles+and+invokedynamic) – DavidPostill Aug 01 '14 at 21:15
Ah, okay. Can you edit your answer so I can accept it? – Steven Aug 01 '14 at 21:18
As of Java 7, it doesn't translate into anything in upper level Java, because Java never uses invokedynamic. Not everything in the classfile format is necessarily used by Java. In Java 8, lambdas may be implemented via invokedynamic, though I haven't checked compilers to see if they actually do. – Antimony Aug 01 '14 at 22:32

score 3 · Accepted Answer · edited Aug 04 '14 at 11:05

MethodHandle is basically a "handle" to an executable operation. It can be a method call or even a variable assignment. MethodType is the calling signature used to call the MethodHandle. In other words, it describes the parameters and return value. A MethodHandle may be able to process being called with different type signatures.

To play around with there, look at java.lang.invoke.MethodHandle and java.lang.invoke.MethodType. These were introduced in Java 7. When bytecode uses LDC to load a MethodHandle_info or MethodType_info constant onto the stack, the JVM creates a MethodHandle or MethodType class instance, respectively.

The invokedynamic bytecode instruction will invoke a MethodHandle. The bootstrap method will be used on the first invocation to determine what MethodHandle it will call. This creates an invoke instruction that can change its call target at runtime. This allows for dynamic code that doesn't need to recompile when certain aspects of its target code change. This is used in Java 8 to provide support for lambda expressions.

What are CONSTANT_MethodHandle, CONSTANT_MethodType, and CONSTANT_InvokeDynamic?

2 Answers2

Linked