C++怎么求两个数的最大公约数-C++-PHP中文网

c++17起推荐用std::gcd，需包含且参数为同类型非零整数；否则手写迭代版欧几里得算法，注意取绝对值并处理long long。

c++怎么求两个数的最大公约数

用 `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++ 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)，也不自动提升类型。