前言

在用 Codex 写代码的过程中，我发现 Codex 写出了这样一段代码：

RLock lock = redissonClient.getLock;try {
if ) {
log.info;return，怎么说呢，}
} catch {
log.error;}
try {
// 执领域务逻辑中
} finally {
try {
if ) {
lock.unlock;}
} catch {
log.error;}
}

这种不断的 try‑catch 写法我倒是头一次见。老实说，我日常更喜欢的写法是 Redisson 官方推荐的写法：

Lock lock = ...;if ) {
try {​ } finally {    lock.unlock;}}
else {    }

问题。

tryLock 会抛出什么异常？

tryLock 的方法签名中没有声明受检异常，但这并不代表着它一定不会抛出运行时异常。真正的问题不在于这里能不能 catch而在于 catch 之后怎么处理。如果 tryLock 执行过程中真的出现异常，而 catch 只是打印日志。没有 return也没有重新抛出异常，那么后面的业务逻辑仍然会继续执行。这就等于在没有确认获取锁成功的情况下执行了受锁保护的业务逻辑。

痛点提示： 当你遇到“获取锁失败”却仍然执领域务代码时请检查是否在捕获异常后缺少控制流中断。

Btw，返回的是一个接口类型 RLock。实现类为 RedissonLock。其内部实现如下：

public boolean tryLock {
return get);}
public RFuture tryLockAsync {
return tryLockAsync.getId);}
public RFuture tryLockAsync {
return getServiceManager.execute -> tryAcquireOnceAsync);怎么说呢，}

痛点提示： 很多人忽略了 Redisson 的异步实现细节。导致对错误恢复机制理解不到位；说起来，请留意 ServiceManager.execute 的内部重试逻辑。

解锁前需要判断 isHeldByCurrentThread 吗？

在 Redisson 推荐的写法中，只有当 true 返回才会进入业务逻辑。也只有进入了业务逻辑才会执行对应的 finally  块。在这种控制流下能执行到 finally  基本就代表当前线程之前已经成功获取到了锁，所以直接调用  即可。

至于痛点提示，当你看到“解锁前 判断持有者”的写法时很可能是因为之前把错误控制流补救掉了；最好的做法是在获取阶段就保证安全，而不是靠后置检查兜底。

Codex 的代码之所以在 unlock 前又调用一次。本质上是在给前面错误的控制流打补丁：它允许“获取锁异常后继续执领域务”，所以解锁时才不得不再判断一次当前线程是否持有锁。

若你的项目中存在复杂流程、兜底清理或跨方法释放等情况，可以保留此判断作为保护性措施。 但大多数“加锁 → 业务 → 解锁”的场景都无需额外判断。

那分布式锁应该怎么写?

• 说到正确示例，

  
  RLock lock = redissonClient.getLock;if ) {
  log.info;return，}
  try {
  // 执领域务逻辑
  } finally {
  lock.unlock;}
  

  
  RLock lock = redissonClient.getLock;if ) {
  try { /* 业务 */ } finally { lock.unlock;}
  } else {
  log.info;老实说，}
  

  * 注：若出现未捕获运行时异常。应立即停止后续流程，让上层统一处理；不要仅仅记录日志后继续往下走。
• 为什么要避免多层 try‑catch？老实说，因为每层捕获都可能隐藏真正的问题。从而导致分布式程序出现死活难调试的不确定行为。是在高并发环境下一个小小的漏掉 “return” 就可能让大量请求误入临界区，引起数据冲突或资源泄漏。请务必保持 **单一职责**：捕获必要信息 + 中断或转发错误 + 上报监控。* * ** ** ** *
  • —-

• 注意线程与持有者一致性 如果你像下面这样将解锁交给对了一个线程去做，
  RUnlock clientUnlock = redissonClient.getUnlock;clientUnlock.unlock;，…则会触发 IllegalMonitorStateException，因为 Lock 的持有者是基于原始线程 ID 判断。怎么说呢，建议 不要 在不同线程间拆分加/解锁操作。除非你明确知道该实现支持跨线程释放。*

#### 小结

- Codex 在生成代码时往往倾向于过度防御：加了多余捕获、重复检查，使得最终结构显得臃肿且难以维护。
• - 真正使用较稳定的做法是：① 在 try 块里只包含已确认持有可用资源的业务；其实，② 捕获必要信息并立即终止流程；③ finally 块里直接释放资源，无需额外验证。
• - 对于那些对跨线程释放有特殊需求或历史遗留复杂流程。可以保留 isHeldByCurrentThread 检查，但要确保其目的明确且文档化。
如果你正在编写分布式程序。请先评估你的错误恢复策略，再决定是否需要额外检查。否则很容易出现隐藏 bug 或性能瓶颈。`

注：以上示例仅供参考，请根据项目具体需求调整一下。