std::gcd

template< class M, class N >
constexpr std::common_type_t<M, N> gcd( M m, N n );

Вычисляет наибольший общий делитель целых чисел m и n.

Если M или N не является целочисленным типом либо имеет тип (возможно, квалифицированный cv) bool, программа некорректна.

Если |m| или |n| нельзя представить значением типа std::common_type_t<M, N>, поведение не определено.

Параметры

Возвращаемое значение

Если m и n равны нулю, возвращает ноль. В противном случае возвращает наибольший общий делитель |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));

    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);
}

См. также