我对JVM内部字节码的验证有些困惑。根据Deitel和Deitel的书籍，Java程序经历五个阶段（编辑、编译、加载、验证和执行）(第1章)。字节码验证器在“验证”阶段验证字节码。该书没有提到字节码验证器是类加载器的一部分。
然而，根据Oracle文档，类加载器执行加载、链接和初始化任务，在链接过程中必须验证字节码。
那么，Deitel 和 Deitel提到的字节码验证和此 Oracle文档提到的字节码验证是否相同？
或者字节码验证会发生两次，一次在链接过程中，另一次由字节码验证器执行?
图片描述了Dietel和Dietel书中提到的Java程序阶段。(我从下面nobalG的回答中借用了这张图片：)
static int factorial(int n)
{
int res;
for (res = 1; n > 0; n--) res = res * n;
return res;
}
相应的字节码将是
method static int factorial(int), 2 registers, 2 stack slots
0: iconst_1 // push the integer constant 1
1: istore_1 // store it in register 1 (the res variable)
2: iload_0 // push register 0 (the n parameter)
3: ifle 14 // if negative or null, go to PC 14
6: iload_1 // push register 1 (res)
7: iload_0 // push register 0 (n)
8: imul // multiply the two integers at top of stack
9: istore_1 // pop result and store it in register 1
10: iinc 0, -1 // decrement register 0 (n) by 1
11: goto 2 // go to PC 2
14: iload_1 // load register 1 (res)
15: ireturn // return its value to caller
请注意，JVM中的大部分指令都是有类型的。
现在您应该注意，除非代码至少满足以下条件，否则不能保证JVM的正常操作：
字节码验证的目的是通过在加载时对字节码进行静态分析来一次性检查这些条件。通过验证的字节码可以更快地执行。
还要注意，字节码验证的目的是将上述验证从运行时移到加载时。
以上解释摘自Java bytecode verification: algorithms and formalizations
来自JVM规范4.10：
尽管Java编程语言的编译器只能生成满足前几个部分中所有静态和结构约束的类文件，但Java虚拟机不能保证任何它被要求加载的文件都是由该编译器生成或者格式正确。
接下来会详细说明验证过程。
来自JVM规范5.4.1：
验证（§4.10）确保类或接口的二进制表示形式在结构上正确（§4.9）。验证可能导致其他类和接口被加载（§5.3），但不需要导致它们被验证或准备。
该部分规定链接引用 §4.10 - 不作为单独的过程，而是作为加载类的一部分。
JVM和JLS是很好的文档，当你有这样的问题时可以查阅。
不需要，就验证而言，在下面的图片中仔细观察Java程序如何通过各种阶段，您会发现没有二次验证，但代码只需验证一次。
编译 - 编译器接受“.java”文件，编译它，并查找程序范围内的任何可能错误。如果它发现任何错误，则向程序员报告这些错误。如果没有错误，则将程序转换为字节码，并保存为“.class”文件。
加载 - 现在，称为“类加载器”的组件的主要目的是将字节码加载到JVM中。它还没有执行代码，而只是将其加载到JVM的内存中。
验证 - 加载代码后，JVM的子部分Byte Code Verifier检查字节码并验证其真实性。它还检查字节码是否具有可能导致某些恶意结果的代码。 JVM的此组件确保安全性。
执行 - 下一个组件是Execution Engine。 执行引擎使用Just In Time（JIT）编译器逐行解释代码。 JIT编译器执行速度非常快，但会消耗额外的缓存内存。
代码的验证发生了两次。一次是在编译期间（如果代码存在缺陷、威胁，则编译失败），另一次是在类被加载到内存中后在执行期间实际的字节码验证）。是的，这与通过类加载器加载类的过程同时发生，但类加载器本身可能不会充当验证器。它是JVM（或者更准确地说是JVM中的验证器）进行验证。
ClassLoader内部发生，因此完全独立于特定的ClassLoader实现。甚至还有其他方法可以将一个类添加到JVM中，例如Instrumentation，但在这些情况下也会验证字节码。同时，“Class Loader”指向“Just in Time Compiler”的箭头没有意义，因为ClassLoader不以任何方式与JIT Compiler交互。相反，您可以认为验证器和JIT已经成为JVM的一个组成部分超过15年了。 - HolgerClassLoader负责定位和加载（或生成）组成类文件的字节。当它将这些字节传递给其中一个defineClass方法时，它的责任就结束了。这是 JVM 及其验证器的责任开始的地方。该过程在 JVM 规范 §5.3 中有详细说明。请注意，5.3.2 包含有关 Java1.1 更改（1997 年）的备注。 - Holger