🌈hello，你好鸭，我是Ethan，西安电子科技大学大三在读，很高兴你能来阅读。
✔️目前博客主要更新Java系列、项目案例、计算机必学四件套等。
🏃人生之义，在于追求，不在成败，勤通大道。加油呀！
🔥个人主页：Ethan Yankang
🔥推荐：史上最强八股文||一分钟看完我的几百篇博客
🔥温馨提示：划到文末发现专栏彩蛋 点击这里直接传送
🔥本篇概览：详细讲解了《剑指JVM》——第19章2——链接1验证——类装载子系统2🌈⭕🔥
【计算机领域一切迷惑的源头都是基本概念的模糊，算法除外】
🌈章节引出：
前一篇章：
🌈章节速览：
19.3.1 链接阶段之验证
0.总览
类加载到机器内存后，就开始链接操作。
验证是链接操作的第一步。验证的目的是保证加载的字节码是合法、合理并符合规范的。
验证的步骤比较复杂，实际要验证的项目也很繁多，如图所示：
验证的内容涵盖了类数据信息的格式检查、语义检查、字节码验证、符号引用验证，(其中格式检查会和加载阶段一起执行。验证通过之后，类加载器会成功将类的二进制数据信息加载到方法区中。格式检查之外的验证操作将会在方法区中进行。如果不在链接阶段进行验证，那么class文件运行时依旧需要进行各种检查，(虽然链接阶段的验证拖慢了加载速度，但是却提高了程序执行的速度，正所谓“磨刀不误砍柴工”。
1.格式检查
主要检査是否以魔数0xCAFEBABE【字节码文件唯-标识】开头，主版本和副版本号是否在当前JVM的支持范围内，数据中每一个项是否都拥有正确的长度等
2.字节码的语义检查
JVM 会进行字节码的语义检查，但凡在语义上不符合规范的，JVM也不会验证通过，比如JVM 会检查下面4项语义是否符合规范。
(1)是否所有的类都有父类的存在(Object除外)。
(2)是否一些被定义为final的方法或者类被重写或继承了。
(3)非抽象类是否实现了所有抽象方法或者接口方法。
(4)是否存在不兼容的方法，比如方法的签名除了返回值不同，其他都一样。
3.字节码验证
JVM 还会进行字节码验证，字节码验证也是验证过程中最为复杂的一个过程。它试图通过对字节码流的分析，判断字节码是否可以被正确地执行:比如JVM 会验证字节码中的以下内容。
(1)在字节码的执行过程中，是否会跳转到一条不存在的指令。
(2)函数的调用是否传递了正确类型的参数。
(3)变量的赋值是不是给了正确的数据类型等。
(4)检查栈映射帧的局部变量表和操作数栈是否有着正确的数据类型。
遗憾的是，百分之百准确地判断一段字节码是否可以被安全执行是无法实现的，因此，该过程只是尽可能的检查出可以预知的明显的错误。
4.符号引用验证
class文件中的常量池会通过字符串记录将要使用的其他类或者方法。
因此，在验证阶段，JVM就会检查这些类或者方法是否存在，检查当前类是否有权限访问这些数据，如果一个需要使用的类无法在系统中找到，则会抛出“NoClassDefFoundError”错误，如果一个方法无法被找到，则会抛出“NoSuchMethodError”错误。注意，这个过程发生在链接阶段的解析环节。
💖💖💖💖💖💖💖💖💖💖💖💖💖💖💖💖💖💖
热门专栏推荐
🌈🌈计算机科学入门系列 关注走一波💕💕
🌈🌈CSAPP深入理解计算机原理 关注走一波💕💕
🌈🌈微服务项目之黑马头条 关注走一波💕💕
🌈🌈redis深度项目之黑马点评 关注走一波💕💕
🌈🌈JAVA面试八股文系列专栏 关注走一波💕💕
🌈🌈JAVA基础试题集精讲 关注走一波💕💕
🌈🌈代码随想录精讲200题 关注走一波💕💕
总栏
🌈🌈JAVA基础要夯牢 关注走一波💕💕
🌈🌈JAVA后端技术栈 关注走一波💕💕
🌈🌈JAVA面试八股文 关注走一波💕💕
🌈🌈JAVA项目（含源码深度剖析） 关注走一波💕💕
🌈🌈计算机四件套 关注走一波💕💕
🌈🌈数据结构与算法 关注走一波💕💕
🌈🌈必知必会工具集 关注走一波💕💕
🌈🌈书籍网课笔记汇总 关注走一波💕💕
📣非常感谢你阅读到这里，如果这篇文章对你有帮助，希望能留下你的点赞👍 关注❤收藏✅ 评论💬，大佬三连必回哦！thanks！！！
📚愿大家都能学有所得，功不唐捐！
428
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
