名稱空間
變體
操作

std::lcm

來自 cppreference.com
< cpp‎ | numeric
定義於標頭檔案 <numeric>
template< class M, class N >
constexpr std::common_type_t<M, N> lcm( M m, N n );
(C++17 起)

計算整數 mn最小公倍數

如果 MN 不是整數型別,或者兩者之一是(可能帶有 cv 限定的)bool,則程式格式錯誤。

如果 |m||n||m||n| 的最小公倍數無法表示為型別 std::common_type_t<M, N> 的值,則行為未定義。

目錄

[編輯] 引數

m, n - 整數值

[編輯] 返回值

如果 mn 中任一為零,則返回零。否則,返回 |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)
計算兩個整數的最大公約數
(函式模板) [編輯]