C++17起推荐用std::gcd，需包含<numeric>且参数为同类型非零整数；否则手写迭代版欧几里得算法，注意取绝对值并处理long long。
用 std::gcd 最快最安全（C++17 起）
如果你的编译器支持 C++17（如 GCC 8+、Clang 7+、MSVC 2017 Update 5+），直接用标准库函数 std::gcd 是最稳妥的选择。它已针对整数类型做泛型处理，自动处理符号、零值和溢出边界。
使用前需包含头文件：#include <numeric></numeric>。注意：参数必须是同类型整数，且不能是浮点数或自定义类型。
常见错误现象：std::gcd(a, b) 中若 a 或 b 为负，结果仍为正（符合数学定义）；若两者全为 0，行为未定义（会抛异常或返回 0，取决于实现，务必避免）。
- 确保至少一个参数非零：
if (a == 0 && b == 0) throw std::invalid_argument("GCD undefined for (0, 0)"); - 传入前可取绝对值保险：
std::gcd(std::abs(a), std::abs(b))，但非必需（std::gcd内部已处理） - 不支持
long long？检查编译器是否启用 C++17：加编译选项-std=c++17
手写欧几里得算法（兼容老标准或教学场景）
当项目受限于 C++11/14，或需要理解原理、定制逻辑（比如求多个数 GCD、带日志），手写递归或迭代版本更可控。核心就是反复用“大数 % 小数”，直到余数为 0。
立即学习“C++免费学习笔记（深入）”；
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
推荐迭代写法，避免栈溢出风险，也更易调试：
int 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;
}
关键细节：
- 必须先取
std::abs，否则负数取模在 C++ 中结果符号依赖实现（C++11 起规定a % b符号同a），会导致循环不终止 - 输入为 0 时，
gcd(a, 0)应返回std::abs(a)—— 迭代版天然满足这点 - 若需支持
long long，把函数签名改为long long gcd(long long a, long long b)即可，无需改逻辑
遇到编译错误 “‘gcd’ is not a member of ‘std’” 怎么办
这说明你的标准库不提供 std::gcd，常见于：GCC
不要尝试自己定义 namespace std { ... } —— 这是未定义行为，可能破坏标准库内部逻辑。
- 首选方案：升级工具链或显式启用 C++17：
g++ -std=c++17 - 次选方案：用上面的手写迭代版，命名避开
std::（例如叫my_gcd） - 误加
#include <algorithm></algorithm>不起作用 ——std::gcd在<numeric></numeric>里，不是<algorithm></algorithm>
性能与类型陷阱：别在循环里反复调用 std::gcd 处理大数组
std::gcd 本身很快（O(log min(a,b))），但频繁调用仍有函数调用开销；更大的隐患是隐式类型转换。
例如：std::gcd(1000000, 2147483647) —— 若字面量被推导为 int，第二个数在 32 位系统上会溢出变成负数，导致结果错误。
- 对大数，显式指定字面量类型：
std::gcd(1000000LL, 2147483647LL) - 对容器中元素，先统一转成足够大的类型再计算：
std::gcd(static_cast<long long>(a), static_cast<long long>(b))</long></long> - 求多个数 GCD？用
std::accumulate(v.begin(), v.end(), 0LL, [](auto a, auto b) { return gcd(a, b); })，注意初始值设为第一个元素或用v[0]
std::gcd 就别手写，但得记得它不处理 (0,0)，也不自动提升类型。 
