摘要: 场景一:状态/类型定义(最常用) 用枚举代替 int 或 String 常量,增强代码可读性和类型安全性。 java public enum OrderStatus { PENDING("待支付"), PAID("已支付"), SHIPPED("已发货"), COMPLETED("已完成"), CA 阅读全文
posted @ 2026-06-11 23:45 煮煮煮猪 阅读(17) 评论(0) 推荐(0)
摘要: 问题描述 计算一个方法执行了多少秒,并要求使用匿名内部类实现。 代码实现 java // 定义一个接口 interface Task { void run(); } // 计时器类 class Timer { public static void calculate(Task task) { lon 阅读全文
posted @ 2026-06-11 18:09 煮煮煮猪 阅读(8) 评论(0) 推荐(0)
摘要: 竞赛真题一:文本文件复制(字符缓冲流)—— 最常用 题目来源:计算机二级Java考试真题 / 校内选拔赛基础题 题目描述 在指定目录下存在一个文本文件 source.txt,请编写程序将其内容完整复制到 dest.txt 文件中。要求使用字符缓冲流实现,并正确处理异常和资源释放。 输入格式 程序运行 阅读全文
posted @ 2026-06-11 17:55 煮煮煮猪 阅读(19) 评论(0) 推荐(0)
摘要: 一、两种创建方式的基础设计思路 继承 Thread 子类创建线程 这种方式的核心逻辑是把线程本身和要执行的业务任务整合在同一个类里。我们自定义一个类去继承 Java 自带的 Thread 父类,再重写父类里的 run 方法,把需要线程运行的业务逻辑写进这个方法中。使用时直接实例化自定义子类对象,调用 阅读全文
posted @ 2026-06-11 17:44 煮煮煮猪 阅读(17) 评论(0) 推荐(0)
摘要: 单一职责原则重构 开闭原则 图表展示系统重构 阅读全文
posted @ 2026-05-16 16:16 煮煮煮猪 阅读(12) 评论(0) 推荐(0)
摘要: 什么是形式化方法? 形式化方法(Formal Methods)是计算机科学领域中,基于严格数学基础的技术集合,用于软件与硬件系统的规约、开发、分析与验证。它的核心目标是通过数学逻辑、形式语言、自动机理论等工具,消除自然语言描述中的歧义,确保系统的行为符合预期,提升可靠性与安全性。 核心特点 严谨性: 阅读全文
posted @ 2026-05-16 15:52 煮煮煮猪 阅读(23) 评论(0) 推荐(0)