java安全边界需用包装类+约束注解拦截非法输入，运行时用math.exact方法检测溢出，关键场景优先升级为long或biginteger。
构建Java安全边界防止外部数据溢出基本类型的最大合法范围，核心不是“堵住漏洞”，而是建立一套可验证、可拦截、可追溯的防护链：从参数入口到配置加载，从运行时运算到类型转换，每一步都明确边界并主动校验。
用包装类 + 标准约束注解拦截非法输入
原始类型（如int）无法被JSR-303校验注解识别，必须改用包装类（Integer、Long等），再配合@Min/@Max限定硬性范围，并启用校验触发机制：
- Controller参数声明为
@RequestParam @Min(Integer.MIN_VALUE) @Max(Integer.MAX_VALUE) Integer id - 配置类字段用
@ConfigurationProperties时，字段类型也必须是Integer而非int - 类或方法上添加
@Validated，确保Spring在绑定阶段就执行校验 - 校验失败会抛
MethodArgumentNotValidException或启动时报错，不进入业务逻辑
自定义注解统一管理类型安全边界
重复写@Min(-2147483648) @Max(2147483647)易出错且难维护。推荐定义通用注解如@InIntRange：
- 注解支持
target = {FIELD, PARAMETER}，适配配置类字段和接口参数 - 实现
ConstraintValidator<inintrange number></inintrange>，内部调用number.longValue()后与Integer.MIN_VALUE/MAX_VALUE比对 - 一处定义，多处复用；后续扩展
@InLongRange只需改常量，无需重写校验逻辑
运行时运算前强制溢出检测
即使输入合法，组合计算仍可能溢出。不能依赖静默环绕——Java默认Integer.MAX_VALUE + 1变成负数，这是危险行为：
- 关键路径（如计费、库存扣减、分页偏移量计算）必须使用
Math.addExact()、Math.multiplyExact()等方法，溢出即抛ArithmeticException - 若需兼容旧版或性能敏感场景，手动检查边界：加法前判断
a > 0 && b > Integer.MAX_VALUE - a，乘法前用long做预判除法 - 避免先算再转：如
(long)a * b正确，(long)(a * b)错误（已在int层溢出）
关键场景优先升级数据类型
防御不是只靠检查，更要从源头降低风险：
- 对外接口接收ID、金额、数量等字段，若业务预期可能超
int范围，直接定义为Long，省去校验负担 - 涉及累计值、时间戳差值、大文件字节偏移等，一律用
long起步 - 金融、统计、加密等精度敏感场景，不用
long而用BigInteger，彻底规避整数溢出
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
