std::gcd最快最安全，需c++17及以上、#include 、整型参数，gcd(0,0)抛异常；手写推荐迭代版防栈溢出，注意abs处理与b≠0判断。
用 std::gcd 最快最安全，但得 C++17
如果你的编译器支持 C++17（比如 GCC 7+、Clang 6+、MSVC 2017 Update 5+），直接用标准库函数 std::gcd 是最优解——它经过充分测试、内联优化、处理了边界情况（比如 gcd(0, x) 返回 abs(x)），且不依赖手写逻辑。
常见错误是头文件漏写：std::gcd 在 <numeric></numeric> 里，不是 <algorithm></algorithm> 或 <cmath></cmath>。
- 必须加
#include <numeric></numeric> - 参数类型需一致，且为整型（
int、long long等），传浮点会编译失败 -
std::gcd(0, 0)抛出std::domain_error，这点容易被忽略
示例：
int a = 48, b = 18; int g = std::gcd(a, b); // 得 6手写递归版 gcd 简洁但有栈溢出风险
递归写法最贴近数学定义，可读性强，但对极大数（如接近 INT_MAX 的两个大素数）可能触发栈溢出——因为每次调用都压栈，深度等于辗转相除步数，最坏情况接近 O(n) 层调用。
立即学习“C++免费学习笔记（深入）”；
使用场景：教学、嵌入式环境无标准库、或需自定义模运算逻辑时。
- 必须确保参数非负，否则取模行为未定义（C++ 中负数取模结果符号依赖实现）
- 推荐先做
abs()处理，但注意INT_MIN取绝对值会溢出，稳妥做法是用long long中转 - 递归终止条件是
b == 0，不是a == 0
示例：
int gcd(int a, int b) { a = abs(a); b = abs(b); return b == 0 ? a : gcd(b, a % b); }手写迭代版 gcd 避免栈问题，适合生产环境
迭代版本空间复杂度 O(1)，无栈溢出顾虑，性能稳定，是手写实现的首选。实际编译器对它的优化也更充分（比如常被展开为几条汇编指令）。
容易踩的坑集中在符号和零值处理上：
- 循环中若
b初始为 0，直接返回a，但此时a可能为负——应统一返回非负结果 -
a % b在b == 0时是未定义行为，所以循环条件必须是b != 0，不能写成while (b)后再取模 - 如果输入含
INT_MIN，建议用long long做中间计算，避免%溢出（虽然 C++ 标准规定整数除法溢出是未定义行为）
示例：
int gcd(int a, int b) { a = abs(a); b = abs(b); while (b != 0) { int r = a % b; a = b; b = r; } return a; }模板化 gcd 支持多种整型，但要注意 SFINAE 和 C++20 概念
想让一个 gcd 函数同时接受 int、long long、甚至自定义大整数类？模板是出路，但 C++17 之前需手动约束，C++20 可用 std::integral。
关键难点不在语法，而在语义一致性：
- 模板参数推导失败常见于混合类型调用，比如
gcd(10, 15LL)，编译器无法统一T；建议显式指定或用auto推导返回值 - 自定义类型需重载
%和==，且满足 Euclidean ring 要求（余数范数严格减小） - C++20 下用
requires std::integral<t></t>比老式enable_if更清晰，但 MSVC 对概念支持仍有细节差异
最小可行模板示例：
template <typename T> T gcd(T a, T b) { a = a < 0 ? -a : a; b = b < 0 ? -b : b; while (b != T{}) { T r = a % b; a = b; b = r; } return a; } C++ 求 GCD 看似简单，真正难的是在“正确性”“泛型能力”“边界鲁棒性”三者间找平衡——尤其是 INT_MIN、0、负数混用时，连标准库的 std::gcd 都明确拒绝 (0,0)，这不是疏忽，而是数学定义本身就不允许。