std::lcm 和 std::gcd 是 c++17 引入的 中 constexpr 整型函数，要求标准整型、需显式包含头文件，支持零输入但需注意跨标准差异与溢出风险。
std::lcm 和 std::gcd 是 C++17 引入的 <numeric></numeric> 中的函数，必须用整型（且不能是 bool），否则编译失败
这两个函数不接受浮点数、指针或用户自定义类型。传入 float、double 或 long long 以外的非标准整型（如 __int128）会触发 SFINAE 失败或编译错误。常见误用是拿 size_t 直接调用——它在 64 位系统上常为 unsigned long，但若平台 unsigned long 和 unsigned long long 不同宽，可能隐式转换失败。
正确做法是显式转成有符号或无符号的标准整型：
long long a = 12, b = 18; auto g = std::gcd(a, b); // OK：long long 可行 auto l = std::lcm(a, b); // OK <p>unsigned x = 15, y = 25; auto g2 = std::gcd(static_cast<long long>(x), static_cast<long long>(y)); // 更安全</p>
std::lcm(0, n) 和 std::gcd(0, n) 的行为有明确定义，但容易误解
std::gcd(a, 0) 返回 abs(a)（C++17 要求 a ≠ 0，C++20 放宽为允许 a=0，此时返回 0）；std::lcm(0, n) 在 C++17 中只要任一参数为 0 就返回 0。这不是 bug，而是按数学定义：LCM 是“最小正公倍数”，但 0 是所有整数的倍数，所以 LCM(0,n)=0 是合理约定。
- 如果业务逻辑中需要排除 0，必须手动检查：
if (a == 0 || b == 0) throw std::invalid_argument("lcm undefined for zero"); -
std::gcd(0, 0)在 C++17 是未定义行为（UB），C++20 定义为 0 —— 若需跨标准兼容，应避免传入两个零 - 注意：
std::lcm内部先算abs(a) / gcd(a,b) * abs(b)，所以若乘法溢出（如两个大int相乘超过int范围），结果未定义。建议用long long中间计算
编译器支持和头文件依赖：不加 <numeric></numeric> 会报 “not declared in this scope”
即使用了 C++17 模式（如 -std=c++17），漏掉 #include <numeric></numeric> 会导致 std::gcd 找不到。Clang 和 GCC 10+ 支持完整，MSVC 从 19.20（VS 2019）起支持。MinGW-w64 需确认 libstdc++ 版本 ≥ 9.0。
立即学习“C++免费学习笔记（深入）”；
常见错误现象：
