std::lcm
来自cppreference.com
在标头 <numeric> 定义
|
||
template< class M, class N > constexpr std::common_type_t<M, N> lcm( M m, N n ); |
(C++17 起) | |
计算整数 m 与 n 的最小公倍数。
如果 M
或 N
任一不是整数类型,或任一是(可为 cv 限定的)bool,则程序非良构。
如果 |m|
、|n|
或 |m|
和 |n|
的最小公倍数不能表示为 std::common_type_t<M, N> 类型的值,则行为未定义。
参数
m, n | - | 整数值 |
返回值
若 m 或 n 任一者为零,则返回零。否则,返回 |m| 与 |n| 的最小公倍数。
异常
不抛异常。
注解
功能特性测试宏 | 值 | 标准 | 功能特性 |
---|---|---|---|
__cpp_lib_gcd_lcm |
201606L | (C++17) | std::gcd, std::lcm
|
示例
运行此代码
#include <iostream> #include <numeric> #define OUT(...) std::cout << #__VA_ARGS__ << " = " << __VA_ARGS__ << '\n' constexpr auto lcm(auto x, auto... xs) { return ((x = std::lcm(x, xs)), ...); } int main() { constexpr int p{2 * 2 * 3}; constexpr int q{2 * 3 * 3}; static_assert(2 * 2 * 3 * 3 == std::lcm(p, q)); static_assert(225 == std::lcm(45, 75)); static_assert(std::lcm( 6, 10) == 30); static_assert(std::lcm( 6, -10) == 30); static_assert(std::lcm(-6, -10) == 30); static_assert(std::lcm( 24, 0) == 0); static_assert(std::lcm(-24, 0) == 0); OUT(lcm(2 * 3, 3 * 4, 4 * 5)); OUT(lcm(2 * 3 * 4, 3 * 4 * 5, 4 * 5 * 6)); OUT(lcm(2 * 3 * 4, 3 * 4 * 5, 4 * 5 * 6, 5 * 6 * 7)); }
输出:
lcm(2 * 3, 3 * 4, 4 * 5) = 60 lcm(2 * 3 * 4, 3 * 4 * 5, 4 * 5 * 6) = 120 lcm(2 * 3 * 4, 3 * 4 * 5, 4 * 5 * 6, 5 * 6 * 7) = 840
参阅
(C++17) |
计算两个整数的最大公约数 (函数模板) |