枚举更改与添加新异常。 需要重新编译吗？

Question

这个问题基于“ 干净代码 ”的“功能”章节， “ Error.java依赖项磁铁”部分 。

public enum Error {
      OK,
      INVALID,
      NO_SUCH
}

作者声称，在进行更改的情况下，必须重新编译所有导入和使用此enum类。 这与添加新的Exception派生相反。 在后一种情况下，据说不需要重新编译。

但是，是否不是这样，如果您通过添加新的派生Exception来更改包含派生Exception的包，而您的代码依赖于该包，则需要重新编译该包吗？ 还是只在实际使用新派生的异常之一时才需要重新编译代码？

Answer 1

本段还有更多内容。 我会引用：

这样的类是一个依赖磁铁。 许多其他类必须导入和使用它们。 因此，当Error枚举更改时，所有其他这些类都需要重新编译和重新部署。

乍一看这令人困惑，但事后看来很有意义。

一个枚举具有保证在其中声明的枚举常量； 向枚举中添加另一个值需要对该拾取进行另一次编译。 对于所有使用枚举的类都是如此，即使它们没有使用值。

另一方面，如果声明了几个独立的Exception派生类，则如果您的特定类不需要该特定的Exception ，则无需重新编译该类即可使用它。

这与您的下一个问题有关：

... [我]不是这样的情况：如果您通过添加新的派生Exception来更改包含派生Exception的包，则如果您的代码依赖于该包，则需要重新编译？

这与我在Java程序中看到的更普遍的趋势相关联（并且与J1中标识的代码气味冲突）：除非您需要软件包中的所有内容，否则不要导入整个软件包。 您的导入可能突然使用相同的类名来表示完全不同的东西。

我怀疑在包级依赖方面是否有实质性的区别？ 我找不到任何证据表明Java有条件地编译选择的类，但是我也不相信它会重新编译您的类以仅包含您未使用的异常。

Answer 2

Java在二进制兼容性方面非常聪明，这是由于Java使用方法签名的方式等所致，因此在大多数情况下，易于维护兼容性。 您可以添加子类并将其传递到接受其超类的方法中，即使这些方法未使用存在的子类进行编译，也可以将方法添加到类中并添加接口以实现它们以及二进制兼容性在大多数情况下仍将是相同的。 对于枚举而言并非如此。 枚举通常使用.ordinal()方法（编译时）执行某些任务（有关更多字节码的信息，请参见下文），因此这就是为什么当类更改时您可能不得不重新编译的原因。

---

Makoto的答案很好地涵盖了概念方面的内容，但是直接原因与javac生成的字节码有关。

下课：

public class TestEnums {

    public static void main(String[] args) throws Throwable {
        Matter matter = Matter.SOLID;
        switch (matter) {
            case SOLID:
                System.out.println("a");
                break;
            case LIQUID:
                System.out.println("b");
                break;
            case GAS:
                System.out.println("c");
                break;
        }
    }

    private enum Matter {
        SOLID,
        LIQUID,
        GAS
    }

}

生成以下字节码（在main方法中）：

 public static main([Ljava/lang/String;)V throws java/lang/Throwable 
   L0
    LINENUMBER 27 L0
    GETSTATIC TestEnums$Matter.SOLID : LTestEnums$Matter;
    ASTORE 1
   L1
    LINENUMBER 28 L1
    GETSTATIC TestEnums$1.$SwitchMap$TestEnums$Matter : [I
    ALOAD 1
    INVOKEVIRTUAL TestEnums$Matter.ordinal ()I
    IALOAD
    TABLESWITCH
      1: L2
      2: L3
      3: L4
      default: L5
   L2
    LINENUMBER 30 L2
   FRAME APPEND [TestEnums$Matter]
    GETSTATIC java/lang/System.out : Ljava/io/PrintStream;
    LDC "a"
    INVOKEVIRTUAL java/io/PrintStream.println (Ljava/lang/String;)V
   L6
    LINENUMBER 31 L6
    GOTO L5
   L3
    LINENUMBER 33 L3
   FRAME SAME
    GETSTATIC java/lang/System.out : Ljava/io/PrintStream;
    LDC "b"
    INVOKEVIRTUAL java/io/PrintStream.println (Ljava/lang/String;)V
   L7
    LINENUMBER 34 L7
    GOTO L5
   L4
    LINENUMBER 36 L4
   FRAME SAME
    GETSTATIC java/lang/System.out : Ljava/io/PrintStream;
    LDC "c"
    INVOKEVIRTUAL java/io/PrintStream.println (Ljava/lang/String;)V
   L5
    LINENUMBER 39 L5
   FRAME SAME
    RETURN
   L8
    LOCALVARIABLE args [Ljava/lang/String; L0 L8 0
    LOCALVARIABLE matter LTestEnums$Matter; L1 L8 1
    MAXSTACK = 2
    MAXLOCALS = 2

超越字节码的冗长性，switch语句的主要逻辑以TableSwitch的形式出现：

INVOKEVIRTUAL TestEnums$Matter.ordinal ()I
IALOAD
TABLESWITCH
  1: L2
  2: L3
  3: L4
  default: L5

如果您看一下，您会看到该开关调用.ordinal（）方法来确定要访问的值，因此，如果您在枚举的开头插入一个值：

private enum Matter {
    PLASMA, //Lying elementary school science teachers don't tell you about this one
    SOLID,
    LIQUID,
    GAS
}

顺序已更改。 由于字节码在处理枚举时经常使用序数方法，因此可能必须重新编译代码以保持与枚举的兼容性。