invokeinterface is used to invoke a method declared within a
Java interface. For example, if you have the Java code:
void test(Enumeration enum) {
boolean x = enum.hasMoreElements();
...
}
invokeinterface
will be used to call the hasMoreElements() method, since Enumeration is a Java
interface, and hasMoreElements() is a method declared in that interface. In
this example, the Java compiler generates code like:
aload_1 ; push local variable 1 (i.e. the enum object) onto the stack
; call hasMoreElements()
invokeinterface java/util/Enumeration/hasMoreElements()Z 1
istore_2 ; store the boolean result in local variable 2 (i.e. x)
Which
particular implementation of hasMoreElements() is used will depend on the type
of object held in local variable 1 at runtime.
Before performing the method invokation, the interface and the method
identified by <method-spec> are resolved. See Chapter 9 for a description
of how methods are resolved.
To invoke an interface method, the interpreter first pops <n> items off
the operand stack, where <n> is an 8-bit unsigned integer parameter taken
from the bytecode. The first of these items is objectref, a reference to
the object whose method is being called. The rest of the items are the
arguments for the method.
Then the class of the object referred to by objectref is retrieved. This
class must implement the interface named in <method-spec>. The method
table for this class is searched, and the method with the given
methodname and descriptor is located.
Once the method has been located, invokeinterface calls the method.
First, if the method is marked as synchronized, the monitor associated
with objectref is entered. Next, a new stack frame is established on the
callstack. Then the arguments for the method are placed in the local variable
slots of the new stack frame structure. arg1 is stored in local variable 1,
arg2 is stored in local variable 2 and so on. objectref is stored in
local variable 0, the local variable used by the special Java variable
this. Execution continues at the first instruction in the bytecode of
the new method.
Methods marked as native are handled slightly differently. For native
methods, the runtime system locates the platform-specific code for the method,
loading it and linking it into the JVM if necessary. Then the native method
code is executed with the arguments that were popped from the operand stack.
The exact mechanism used to invoke native methods is implementation-specific.
When the method called by invokeinterface returns, any single (or
double) word return result is placed on the operand stack of the current
method. If the invoked method was marked as synchronized, the monitor
associated with objectref is exited. Then execution continues at the
instruction that follows invokeinterface in the bytecode.