Guava的Preconditions类为何包含私有空且未使用的接口？

先看Guava中Preconditions类的这段定义：

public final class Preconditions {
  private Preconditions() {}

  private interface Impossible {}

  // (未使用Impossible的静态方法)
}

我们都知道私有构造方法是用来防止类被实例化的，但这个既没有被实现、也没有被直接引用的私有Impossible接口，看起来完全是冗余代码，它的实际作用是什么？

这个Impossible接口是用来辅助静态代码分析工具识别不可能执行的代码路径的。Guava开发者会在前置条件校验方法（比如checkArgument、checkState等）的实现逻辑里，通过特定方式关联这个接口，让Error Prone这类静态分析工具能精准检测出那些理论上永远不会被执行到的代码块。

举个简单的场景：当调用checkState(false)时，方法会直接抛出异常，那么这句代码之后的逻辑本应是不可能到达的。通过和Impossible接口关联，分析工具可以自动标记出这类死代码，帮助开发者排查逻辑错误、优化代码结构。

虽然从代码表面看这个接口没有被直接使用，但它是Guava内部用于提升代码质量、配合静态分析的一种实用技巧。

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