finally里面的代码一定会执行吗?

探讨在特定条件下,Java中finally块为何可能不会执行,包括System.exit(0)的使用与守护线程的终止如何影响finally块的执行。

情况一:
在try和catch块分别加入System.exit(0);finally是不会执行的。(注意:一定是try块和catch块分别加上System.exit(0);少一个都不行,否则finally仍然会被执行)
为什么System.exit()有这么强大的力量呢,让我们看一下API中的说明:exit(int status): Terminates the currently running Java Virtual Machine。即JVM已经被终止了。
在这里插入图片描述
通常我们所说的finally一定会执行,除了情况一,老师都是这样教的,但是最近在学习《java并发编程艺术》一书时发现finally不一定会执行。

情况二:
Daemon线程是一种支持性线程,称之为守护线程,因为它主要被用作程序中后态调度以及支持性工作。当一个java虚拟机中不存在非Daemon线程的时候,java虚拟机会退出。可以用过Thread.setDaemon(true)将线程设置为守护线程。
Daemon属性需要在启动之前设置。不能在启动之后设置。
Daemon线程被用作完成支持性工作,但是在java虚拟机退出时Daemon线程中的finally并不一定会执行,代码如下:
在这里插入图片描述
运行之后,控制台没有输出finally的语句,这是由于main线程(非Daemon线程)在启动了线程DaemonRunner之后随着main方法执行完毕而终止,而此时java虚拟机中已经没有非Daemon线程,虚拟机需要退出。java虚拟机中的所有Daemon线程都需要终止,因此DaemonRunner立即终止,但是DaemonRunner中的finally并没有终止。

两种情况都是由于jvm终止而无法执行finally,细节上有点不一样,情况一是jvm直接退出导致,情况二是由于没有非守护线程jvm需要退出的性质导致守护线程被终止其中的finally没有被执行。

<think>首先,用户的问题是:“我想了解Javafinally块的行行为 请问Java finally块是否总是会行”。我需要基于提供的引用内容来回答。 关键引用: - 引用[1]:finally代码块不一定行,比如在特殊情况下。 - 引用[2]:finally块并非在所有情况下都会行。 - 引用[3]:列出了finally块不会行的场景: 1. 调用System.exit() 2. JVM崩溃或严重错误 3. 无限循环/阻塞 4. 守护线程的非守护线程终止 - 引用[4]:finally块在try块中退出JVM时不会行。 - 引用[5]:从字节码层面解释finally块的行机制。 所以,答案是否定的,finally块并不总是会行。我需要清晰地解释原因和场景。 回答结构: 1. 直接回答问题:不,finally块并不总是会行。 2. 解释为什么通常认为它总是行:finally块的设计初衷是确保在try块之后行清理代码,比如关闭资源。 3. 列出finally块不会行的场景: - 调用System.exit()方法 - JVM崩溃或出现严重错误(如OutOfMemoryError) - try块进入无限循环或阻塞状态 - 守护线程在非守护线程终止时 4. 提供示例代码或解释来阐明这些场景。 5. 自然地添加引用标识:[^1], [^2], [^3], [^4], [^5]。 系统级指令: - 行内数学表达式用$...$,但这里没有数学内容,所以可能不需要。 - 独立公式用$$...$$,但同样不适用。 - LaTeX语法正确:确保任何代码或表达式正确。 - 使用中文回答。 - 生成相关问题:在回答后添加相关问题部分。 - 回答中引用的段落末尾添加引用标识。 用户可见层: - 结构清晰:分步骤或分点回答。 - 保证真实可靠:基于引用内容。 最终回答结构: 1. 开头直接回答。 2. 解释finally块的正常行为。 3. 详细说明finally块不会行的场景。 4. 总结。 5. 添加相关问题。 相关问题: - 基于引用,生成2-3个相关问题。 - 例如:finally块在异常处理中的优先级是什么? - 如何确保finally块总是行? - finally块在字节码层面是如何实现的? 现在,撰写回答。</think>### Java finally块的行行为分析 在Java异常处理机制中,`finally`块被设计用于确保关键代码(如资源清理)在`try`块行后运行,无论是否发生异常。然而,**finally块并不总是会行**。在大多数正常场景下,它确实会行,但某些特殊情况会导致其被跳过。下面我将逐步解释其行为,确保回答清晰可靠。 #### 1. **finally块的正常行为** - **设计初衷**:`finally`块是`try-catch-finally`结构的一部分,旨在保证代码在`try`块正常结束或抛出异常后都能运行。例如,在文件操作中关闭流: ```java try { // 可能抛出异常的代码 FileInputStream file = new FileInputStream("test.txt"); } catch (IOException e) { // 异常处理 } finally { // 通常行:关闭资源 if (file != null) file.close(); } ``` - **行优先级**:在`try`块中,即使有`return`语句或异常被捕获,`finally`块也会在方法返回前行。这确保了资源释放的可靠性[^5]。 #### 2. **finally块不会行的场景** 尽管`finally`块在多数情况下可靠,但以下特殊情况会导致其被跳过(基于JVM底层机制): | 场景 | 示例代码 | 解释 | |------|----------|------| | **调用`System.exit()`** | `try { System.exit(0); } finally { System.out.println("不会行"); }` | `System.exit()`直接终止JVM进程,后续代码(包括`finally`)均不行[^3][^4]。 | | **JVM崩溃或严重错误** | `try { throw new OutOfMemoryError(); } finally { /* 不行 */ }` | 发生`Error`(如`OutOfMemoryError`或`StackOverflowError`)可能导致JVM崩溃,跳过`finally`块[^3]。 | | **无限循环或阻塞** | `try { while(true); } finally { /* 无法到达 */ }` | 如果`try`块进入死循环或永久阻塞(如线程挂起),`finally`块永远不会被行[^3]。 | | **守护线程的非守护线程终止** | `Thread daemon = new Thread(() -> { try { ... } finally { /* 可能不行 */ } }); daemon.setDaemon(true); daemon.start();` | 当所有非守护线程结束时,JVM会立即终止守护线程,此时`finally`块可能未行[^3]。 | #### 3. **总结** - **通常行**:在标准异常处理中(如`try`块正常结束或抛出`Exception`),`finally`块几乎总是行,这符合其设计初衷[^2][^5]。 - **不行的例外**:上述场景涉及JVM级中断或不可恢复错误,此时`finally`块被跳过,因为JVM已无法继续代码[^1][^4]。开发中应避免这些情况,例如不要滥用`System.exit()`。 - **最佳实践**:对于关键清理逻辑,建议结合`try-with-resources`(Java 7+)自动管理资源,减少对`finally`的依赖。 总之,`finally`块并非绝对可靠,但在可控环境下能有效保障代码健壮性[^3][^5]。
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值