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

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

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