用 % 判断整除需先确保 b ≠ 0，且 a % b == 0 即数学意义整除；负数下 c++ % 符号依被除数，但余数为 0 仍表整除；浮点数须用 std::fmod 并配合阈值判断。
用 % 运算符判断整除，但要注意除零和符号
直接用取余运算符 % 是最常用也最有效的方式：如果 a % b == 0，且 b != 0，就说明 a 能被 b 整除。但 C++ 的 % 对负数有定义（结果符号与被除数一致），比如 (-7) % 3 是 -1，不是 2，所以不能只看是否为 0 就断言“整除”，得先确保操作数符合预期。
- 必须检查
b != 0，否则行为未定义（通常崩溃或抛异常） - 若
a和b可能为负，且你关心数学意义上的“整除”（即存在整数k使得a = k * b），a % b == 0仍成立——C++ 标准保证：只要b != 0，(a / b) * b + a % b == a，所以余数为 0 确实意味着整除 - 但注意：
a / b是向零截断的，所以7 % -3 == 1，而-7 % -3 == -1；不过只要余数是 0，符号不影响整除性判断
处理浮点数时不能用 %，得改用 std::fmod 或相对误差
如果你实际要判断的是浮点数（比如 double x 是否能被 double y 整除），% 不可用，编译会报错。此时需用 std::fmod(x, y)，再判断结果是否“足够接近 0”。
-
std::fmod返回的是带符号的余数，范围在[-|y|, |y|)内 - 由于浮点精度问题，不能直接写
std::fmod(x, y) == 0.0，应使用小阈值比较：std::abs(std::fmod(x, y)) - 同样要检查
y != 0.0，否则std::fmod返回 NaN - 若
x或y是无穷大或 NaN，结果也是 NaN，需前置校验
模板函数封装可复用的整除判断逻辑
把边界检查和类型适配收拢成一个函数，避免每次手写重复逻辑：
template <typename t>
bool divisible(const T& a, const T& b) {
if constexpr (std::is_floating_point_v<t>) {
if (b == T(0)) return false;
return std::abs(std::fmod(a, b)) <p>这样调用 <code>divisible(15, 3)</code>、<code>divisible(-8, 4)</code>、<code>divisible(3.14, 1.57)</code> 都能安全工作。注意：对浮点类型，该函数仅适用于“近似整除”，不适用于高精度科学计算场景。</p>
<h3>编译期常量判断需用 <code>constexpr</code> + 静态断言</h3>
<p>如果两个数都是字面量或 <code>constexpr</code> 变量，想在编译期就知道能否整除（比如用于 <code>static_assert</code> 或模板特化），必须确保除数非零且表达式可常量求值：</p>
<ul>
<li>写 <code>constexpr int a = 100, b = 7; static_assert(a % b == 0);</code> 会失败，因为 <code>100 % 7 != 0</code>
</li>
<li>但 <code>constexpr int a = 99, b = 3; static_assert(a % b == 0);</code> 可通过</li>
<li>若 <code>b</code> 可能为 0，<code>constexpr</code> 求值阶段就会报错（不是运行时崩溃），所以更早暴露问题</li>
<li>浮点字面量不能用于 <code>constexpr</code> 的 <code>std::fmod</code>（C++20 前不支持），所以编译期浮点整除判断基本不可行</li>
</ul>
<p>真正容易被忽略的是：整除判断本身很简单，但“什么才算合法的被除数/除数”依赖上下文——用户输入？配置文件读取？传感器数据？这些地方的零值和异常值必须在进入 <code>%</code> 或 <code>std::fmod</code> 前就清理干净，而不是靠后面加一堆 <code>if</code> 补救。</p></t></typename>C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
