Java finally语句到底是在return之前还是之后执行?

  网上有很多人探讨Java中异常捕获机制try...catch...finally块中的finally语句是不是一定会被执行?很多人都说不是,当然他们的回答是正确的,经过我试验,至少有两种情况下finally语句是不会被执行的:

  try语句没有被执行到,如在try语句之前就返回了,这样finally语句就不会执行,这也说明了finally语句被执行的必要而非充分条件是:相应的try语句一定被执行到。在try块中有System.exit(0);这样的语句,System.exit(0);是终止Java虚拟机JVM的,连JVM都停止了,所有都结束了,当然finally语句也不会被执行到。

  当然还有很多人探讨Finally语句的执行与return的关系,颇为让人迷惑,不知道finally语句是在try的return之前执行还是之后执行?我也是一头雾水,我觉得他们的说法都不正确,我觉得应该是:finally语句是在try的return语句执行之后,return返回之前执行。这样的说法有点矛盾,也许是我表述不太清楚,下面我给出自己试验的一些结果和示例进行佐证,有什么问题欢迎大家提出来。

  finally语句在return语句执行之后return返回之前执行的。

  public

  class

  FinallyTest1

  {

  public

  static

  void

  main(

  String

  [] args) {

  System

  .out.println(test1());

  }

  public

  static

  int

  test1() {

  int

  b=20

  ;

  try

  {

  System

  .out.println(

  "try block"

  );

  return

  b +=80

  ;

  }

  catch

  (

  Exception

  e) {

  System

  .out.println(

  "catch block"

  );

  }

  finally

  {

  System

  .out.println(

  "finally block"

  );

  if

  (b >

  25

  ) {

  System

  .out.println(

  "b>25, b="

  + b);

  }

  }

  return

  b;

  }

  }

  运行结果是:

  try

  block

  finally

  block

  b>

  25

  , b=100

  100

  说明return语句已经执行了再去执行finally语句,不过并没有直接返回,而是等finally语句执行完了再返回结果。

  如果觉得这个例子还不足以说明这个情况的话,下面再加个例子加强证明结论:

  public

  class

  FinallyTest1

  {

  public

  static

  void

  main(

  String

  [] args) {

  System

  .out.println(test11());

  }

  public

  static

  String

  test11() {

  try

  {

  System

  .out.println(

  "try block"

  );

  return

  test12();

  }

  finally

  {

  System

  .out.println(

  "finally block"

  );

  }

  }

  public

  static

  String

  test12() {

  System

  .out.println(

  "return statement"

  );

  return

  "after return"

  ;

  }

  }

  运行结果为:

  try

  block

  return

  statement

  finally

  block

  after

  return

  说明try中的return语句先执行了但并没有立即返回,等到finally执行结束后再

  这里大家可能会想:如果finally里也有return语句,那么是不是就直接返回了,try中的return就不能返回了?看下面。

  finally块中的return语句会覆盖try块中的return返回。

  public

  class

  FinallyTest2

  {

  public

  static

  void

  main(

  String

  [] args) {

  System

  .out.println(test2());

  }

  public

  static

  int

  test2() {

  int

  b=20

  ;

  try

  {

  System

  .out.println(

  "try block"

  );

  return

  b +=80

  ;

  }

  catch

  (

  Exception

  e) {

  System

  .out.println(

  "catch block"

  );

  }

  finally

  {

  System

  .out.println(

  "finally block"

  );

  if

  (b >

  25

  ) {

  System

  .out.println(

  "b>25, b="

  + b);

  }

  return

  200

  ;

  }

  // return b;

  }

  }

  运行结果是:

  try

  block

  finally

  block

  b>

  25

  , b=100

  200

  这说明finally里的return直接返回了,就不管try中是否还有返回语句,这里还有个小细节需要注意,finally里加上return过后,finally外面的return b就变成不可到达语句了,也就是永远不能被执行到,所以需要注释掉否则编译器报错。

  这里大家可能又想:如果finally里没有return语句,但修改了b的值,那么try中return返回的是修改后的值还是原值?看下面。

  如果finally语句中没有return语句覆盖返回值,那么原来的返回值可能因为finally里的修改而改变也可能不变。

  测试用例1:

  public

  class

  FinallyTest3

  {

  public

  static

  void

  main(

  String

  [] args) {

  System

  .out.println(test3());

  }

  public

  static

  int

  test3() {

  int

  b=20

  ;

  try

  {

  System

  .out.println(

  "try block"

  );

  return

  b +=80

  ;

  }

  catch

  (

  Exception

  e) {

  System

  .out.println(

  "catch block"

  );

  }

  finally

  {

  System

  .out.println(

  "finally block"

  );

  if

  (b >

  25

  ) {

  System

  .out.println(

  "b>25, b="

  + b);

  }

  b=150

  ;

  }

  return

  2000

  ;

  }

  }

  运行结果是:

  try

  block

  finally

  block

  b>

  25

  , b=100

  100

  测试用例2:

  public

  class

  FinallyTest6

  {

  public

  static

  void

  main(

  String

  [] args) {

  System

  .out.println(getMap().get(

  "KEY"

  ).toString());

  }

  public

  static

  Map

  <

  String

  ,

  String

  > getMap() {

  Map

  <

  String

  ,

  String

  > map=new

  HashMap

  <

  String

  ,

  String

  >();

  map.put(

  "KEY"

  ,

  "INIT"

  );

  try

  {

  map.put(

  "KEY"

  ,

  "TRY"

  );

  return

  map;

  }

  catch

  (

  Exception

  e) {

  map.put(

  "KEY"

  ,

  "CATCH"

  );

  }

  finally

  {

  map.put(

  "KEY"

  ,

  "FINALLY"

  );

  map=null

  ;

  }

  return

  map;

  }

  }

  运行结果是:

  FINALLY

  为什么测试用例1中finally里的b=150;并没有起到作用而测试用例2中finally的map.put("KEY", "FINALLY");起了作用而map=null;却没起作用呢?这就是Java到底是传值还是传址的问题了,具体请看精选30道Java笔试题解答,里面有详细的解答,简单来说就是:Java中只有传值没有传址,这也是为什么map=null这句不起作用。这同时也说明了返回语句是try中的return语句而不是 finally外面的return b;这句,不相信的话可以试下,将return b;改为return 294,对原来的结果没有一点影响。

  这里大家可能又要想:是不是每次返回的一定是try中的return语句呢?那么finally外的return b不是一点作用没吗?请看下面。

  try块里的return语句在异常的情况下不会被执行,这样具体返回哪个看情况。

  public

  class

  FinallyTest4

  {

  public

  static

  void

  main(

  String

  [] args) {

  System

  .out.println(test4());

  }

  public

  static

  int

  test4() {

  int

  b=20

  ;

  try

  {

  System

  .out.println(

  "try block"

  );

  b=b /

  0

  ;

  return

  b +=80

  ;

  }

  catch

  (

  Exception

  e) {

  b +=15

  ;

  System

  .out.println(

  "catch block"

  );

  }

  finally

  {

  System

  .out.println(

  "finally block"

  );

  if

  (b >

  25

  ) {

  System

  .out.println(

  "b>25, b="

  + b);

  }

  b +=50

  ;

  }

  return

  204

  ;

  }

  }

  运行结果是:

  try

  block

  catch

  block

  finally

  block

  b>

  25

  , b=35

  85

  这里因 为在return之前发生了除0异常,所以try中的return不会被执行到,而是接着执行捕获异常的catch 语句和最终的finally语句,此时两者对b的修改都影响了最终的返回值,这时return b;就起到作用了。当然如果你这里将return b改为return 300什么的,最后返回的就是300,这毋庸置疑。

  这里大家可能又有疑问:如果catch中有return语句呢?当然只有在异常的情况下才有可能会执行,那么是在finally之前就返回吗?看下面。

  当发生异常后,catch中的return执行情况与未发生异常时try中return的执行情况完全一样。

  public

  class

  FinallyTest5

  {

  public

  static

  void

  main(

  String

  [] args) {

  System

  .out.println(test5());

  }

  public

  static

  int

  test5() {

  int

  b=20

  ;

  try

  {

  System

  .out.println(

  "try block"

  );

  b=b /

  0

  ;

  return

  b +=80

  ;

  }

  catch

  (

  Exception

  e) {

  System

  .out.println(

  "catch block"

  );

  return

  b +=15

  ;

  }

  finally

  {

  System

  .out.println(

  "finally block"

  );

  if

  (b >

  25

  ) {

  System

  .out.println(

  "b>25, b="

  + b);

  }

  b +=50

  ;

  }

  //return b;

  }

  }

  运行结果如下:

  try

  block

  catch

  block

  finally

  block

  b>

  25

  , b=35

  35

  说明了发生异常后,catch中的return语句先执行,确定了返回值后再去执行finally块,执行完了catch再返回,finally里对b的改变对返回值无影响,原因同前面一样,也就是说情况与try中的return语句执行完全一样。

  最后总结:finally块的语句在try或catch中的return语句执行之后返回之前执行且finally里的修改语句可能影响也可能不影响try或catch中 return已经确定的返回值,若finally里也有return语句则覆盖try或catch中的return语句直接返回。

posted @ 2022-09-12 19:54  ebuybay  阅读(39)  评论(0编辑  收藏  举报