IntelliJ捕获InterruptedException时提示process不可为null的原因

这个提示是IntelliJ IDEA内置的数据流静态分析能力，对代码所有可能执行路径逐行推导后得出的确定性结论，推导逻辑如下：

• 先梳理try块内每一行代码可能抛出的异常类型：
  • Runtime.getRuntime().exec("my command") 方法只声明抛出IOException、SecurityException，不会抛出InterruptedException
  • 整段try逻辑中，只有process.waitFor()这一行调用声明会抛出InterruptedException
• 代码按顺序执行的规则下，要走到waitFor()方法调用这一步，前置的process = Runtime.getRuntime().exec(...) 必须已经正常执行完成，已经将返回的非空Process实例赋值给了process变量，不可能停留在初始赋值的null状态。
• 因此进入catch (InterruptedException e) 代码块时，process变量必然是非null值，你写的process != null判断属于永远成立的冗余判断，IDEA就会给出对应提示。

如果把catch块捕获的异常类型改成IOException、Exception等其他类型，静态分析会识别到这类异常存在更早抛出的路径：
比如命令不存在、没有执行权限、系统资源不足无法创建进程时，exec()方法还没返回Process实例就会抛出IOException，此时process变量还保持初始的null值，catch块里的判空逻辑是有实际触发可能、完全必要的，自然不会给出冗余代码的警告。

补充：这个场景下IDEA的推导是完全准确的，你可以直接删掉InterruptedException捕获块里的process != null判断，不会触发空指针异常。如果为了和其他异常捕获块的代码风格统一保留判空，也不会产生功能问题，只是多了一段永远走不到null分支的冗余判断而已。

内容的提问来源于stack exchange，提问作者D. More