Java不靠类型转换溢出直接触发DoS，但整型溢出、越界、非法强转等可引发异常连锁、逻辑错乱、资源耗尽或静默数据损坏，最终导致服务不可用；防御需四层：编译期约束、运行时校验、配置防护与防御性编码。
Java本身不靠“类型转换溢出”直接触发拒绝服务（DoS），但整型溢出、边界越界、非法类型强转等行为，可能引发异常连锁、逻辑错乱、资源耗尽或静默数据损坏，最终导致服务不可用。防御关键不是等溢出发生，而是用安全边界检查机制在源头拦截——包括编译期约束、运行时校验、配置加载防护和防御性编码四层。
用注解+校验框架拦截配置与参数溢出
外部输入（如HTTP参数、YAML配置）若被误设为超范围值，可能在后续转为int/short时静默截断成负数，引发连接池崩溃、定时任务跳变等隐蔽DoS。必须前置拦截：
- Controller参数改用Integer而非int，配合@Min/@Max并标注@Validated
- 配置类（@ConfigurationProperties）字段声明为包装类型，加@InIntRange自定义注解（内部校验是否落在Integer.MIN_VALUE ~ MAX_VALUE内）
- 启动时即校验失败，Spring Boot直接报错退出，避免带错配置上线
用精确数值方法替代裸强转，防止静默数据污染
基本类型强转（如(int) 3.9或(byte) 200）不会抛异常，但结果不可逆。涉及计数、限额、索引等敏感场景必须杜绝：
- 用Math.toIntExact(long)代替(int) longVal：溢出时明确抛ArithmeticException
- 金额、时间戳等优先走BigDecimal，或用long承载再显式范围校验
- 数组索引、集合下标必须先通过Objects.checkIndex(int, int)（Java 19+）或Objects.checkFromToIndex(int, int, int)校验
在关键路径部署运行时边界断言与监控
对已知高风险操作（如分页偏移量计算、批量处理数量、缓存TTL设置），不能只依赖注解，需主动插入防御点：
立即学习“Java免费学习笔记（深入）”；
- 分页参数page * size可能整型溢出 → 改用Math.multiplyExact(page, size)捕获异常
- 反射调用或泛型容器取值前，用instanceof + 非空判断，避免ClassCastException中断主线程
- 关键业务方法入口添加assert语句（生产可关闭），配合日志告警记录越界尝试
结合静态分析与测试覆盖堵住盲区
人工易漏掉复合计算边界、负数参与的模运算、大数字符串解析等场景：
- 启用IDEA或PVS-Studio的Data Flow Analysis，检测off-by-one和隐式溢出路径
- 单元测试必须覆盖边界值：Integer.MAX_VALUE、MAX_VALUE + 1、负数、零、空字符串
- 对@ConfigurationProperties类单独写集成测试，加载含超限值的YAML，验证是否启动失败
