爻爻fqx

摘要： 字符缓冲流： import java.io.BufferedReader; import java.io.BufferedWriter; import java.io.FileReader; import java.io.FileWriter; public class CopyTextCharBu 阅读全文

摘要： 一、什么是反射机制 正常Java开发中，我们在编译阶段就确定要使用的类，通过new关键字直接创建对象、调用方法。而反射是一种逆向操作：程序运行期间，借助类的字节码信息，动态获取类的全部内部结构，还能无差别地创建对象、调用方法、修改成员变量，这种运行时解析操作类的机制，就称为Java反射。 反射的核心 阅读全文

摘要： interface Task { void runTask(); } public class TimeCountDemo { public static void countTime(Task task) { long start = System.currentTimeMillis(); tas 阅读全文

摘要： 前言 枚举本质是特殊类，用来固定有限、不可变更的常量集合，替代零散定义的静态常量，可读性、类型安全性更强。下面对应PPT三个场景逐一讲解+可运行示例 场景1：状态/类型定义（最常用） 作用 把业务有限状态收拢为枚举，避免随意传字符串/数字导致非法参数，约束取值范围。 示例：订单状态枚举 // 订单状 阅读全文

摘要： 判断一个整数 n 是否为质数思路： 若 n ≤ 1，不是质数； 若 n = 2，是质数； 若 n 是偶数，直接不是质数； 从 3 到√n，逐个试除，如果能被整除则是合数，遍历结束都不能整除则为质数。 public class PrimeDemo { public static boolean isP 阅读全文

摘要： 形式化方法介绍 一、形式化方法的定义 在计算机科学与软件工程领域，形式化方法是一种基于严格数学基础的技术，用于对软件、硬件系统进行规约、开发、分析和验证。 它的核心思想是：用数学语言（如逻辑、集合论、自动机理论）来描述系统的需求、行为和属性，而不是依赖自然语言（容易产生歧义），并通过数学推理证明系统 阅读全文