std::gcd 是 C++17 引入的 constexpr 函数，要求参数非负、类型一致，负数导致未定义行为，0 和 0 抛异常；旧编译器需手写欧几里得算法以保证兼容性与控制力。
std::gcd 是 C++17 起才有的标准库函数，老版本编译器直接用会报错
如果你在 g++ 下写 std::gcd(a, b) 却遇到 ‘gcd’ is not a member of ‘std’，大概率是编译器没开 C++17 或更高标准。GCC 9+、Clang 7+ 才完整支持 <numeric> 中的 std::gcd，且必须显式加编译选项：-std=c++17 或 -std=c++20。
验证方法：在代码开头加 #include <numeric> 后尝试编译，失败就说明环境不满足。别急着自己重写——先确认标准版本比反复调试更省时间。
std::gcd 的行为和边界条件必须清楚，否则结果出人意料
std::gcd 要求两个参数都为非负整数，传入负数会导致未定义行为（不是取绝对值后算）。比如 std::gcd(-12, 8) 不保证返回 4；std::gcd(0, 5) 返回 5（因为 gcd(0, n) = |n|），而 std::gcd(0, 0) 抛出 std::domain_error 异常。
- 务必在调用前做非负检查，或用
std::abs预处理（但注意std::abs(INT_MIN)在补码系统下可能溢出） - 如果业务逻辑允许 0 输入，需单独判断
a == 0 && b == 0场景 - 参数类型必须一致，
std::gcd(12L, 8)会编译失败——隐式转换不被接受
手写欧几里得算法比依赖库更可控，尤其要处理负数和大整数
标准库 std::gcd 内部大概率也是用欧几里得迭代实现，但封装后你无法干预中间步骤。当需要兼容旧编译器、支持自定义大整数类、或明确控制符号处理时，手写更稳妥：
立即学习“C++免费学习笔记（深入）”；
int my_gcd(int a, int b) {
a = std::abs(a);
b = std::abs(b);
while (b != 0) {
int r = a % b;
a = b;
b = r;
}
return a;
}
注意点：
- 用
while迭代比递归更安全，避免深栈（尤其对极大数） -
a % b在 C++ 中符号跟随被除数，所以先取绝对值再模，否则-12 % 8 == -4会破坏算法逻辑 - 若涉及
long long，确保所有中间变量同类型，避免隐式截断
std::gcd 和手写版性能几乎没差别，但头文件和链接无任何开销
std::gcd 是 constexpr 函数，编译期能算尽算；手写版加 constexpr 修饰也一样。两者生成的汇编通常完全相同——现代编译器对这种简单循环优化得很彻底。
真正影响性能的是数据规模和内存访问模式，而不是“用库还是不用库”。但要注意：
-
std::gcd只在<numeric>中，漏包含会编译失败；手写函数可放在任意头文件里 - 跨平台项目若需支持 MSVC 2015 或 GCC 5，
std::gcd直接不可用，手写是唯一选择 - 某些嵌入式环境禁用异常，
std::gcd(0,0)的异常路径就成了隐患，手写可返回 0 或约定错误码
实际项目里，要不要用 std::gcd 不取决于它多快，而取决于你是否愿意为一行代码承担标准版本、异常语义、头文件依赖这三重约束。
