std::gcd

 

C++

编译器支持

独立和宿主

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

数值库

常用数学函数
数学特殊函数 (C++17)
数学常数 (C++20)
基本线性代数算法 (C++26)
数据并行类型 (SIMD) (C++26)
浮点环境 (C++11)
复数
数值数组 (valarray)
伪随机数生成
位操作 (C++20)
因子运算
gcd (C++17)	lcm (C++17)
插值
midpoint (C++20)	lerp (C++20)
饱和算术
add_sat (C++26) sub_sat (C++26) saturate_cast (C++26)	mul_sat (C++26) div_sat (C++26)
通用数值运算
iota (C++11) ranges::iota (C++23) accumulate inner_product adjacent_difference    partial_sum	reduce (C++17) transform_reduce (C++17) inclusive_scan (C++17) exclusive_scan (C++17) transform_inclusive_scan (C++17) transform_exclusive_scan (C++17)

 

定义于头文件 <numeric>
template< class M, class N > constexpr std::common_type_t<M, N> gcd( M m, N n );		(始于 C++17)

计算整数 m 和 n 的最大公约数。

如果 M 或 N 不是整数类型，或者其中任一类型是（可能带有 cv 限定的）bool，则程序是非良构的。

如果 |m| 或 |n| 无法表示为 std::common_type_t<M, N> 类型的值，则行为未定义。

参数

m, n

-

整数值

返回值

如果 m 和 n 均为零，则返回零。否则，返回 |m| 和 |n| 的最大公约数。

异常

不抛出异常。

注解

特性测试 宏	值	Std	特性
__cpp_lib_gcd_lcm	201606L	(C++17)	std::gcd, std::lcm

示例

运行此代码

#include <numeric>
 
int main()
{
    constexpr int p{2 * 2 * 3};
    constexpr int q{2 * 3 * 3};
    static_assert(2 * 3 == std::gcd(p, q));
 
    static_assert(std::gcd( 6,  10) == 2);
    static_assert(std::gcd( 6, -10) == 2);
    static_assert(std::gcd(-6, -10) == 2);
 
    static_assert(std::gcd( 24, 0) == 24);
    static_assert(std::gcd(-24, 0) == 24);
}

参见

lcm (C++17)

计算两个整数的最小公倍数 (函数模板)