除零必须手动检查，整型用if(divisor==0)处理，因除零是未定义行为；浮点型可用==0.0，但计算所得值应优先用std::abs(divisor)<epsilon判断。
除法前直接比较 divisor == 0 最简单也最常用
绝大多数场景下，只要除数是整型或浮点型变量，用 == 判断是否为零就足够了。C++ 不会自动帮你检查除零，必须手动加判断，否则行为未定义（整型）或产生 inf/nan（浮点型）。
注意：整型除零是未定义行为，可能崩溃、静默出错或触发信号（如 SIGFPE），不能靠异常捕获——C++ 标准不抛异常。
- 整型：用
if (divisor == 0) { /* 处理错误 */ }，别依赖运行时检测 - 浮点型：同样可用
== 0.0，但若值来自计算（如a - b），要考虑精度问题，此时更适合用std::abs(divisor) - 模板函数中要小心类型：对
T做== 0要求T支持该操作；自定义类型需重载operator==或提供is_zero()
用 std::isnormal 和 std::isnan 防浮点“伪零”
浮点数可能不是严格等于零，而是极小的非正规数、-0.0、inf 或 nan，这些都可能导致除法结果异常（如 1.0 / -0.0 得 -inf，0.0 / nan 得 nan）。
如果业务逻辑要求“安全可除”，光判 == 0.0 不够，得组合检查：
立即学习“C++免费学习笔记（深入）”；
-
if (!std::isnormal(divisor) && divisor != 0.0)表示是inf、nan或非正规数（含0.0） - 更稳妥写法：
if (divisor == 0.0 || std::isnan(divisor) || std::isinf(divisor)) -
-0.0 == 0.0为真，所以== 0.0已覆盖正负零，无需单独处理
模板除法函数里怎么统一处理整型和浮点型
写泛型除法（如 safe_divide<t>(a, b)</t>）时，不能对所有 T 用同一套判断逻辑。整型和浮点型的“零值”语义和检测方式不同。
推荐用 if constexpr 在编译期分派：
template <typename T>
std::optional<T> safe_divide(T a, T b) {
if constexpr (std::is_floating_point_v<T>) {
if (b == T{0} || std::isnan(b) || std::isinf(b)) return std::nullopt;
} else {
if (b == T{0}) return std::nullopt;
}
return a / b;
}注意：不要用 std::numeric_limits<T>::epsilon() 判浮点零——它表示精度单位，不是“可接受的最小非零值”；用它来代替 == 0 反而引入误判。
除零检查被编译器优化掉？小心 -ffast-math
启用 -ffast-math（GCC/Clang）或 /fp:fast（MSVC）后，编译器可能假设浮点运算无异常、无 nan/inf，进而把 if (x == 0.0) 优化掉，或重排判断顺序。
如果你的代码需要在开启 fast-math 的环境下仍保持安全除法：
- 显式禁用相关子选项，如
-fno-signed-zeros -fno-trapping-math -fno-nan-propagation - 或改用 volatile 读取（不推荐，影响性能）、
std::feclearexcept(FE_DIVBYZERO)+std::fetestexcept（POSIX，开销大） - 更实际的做法：在构建配置中明确禁止对关键模块使用
-ffast-math
整型除零不受 -ffast-math 影响，但受其他优化标志（如 -O3）影响——编译器可能基于“除数不可能为零”的假设删除分支，所以确保判断逻辑有可观测副作用（如日志、返回错误码）或用 [[unlikely]] 提示。
