可以动态获取任意类的全部元数据（类名、构造器、成员变量、成员方法、注解、父类、接口等），同时能动态创建对象、调用方法、读写字段，甚至突破。方式 3：Class.forName ("全类名")（运行时动态加载，框架最常用）不可继承、只能由 JVM 自动创建、一个类全局仅存在一个 Class 实例。反射（Reflection）是 Java 实现动态编程的核心机制：程序。对象，该对象存储当前类的所有结构

这次 Swing 实验我完成三类程序开发：小学生算术答题软件、扫雷、2D 俯视射击游戏，基本掌握 GUI 组件与事件处理机制。扫雷和射击游戏搭建完整图形画布，完成难度切换、计时计步、存档读档功能。编写中解决了事件导入缺失、抽象方法未实现等报错，理解 AWT 事件队列运行逻辑，熟练运用鼠标、键盘监听与 Timer 动画刷新，提升图形绘制、碰撞检测和文件读写综合编程能力。按以下需求（可扩充），设计并完

形式化方法是建立在严格数学、逻辑理论之上的全流程软件开发方法论，覆盖需求、规格说明、系统设计、代码验证、测试全生命周期，通过标准化数学符号、逻辑公式、状态模型描述系统，消除自然语言带来的歧义、模糊性，实现系统行为的精确定义与可机器验证。：图形语法有统一规范，但语义不依赖严格数学证明，刚好弥补纯形式化方法可读性差、门槛过高的缺陷，是工业界落地最广泛的建模手段，也是连接自然语言需求与纯形式化数学模型的