在Serializable类中使用私有构造函数扩展类

Question

http://docs.oracle.com/javase/6/docs/api/java/io/Serializable.html上详细介绍了Serializable的文档

说

“为了允许序列化不可序列化类的子类型，该子类型可以承担保存和恢复超类型的公共，受保护和（如果可访问）包字段状态的责任。只有当该类可以将其继承时，该子类型才可以承担此责任。 extend具有可访问的no-arg构造函数，用于初始化类的状态。如果不是这样，则声明类Serializable是错误的。将在运行时检测到该错误。”

通常，任何带有私有构造函数的类都不能扩展。 并且此错误将在编译时可见。 但是上述文档的最后一行说它将在运行时发生。 有什么解释吗？

Answer 1

该文件说，不可序列化的超类型需要一个无参数的构造函数。 它并没有说它应该是私有的。 相反，它表示此构造函数应该可访问。 文档对运行时的意义是什么

class A {
    A() {   <-- accessible only in current package
    }
}

public class B extends A implements Serializable {
    public B() {
    }
}

假设A和B都在同一个程序包中。 没有编译错误。 但是，如果我们尝试从另一个包中的类C反序列化B的实例，则会得到运行时异常，因为ObjectInputStream会尝试调用A的no-arg构造函数，但无法从包外部访问它

Answer 2

您最后的解释是不正确的。 A的no-arg构造函数是否对C可见并不重要。 它只需要对B可见。

在坚果壳中，只要A具有对B可见的无参数构造函数，就可以将B声明为可序列化的。

但是原来还是开放的：

当所有验证信息在编译期间可用时，为什么在运行时识别此错误？