CODEWITHSUNDEEP
javabytecode
LanguagesNamedAfterCofee
LanguagesNamedAfterCofee

Reputation: 5952

Java Bytecode DUP

I am wondering why the Exception in the following bytecode (used to throw an Exception) is duplicated.

NEW java/lang/IllegalArgumentException
DUP
INVOKESPECIAL java/lang/IllegalArgumentException <init> ()V
ATHROW

Upvotes: 12

Views: 6426

Answers (2)

Alex Coleman
Alex Coleman

Reputation: 7326

I'll analyze this line by line where [] = new stack after that op is used:

  1. NEW puts a new IllegalArgumentException onto the stack [SomeIllegalArgumentException]
  2. DUP duplicates it [SomeIllegalArgumentException, SomeIllegalArgumentException]
  3. INVOKESPECIAL pops off the top one and initializes it by calling it's <init> method [SomeIllegalArgumentException] (The init method will not return the object to put back onto the stack, so the object must first be duplicated so as to keep it on the stack)
  4. ATHROW Throws the other (a duplicate off the one we initialized) []

Upvotes: 21

Peter Lawrey
Peter Lawrey

Reputation: 533720

In byte code, an object is first created by class, and then a constructor is called on that object. The signature of a constructor ends with V for void as it does return anything. This means a copy of the original reference to the object must be kept on the stack (or in a variable) so it can be thrown after the constructor is called.

BTW The internal name for a constructor is <init> and the internal name for a static initialiser code is <clinit>

Upvotes: 11

Related Questions