
课程咨询: 400-996-5531 / 投诉建议: 400-111-8989
认真做教育 专心促就业
验证是程序员在学习Java编程类加载技术的时候需要重点掌握的一个编程技术知识,下面我们就通过案例分析来简单了解一下,类加载验证常见类型分析。
文件格式验证
一阶段要验证字节流是否符合Class文件格式的规范,并且能被当前版本的虚拟机处理。需要验证魔数、版本号、常量池常量类型是否支持、指向常量的索引值等等。
元数据验证
二阶段是对字节码描述的信息进行语义分析,以保证其描述的信息符合《Java语言规范》的要求,包括类是否有父类、父类是否继承了final修饰的类、非抽象类是否实现了父类定义的方法、类是否与父类有矛盾等等。
字节码验证
三阶段是整个验证过程中复杂的一个阶段,主要目的是通过数据流分析和控制流分析,确定程序语义是合法的、符合逻辑的。
符号引用验证
后一个阶段的校验行为发生在虚拟机将符号引用转化为直接引用的时候,这个转化动作将在连接的三阶段——解析阶段中发生。
符号引用验证主要验证类是否缺少或者被禁止访问它依赖的某些外部类、方法、字段等资源。
【免责声明】本文系本网编辑部分转载,转载目的在于传递更多信息,并不代表本网赞同其观点和对其真实性负责。如涉及作品内容、版权和其它问题,请在30日内与管理员联系,我们会予以更改或删除相关文章,以保证您的权益!更多内容请加danei0707学习了解。欢迎关注“达内在线”参与分销,赚更多好礼。