本文共 746 字，大约阅读时间需要 2 分钟。

在编写AOP程序时，遇到了JDK 11环境下的verifyError问题。verifyError提示“Stack map does not match the one at exception”，这通常是由于JVM在加载动态生成的类文件时对字节码进行校验失败所引起的。

JVM在加载类文件时会执行字节码校验，这一过程旨在确保字节码的安全性和一致性。如果类文件是使用javac编译生成的，通常不会出现verifyError。但当类文件由动态工具（如asm、cglib等）生成，或来源于第三方库时，可能会遇到校验失败的问题，这可能是由于字节码生成程序存在bug，也可能是由于JVM版本升级导致新增的校验条件。

对于这个问题，可以采取以下解决措施：

java -noverify YourMainClass

2. 更换JVM实现：某些情况下，可以考虑更换基于 McCabe 的 JDK（如JDBC或PrivateDirectory），尤其是在遇到特定JVM版本的验证问题时。

在禁用校验时，需要注意以下几点：

• 安全隐患：禁用校验可能会降低运行时的安全性，允许恶意代码执行。
• 性能影响：校验机制的禁用会增加性能开销，影响应用的执行效率。
• 兼容性问题：不同JVM实现可能对校验的实现方式有所不同，禁用校验可能导致其他问题。

在实际操作中，应根据具体的应用场景权衡 performance 和 security 的权衡。同时，可以结合字节码生成工具进行审计，确保生成的字节码是正确无误的。此外，尽量使用那些已经通过广泛测试并被证明稳定性的动态类生成工具，以减少遇到类似问题的风险。