Namespaces
Variants

std:: lcm

From cppreference.net
Определено в заголовке <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)
вычисляет наибольший общий делитель двух целых чисел
(шаблон функции)