整数除法和取模运算前必须主动检查除数是否为零，这是最直接高效的方式；应封装安全工具方法提升可维护性；避免用异常处理替代前置校验。
整数除法（/）和取模运算（%）中除以零会直接抛出 ArithmeticException（Java）、ZeroDivisionError（Python）或导致未定义行为/崩溃（C/C++），这是典型的运行期异常，无法通过编译检查发现。防范的核心是：**在执行运算前主动检查除数是否为零**，而非依赖异常处理兜底。
显式判断除数是否为零
这是最直接、高效且语义清晰的方式。不要假设输入可控，尤其当除数来自用户输入、配置文件、数据库或外部接口时。
- Java 示例：
int divisor = getDivisor();
if (divisor == 0) {
throw new IllegalArgumentException("除数不能为零");
// 或返回默认值、记录日志、跳过计算等
}
int result = dividend / divisor; - Python 示例：
divisor = get_divisor()
if divisor == 0:
raise ValueError("除数不能为零")
result = dividend // divisor # 或 %
封装安全的除法与取模工具方法
将校验逻辑集中封装，避免重复代码，提升可维护性和一致性。可设计为返回 Optional（Java）、元组（Python）或使用哨兵值。
- Java（返回 Optional）：
public static Optional<Integer> safeDivide(int a, int b) {
return b == 0 ? Optional.empty() : Optional.of(a / b);
} - Python（返回 (success, value) 元组）：
def safe_mod(a: int, b: int) -> tuple[bool, int]:
if b == 0:
return False, 0
return True, a % b
注意负零与特殊值（针对浮点数场景的延伸提醒）
虽然问题聚焦整数，但需留意：若后续逻辑可能混用浮点数（如 double 或 float），-0.0 在某些语言中不等于 0，但除以 -0.0 仍会触发异常或产生 Infinity/NaN。整数类型不存在负零，因此只需判 `== 0` 即可。无需额外处理符号位。
避免用 try-catch 替代前置检查
捕获 ArithmeticException 或 ZeroDivisionError 是可行的，但属于被动防御，性能开销大（异常创建成本高），且掩盖了本应提前发现的逻辑缺陷。它只适合极少数无法预知除数来源、且校验成本远高于异常概率的边缘场景，不应作为常规方案。
