Java创建线程主要有两种方式：继承Thread子类和实现Runnable接口。核心区别在于：1）继承Thread受限于Java单继承机制，而实现Runnable更灵活；2）Runnable方式天然支持多线程资源共享，Thread方式需要借助静态变量；3）Runnable实现任务与线程解耦，复用性更强。实际开发中推荐优先使用Runnable方式，因其规避了单继承限制，更便于资源共享和代码复用。两种

System.out.println("促销商品优惠后：" + service.calculateDiscount(DiscountStrategyEnum.PROMOTION, price));System.out.println("秒杀商品优惠后：" + service.calculateDiscount(DiscountStrategyEnum.SECKILL, price));3. 单例实

基础字符流：仅支持文本文件，性能差文本文件最常用基础字节流：全类型文件通用，性能差万能全类型复制，工程首选。

素数（质数）判定是 Java 基础经典练习题，本文依次实现基础遍历、平方根优化、埃氏筛法三种常用方案，附带性能分析，可直接复制运行，适配作业转博客发布需求。单次判断单个数字是否为素数：直接使用平方根优化方案；需要批量输出一段范围内全部素数：使用埃氏筛法；基础遍历仅用作逻辑学习，实际开发不推荐使用。

回调方法、代码块传参；传统写法每次计时都要手写开始、结束时间，匿名内部类完成模板代码封装，解耦性极强；Lambda 只是语法糖，本质仍是函数式接口 + 匿名内部类的思想。

Java 反射机制：在程序运行阶段，动态获取类的完整结构（类名、属性、方法、构造器），并可以实例化对象、调用任意方法、读写成员变量，这种动态操作类信息的能力就叫反射。正常编码是new 类名()正向创建对象，编译期就确定类型；反射是运行期才解析类结构，实现解耦、框架底层核心支撑。反射本质：运行期操纵 Class 元数据，反向操作类的成员；是反射访问私有结构的关键；日常业务开发极少手写反射，但所有主流

形式化方法是一套基于严格数学符号、逻辑推演的软件开发规范，用精确无二义的数学语言描述系统需求、架构、行为，替代自然语言模糊描述，多用于高可靠性软件（航空、金融、操作系统、嵌入式安全内核）开发。自然语言描述存在歧义、模糊、遗漏问题；形式化方法可以对系统做严格语法定义、逻辑推导、自动化验证，从设计阶段规避逻辑缺陷。