Использую boost::multiprecision Вот интересующий кусок кода: https://pastebin.com/3Em2AiJj Вот вывод: https://pastebin.com/Nq9sxzLC Почему powm() меняет тип выражения

Question

Использую boost::multiprecision Вот интересующий кусок кода: https://pastebin.com/3Em2AiJj Вот вывод: https://pastebin.com/Nq9sxzLC Почему powm() меняет тип выражения

на какой-то непонятный, который потом несовместим с cpp_int? В доке и в гугле об этом ничего нет, по крайней мере я не нашел. Бьюсь с этим уже кучу времени

Полный код:
https://pastebin.com/0KtZUi8t

#c #embedded #programming #russian

0

12.10.2020

17 ответов

10 просмотров

Ilya Zviagin

Функция ничего не меняет, она возвращает какой-то типа данных, значение его

0

12.10.2020

Pavel Павлик Автор вопроса

Ilya Zviagin
Функция ничего не меняет, она возвращает какой-то ...

Я имел в виду, что логично, если у меня каждый из трех аргументов cpp_int, то значение степени по модулю тоже будет cpp_int

0

12.10.2020

Ilya Zviagin

Pavel Павлик
Я имел в виду, что логично, если у меня каждый из ...

Нет, НЕ логично

0

12.10.2020

Ilya Zviagin

Pavel Павлик
Я имел в виду, что логично, если у меня каждый из ...

Степень растет быстро, поэтому логично возвращать тип, который может содержать большие значения, не ограниченные вообще, желательно

0

12.10.2020

std::slavik

template <class I1, class I2, class I3> typename enable_if_c<is_integral<I1>::value && is_unsigned<I2>::value && is_integral<I3>::value, I1>::type powm(const I1& a, I2 b, I3 c) { typedef typename detail::double_integer<I1>::type double_type; I1 x(1), y(a); double_type result; while(b > 0) { if(b & 1) { multiply(result, x, y); x = integer_modulus(result, c); } multiply(result, y, y); y = integer_modulus(result, c); b >>= 1; } return x % c; } template <class I1, class I2, class I3> inline typename enable_if_c<is_integral<I1>::value && is_signed<I2>::value && is_integral<I3>::value, I1>::type powm(const I1& a, I2 b, I3 c) { if(b < 0) { BOOST_THROW_EXCEPTION(std::runtime_error("powm requires a positive exponent.")); } return powm(a, static_cast<typename make_unsigned<I2>::type>(b), c); }

0

12.10.2020

Pavel Павлик Автор вопроса

Ilya Zviagin
Степень растет быстро, поэтому логично возвращать ...

cpp_int не ограничено вообще и степень тут не растет быстро, потому что тут возведение по модулю

0

12.10.2020

Aidar Fattakhov

std::slavik
template <class I1, class I2, class I3> typename e...

а там expression templates

0

12.10.2020