MDC.put()与MDC.remove()是否必须执行异常处理？

现有如下Java代码：

import org.slf4j.MDC;

MDC.put(ID1, id1);
MDC.put(ID2, id2);
MDC.put(ID3, id3);
try {
    return joinPoint.proceed();
} finally {
    MDC.remove(ID1);
    MDC.remove(ID2);
    MDC.remove(ID3);
}

已知条件：

• MDC的put()和remove()方法均可能抛出异常
• 若删除ID1时发生异常，后续的ID2、ID3无法被删除
• 当前代码无编译期异常

疑问：是否需要对finally块中的删除逻辑做额外异常处理？如果需要，有没有比嵌套try-finally更简洁的方式？（示例代码仅针对ID1做了嵌套处理，但新增键时需重复添加try-catch）

补充示例代码：

MDC.put(ID1, id1);
MDC.put(ID2, id2);
MDC.put(ID3, id3);
try {
    return joinPoint.proceed();
} finally {
    try{
        MDC.remove(ID1); 
    } finally {
        MDC.remove(ID2);
        MDC.remove(ID3);
    }
}

必须对finally块中的清理逻辑做异常隔离，否则一旦某个MDC.remove()抛出异常，后续的清理操作会直接中断，导致MDC中残留未清理的键，进而引发日志上下文混乱的问题。

你给出的示例只处理了ID1的嵌套，仍有漏洞——如果ID2的remove()抛出异常，ID3同样无法被清理。更可靠且简洁的方式是封装一个安全清理工具方法，避免重复编写嵌套try-finally代码。

1. 封装安全清理方法 #

private void safeMdcRemove(String key) {
    try {
        MDC.remove(key);
    } catch (Exception e) {
        // 记录异常但不中断后续操作，避免吞掉问题
        LoggerFactory.getLogger(getClass()).warn("Failed to remove MDC key: {}", key, e);
    }
}

2. 优化后的finally块 #

finally {
    safeMdcRemove(ID1);
    safeMdcRemove(ID2);
    safeMdcRemove(ID3);
}

这样每个remove()操作的异常都会被独立捕获，不会影响其他键的清理，新增MDC键时只需添加一行safeMdcRemove()调用即可，代码维护性更强。

3. 额外优化：处理put阶段的异常 #

还要注意MDC.put()的异常场景：如果某个put操作失败，之前已经成功放入的键也需要清理。比如ID1 put成功，ID2 put失败，此时要删除ID1避免MDC残留。可以通过标记位实现：

boolean id1Put = false;
boolean id2Put = false;
boolean id3Put = false;
try {
    MDC.put(ID1, id1);
    id1Put = true;
    MDC.put(ID2, id2);
    id2Put = true;
    MDC.put(ID3, id3);
    id3Put = true;
    return joinPoint.proceed();
} finally {
    // 逆序清理，避免依赖问题
    if (id3Put) safeMdcRemove(ID3);
    if (id2Put) safeMdcRemove(ID2);
    if (id1Put) safeMdcRemove(ID1);
}

这种写法能保证无论put阶段是否抛出异常，已经成功放入的键都会被正确清理。

内容的提问来源于stack exchange，提问作者239010391