xiaoxiaozhouz

摘要： 文本文件复制（字符缓冲流）： 任意文件复制（字节缓冲流）: 阅读全文

摘要： Java反射机制：是指在程序运行状态中，对于任意一个类，都能知道它的所有属性和方法；对于任意一个对象，都能调用它的任意方法和属性。 核心是打破了编译器的类型限制，可以在运动时动态操作类。 常用场景：框架开发（Spring、MyBatis）、动态代理、注解处理、通用工具类（比如JSON序列化） 反射核 阅读全文

摘要： 匿名内部类实现 阅读全文

摘要： 1.判断单个数字是否为质数 2.打印1-N范围内所有质数 阅读全文

摘要： 形式化方法（Formal Methods）是基于严格数学基础，对软/硬件系统进行规约、开发、验证的技术集合，核心是用数学语言消除自然语言的歧义、提升系统可靠性。 核心基础：形式逻辑、自动机理论、程序语义、类型系统等。 主要应用： 1.形式化规约：用Z语言、VDM等描述系统行为，明确需求边界 2.形式 阅读全文

摘要： 场景1：状态/类型定义（最常用） 在日常业务开发里，我们经常会遇到各种固定的有限分类、业务状态，比如订单的支付状态、账号的权限类型、商品的上架状态等等。 如果不用枚举，我们通常会用数字 0、1、2 或者零散字符串来标记状态，代码可读性极差，新人接手完全看不懂数字代表什么含义，还很容易写错数值、出现魔 阅读全文