缺点：类型不安全：方法接收int status，可以传入任意整型。无命名空间：打印时只是数字，难以阅读。无法携带额外信息（如状态描述）。SUCCESS(200, "操作成功"),BAD_REQUEST(400, "参数错误"),UNAUTHORIZED(401, "未授权"),FORBIDDEN(403, "无权限"),NOT_FOUND(404, "资源不存在"),SERVER_ERROR(50

形式化方法是使用数学和逻辑的严格手段来规范、设计和验证软件系统的技术。它要求我们以精确的、无歧义的方式描述程序”应该做什么“，然后用工具自动检查程序是否满足规范。契约式设计：为方法定义前置条件、后置条件和类不变量。模型检测：穷举系统所有可能状态，验证是否违反特定性质（如死锁）。静态类型检查：通过类型系统证明某些错误不可能发生（如空指针）。定理证明：将程序行为转化为数学命题，由证明器推导。

通过匿名内部类将计时代码模板化减少重复代码业务与横切关注点分离更灵活的计时控制（毫秒、秒、纳秒）支持无返回值与有返回值两种场景无论是日常调试、性能优化，还是搭建简单的监控体系，这种模式都能发挥很大作用。希望本文能给你带来启发，在项目中大胆使用匿名内部类来简化你的计时代码！

反射（Reflection)是Java语言提供的一种能力，它允许程序在运行时动态地获取类的完整信息，并且可以操作类或对象的属性、方法、构造器等，即使这些信息在编译时时未知的。简单来说：平时我们写代码是”先有类，后有对象，再调用方法“；而反射可以让你”先拿到一个对象，再反过来获取它属于哪个类、有哪些方法，然后动态调用“。Class：代表一个类或接口Field：代表类的成员变量Method：代表类的方

素数是指在大于1的自然数中，除了1和它本身以外不再有其他因数的数。例如：2、3、5、7、11 等都是素数，而 1、4、6、8、9 则不是。特别注意：1既不是素数也不是合数，它是“单位元”。本文通过一个简单的素数输出任务，深入讲解了：素数的数学定义试除法的优化思想（√n 上限、排除偶数）Java 代码的模块化设计时间复杂度的简单估算希望这篇“小题目，大原理”的文章能对您有所帮助。

字节流忠于原始数据，字符流忠于文本语义。在今后的编程竞赛或企业开发中，务必根据数据类型选对武器，避免文件损坏的”惨案”发生。

不知道你有没有遇到过这种情况：一个类写了几百上千行，里面塞了各种不相关的方法，改个小功能生怕影响其他地方，单元测试写起来也特别费劲。这大概率就是单一职责原则（Single Responsibility Principle, SRP） 没遵守好的锅。一个类应该只有一个引起它变化的原因，也就是只承担一个职责。今天我们就以 Java 登录功能为例，手把手教你用单一职责原则重构代码，看看它到底有多香！很多

形式化方法是使用数学和逻辑的严格手段来规范、设计和验证软件系统的技术。它要求我们以精确的、无歧义的方式描述程序”应该做什么“，然后用工具自动检查程序是否满足规范。契约式设计：为方法定义前置条件、后置条件和类不变量。模型检测：穷举系统所有可能状态，验证是否违反特定性质（如死锁）。静态类型检查：通过类型系统证明某些错误不可能发生（如空指针）。定理证明：将程序行为转化为数学命题，由证明器推导。

缺点：类型不安全：方法接收int status，可以传入任意整型。无命名空间：打印时只是数字，难以阅读。无法携带额外信息（如状态描述）。SUCCESS(200, "操作成功"),BAD_REQUEST(400, "参数错误"),UNAUTHORIZED(401, "未授权"),FORBIDDEN(403, "无权限"),NOT_FOUND(404, "资源不存在"),SERVER_ERROR(50