finally子句
JVM执行Java字节码时Q它有几U方式可以退Z个代码块Q花括号中间的语句）。其中之一Q就是简单的执行完其中所有的语句Q然后退Z码块。第二种QJVM可能会在代码块中间的M一处，遇到像breakQcontinueQreturn之类的语句，强制它蟩代码块。第三种QJVM可能会在执行q程中，出现了异常，然后它蟩转到匚w的catch子句Q或者没有找到相应的catch子句Q直接退出当前线E。由于单个代码块有如此多的潜在退出点Qexit pointQ，拥有一个简单的方式来表䏀无Z码块以什么方式退出，有些事情总能发生”是很值得的。然后就有了try-finally子句?nbsp; 阅读全文
]]>
异常处理
在程序运行时Q异常让你可以^滑的处理意外状况。ؓ了演CJVM处理异常的方式，考虑NitPickyMathc，它提供对整数q行加，减，乘，除以及取余的操作?br />
NitPickyMath提供的这些操作和Java语言?#8220;+”Q?#8220;-”Q?#8220;*”Q?#8220;/”?#8220;%”是一LQ除了NitPickyMath中的Ҏ在以下情况下会抛出检查型QcheckedQ异常：上溢出，下溢Z及被0除?做除数时QJVM会抛出ArithmeticException异常Q但是上溢出和下溢出不会引发M异常。NitPickyMath中抛出异常的Ҏ定义如下Q?/p>
-
class OverflowException extends Exception {
-
}
-
class UnderflowException extends Exception {
-
}
-
class DivideByZeroException extends Exception {
-
}
NitPickyMathcM的remainder()Ҏ是一个抛出和捕获异常的简单方法?/p>
-
static int remainder(int dividend, int divisor)
-
throws DivideByZeroException {
-
try {
-
return dividend % divisor;
-
}
-
catch (ArithmeticException e) {
-
throw new DivideByZeroException();
-
}
-
}
remainder()ҎQ只是简单的对当作参C递进来的2个整数进行取余操作。如果取余操作的除数?Q会引发ArithmeticException异常。remainder()Ҏ捕获q个异常Qƈ重新抛出DivideByZeroException异常?/p>
DivideByZeroException和ArithmeticException的区别是QDivideByZeroException是检查型QcheckedQ异常，而ArithmeticException是非查（uncheckedQ型异常。由于ArithmeticException是非查型异常Q一个方法就会抛出该异常，也不必在其throw子句中声明它。Q何Error或RuntimeException异常的子cd帔R是非查型异常。（ArithmeticException是RuntimeException的子cR）通过捕获ArithmeticException和抛出DivideByZeroExceptionQremainder()Ҏ它的调用者去处理除数?的可能性，要么捕获它，要么在其throw子句中声明DivideByZeroException异常。这是因为，像DivideByZeroExceptionq种在方法中抛出的检查型异常Q要么在Ҏ中捕P要么在其throw子句中声明，二者必选其一。而像ArithmeticExceptionq种非检查型异常Q就不需要去昑ּ捕获和声明?/p>
javac为remainder()Ҏ生成的字节码序列如下Q?/p>
-
// The main bytecode sequence for remainder:
-
0 iload_0 // Push local variable 0 (arg passed as divisor)
-
1 iload_1 // Push local variable 1 (arg passed as dividend)
-
2 irem // Pop divisor, pop dividend, push remainder
-
3 ireturn // Return int on top of stack (the remainder)
-
// The bytecode sequence for the catch (ArithmeticException) clause:
-
4 pop // Pop the reference to the ArithmeticException
-
// because it is not used by this catch clause.
-
5 new #5 < Class DivideByZeroException >
-
// Create and push reference to new object of class
-
// DivideByZeroException.
-
8 dup // Duplicate the reference to the new
-
// object on the top of the stack because it
-
// must be both initialized
-
// and thrown. The initialization will consume
-
// the copy of the reference created by the dup.
-
9 invokenonvirtual #9 < Method DivideByZeroException.< init >()V >
-
// Call the constructor for the DivideByZeroException
-
// to initialize it. This instruction
-
// will pop the top reference to the object.
-
12 athrow // Pop the reference to a Throwable object, in this
-
// case the DivideByZeroException,
-
// and throw the exception.
remainder()Ҏ的字节码?个单独的部分。第一部分是该Ҏ的正常执行\径，q部分从W?行开始，到第3行结束。第二部分是从第4行开始，?2行结束的catch子句?/p>
d节码序列中的irem指o可能会抛出ArithmeticException异常。如果异常发生了QJVM通过在异常表中查扑配的异常Q它会知道要跌{到相应的异常处理的catch子句的字节码序列部分。每个捕获异常的ҎQ都跟类文g中与Ҏ字节码一起交付的异常表关联。每一个捕获异常的try块，都是异常表中的一行。每?条信息：开始行PfromQ和l束行号QtoQ，要蟩转的字节码序列行PtargetQ，被捕L异常cȝ帔R池烦引（typeQ。remainder()Ҏ的异常表如下所C：
|
FROM
|
TO
|
TARGET
|
TYPE
|
|---|---|---|---|
| 0 | 4 | 4 | < Class java.lang.ArithmeticException > |
上面的异常表表明Q行??范围内，ArithmeticException被捕获。异常表中的“to”下面的结束行号始l比异常捕获的最大行号大1Q上表中Q结束行号ؓ4Q而异常捕L最大行h3。行??的字节码序列对应remainder()Ҏ中的try块?#8220;target”列中Q是??的字节码发生ArithmeticException异常时要跌{到的目标行号?/p>
如果Ҏ执行q程中生了异常QJVM会在异常表中查找匚w行。异常表中的匚w行要W合下面的条Ӟ当前pc寄存器的D在该行的表示范围之内Q[from, to)Q且产生的异常是该行所指定的异常类或其子类。JVM按从上到下的ơ序查找异常表。当扑ֈ了第一个匹配行QJVM把pc寄存器设为新的蟩转行P从此行l往下执行。如果找不到匚w行，JVM弹出当前栈Qƈ重新抛出同一个异常。当JVM弹出当前栈Ӟ它会l止当前Ҏ的执行，q回到调用该Ҏ的上一个方法那里。这Ӟ在上一个方法里Qƈ不会l箋正常的执行过E，而是抛出同样的异常，促JVM重新查找该方法的异常表?/p>
JavaE序员可以用throw语句抛出像remainder()Ҏ的catch子句中的异常QDivideByZeroException。下表列Z抛出异常的字节码Q?/p>
|
OPCODE
|
OPERAND(S)
|
DESCRIPTION
|
|---|---|---|
| athrow | (none) | pops Throwable object reference, throws the exception |
athrow指o把栈元素弹出，该元素必LThrowable的子cL其自w的对象引用Q而抛出的异常cd由栈弹出的对象引用所指明?/p>
本文译自Q?a target="_blank" style="margin: 0px; padding: 0px; border: 0px; vertical-align: baseline; outline: none; color: #21759b;">How the Java virtual machine handles exceptions
本文Q?/strong>码农合作C?/a> ?a style="margin: 0px; padding: 0px; border: 0px; vertical-align: baseline; outline: none; color: #21759b;">JVM中的异常处理Q{载请注明?/p>
]]>
]]>
]]>
]]>
]]>