C++ 怎么求最大公约数 C++ gcd函数与欧几里得算法实现【算法】
std::gcd是C++17引入的标准函数，需包含头文件并启用-std=c++17；接受两个同类型整数，负数取绝对值处理，std::gcd(0,5)返回5，std::gcd(0,0)抛出domain_error。
std::gcd 在 C++17 中怎么用
直接调用 std::gcd 是最简单的方式，但必须确认编译器支持 C++17 且启用了对应标准。它定义在 int、long long 等），不支持浮点或负数（负数会被转为正数后计算）。
- 编译时加
-std=c++17或更高版本，否则会报错‘gcd’ is not a member of ‘std’ -
std::gcd(0, 5)返回5，std::gcd(0, 0)抛出std::domain_error - 参数顺序无关：
std::gcd(a, b) == std::gcd(b, a)
自己写欧几里得算法要注意什么
手动实现时推荐用迭代版，避免递归过深或栈溢出；核心逻辑是反复用大数对小数取余，直到余数为 0。关键陷阱在于符号和零值处理。
- 先对输入取绝对值：
std::abs(a)和std::abs(b)，否则-12 % 8得-4，破坏算法收敛性 - 显式处理零值：若两者全为 0，GCD 无定义；若其一为 0，结果就是另一个的绝对值
- 用
while (b != 0)循环，更新为std::tie(a, b) = std::make_pair(b, a % b)，或更兼容老标准的写法：int temp = a % b; a = b; b = temp;
为什么 a % b 不能直接写成 a - b * (a / b)
因为整数除法截断方向依赖符号，在 C++ 中 a / b 向零取整，导致该表达式在异号时与 % 不等价。例如 a = -10, b = 3：
-
a % b是-1（C++ 标准规定余数符号同被除数） -
a - b * (a / b)→-10 - 3 * (-3)→-10 + 9 = -1，看似一样；但若a = 10, b = -3，a % b是1，而a / b是-3，算出来却是10 - (-3) * (-3) = 1—— 这里碰巧一致，但逻辑不可靠 - 真正风险在溢出：
b * (a / b)可能中间结果溢出，而a % b是原子运算，编译器可优化为单条指令
GCC 和 Clang 的内置函数 __gcd 能不能用
可以快速验证逻辑，但它是 GNU 扩展，不是标准 C++，跨平台项目中应避免。MSVC 不支持，且行为与 std::gcd 不完全一致（比如对 0, 0 返回 0 而不抛异常）。
- 头文件无需额外引入
，但依赖编译器实现，移植时容易出
undefined reference - 参数类型检查宽松，可能隐式转换导致意外结果（如传入
double会截断） - 如果只是临时调试，写
return __gcd(a, b);没问题；但提交代码或封装库时，优先用std::gcd或自实现
实际项目里最容易被忽略的是：GCD 函数通常假设输入是整数，但上游数据可能来自用户输入或文件解析——没做 std::abs 和零值检查的实现，在遇到负数或全零输入时会进入死循环或返回错误结果。
