std::gcd

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

技术规范

符号索引

外部库

 

数值库

常用数学函数

数学特殊函数 (C++17)

数学常数 (C++20)

浮点环境 (C++11)

复数

数值数组

伪随机数生成

因数运算

gcd (C++17)

lcm (C++17)

插值

midpoint (C++20)

lerp (C++20)

泛型数值运算

iota (C++11)

accumulate

inner_product

adjacent_difference

partial_sum

位操作

bit_cast (C++20)

byteswap (C++23)

has_single_bit (C++20)

bit_ceil (C++20)

bit_floor (C++20)

bit_width (C++20)

rotl (C++20)

rotr (C++20)

countl_zero (C++20)

countl_one (C++20)

countr_zero (C++20)

countr_one (C++20)

popcount (C++20)

endian (C++20)

 

在标头 <numeric> 定义
template< class M, class N> constexpr std::common_type_t<M, N> gcd(M m, N n);		(C++17 起)

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

参数

m, n

-

整数值

返回值

若 m 与 n 均为零则返回零。否则返回 |m| 与 |n| 的最大公约数。

注意

若 M 或 N 不是整数类型，或者若其中之一是（可有 cv 限定的） bool ，则程序为病式。

若 |m| 或 |n| 不能表示为 std::common_type_t<M, N> 类型的值，则行为未定义。

异常

不抛异常。

示例

运行此代码

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

参阅

lcm (C++17)

返回二个整数最小公倍数的 constexpr 函数模板 (函数模板)