2

Интересует не столько решение, сколько причина по которой программа выводит неверный результат

uint64_t temp = 15482202590115775738;
uint64_t temp2 = 2* temp;
std::cout<< temp2;

Результат выводится неверно. (Запускаю на 64х разрядном компиляторе)

5
  • Окей, написал код, увидел, что UINT_MAX меньше, чем необходимый размер, теперь интересует решение
    – Kayrosik
    26 окт 2017 в 1:36
  • А при чем здесь UINT_MAX? 26 окт 2017 в 2:30
  • @AnT а что не так? переполнение получается при умножение, поэтому и UINT_MAX, ниже вы расписали более подробно то, что написал я
    – Kayrosik
    26 окт 2017 в 2:37
  • Здесь роль играет UINT64_MAX, а не UINT_MAX. UINT_MAX здесь вообще ни при чем. 26 окт 2017 в 2:40
  • @AnT а понял, описался
    – Kayrosik
    26 окт 2017 в 2:44

2 ответа 2

5

Запустил. Получил 12517661106521999860.

И что значит "неверный результат"? А какой результат вы ожидали?

В языках С и С++ беззнаковый тип uint64_t реализует арифметику по модулю 264 = 18446744073709551616 = UINT64_MAX + 1.

Математически 15482202590115775738 * 2 дает 30964405180231551476, что превышает 264 и по модулю 264 равно 12517661106521999860.

Именно это число и выводит ваша программа. Все правильно.


Однако отдельно стоить заметить, что бессуффиксные целые литералы в С и С++ всегда имеют знаковый тип. И если литерал не помещается в самый большой знаковый тип long long и компилятор не хочет использовать какой-нибудь расширенный тип, то программа является некорректной (см. комментарий @jfs). На вашей платформе, я подозреваю, тип long long является 64-битным. Тогда правильно: 15482202590115775738u

5
  • да, с этим разобрался, кроме как написать свой класс и хранить число, например, в векторе вариантов нет?
    – Kayrosik
    26 окт 2017 в 2:38
  • @John стандартных средств пока что нет. Есть Boost.Multiprecision, gmp и другие библиотеки 26 окт 2017 в 2:50
  • @John: Зависит от компилятора. Реализации могут предоставлять свои собственные, более широкие типы. GCC, например, поддерживает __int128 (coliru.stacked-crooked.com/a/cc64d500baf25f05). А иначе - да, класс. Свой или готовый. 26 окт 2017 в 3:05
  • 1
    интересно, что hex,oct,bin константы могут быть unsigned (и также обычные константы до Си(99)). Константы также могут иметь расширенный тип такой как __int128 (если компилятор поддерживает). Компилятор обязан диагностику выдать для слишком большой константы ("program is ill-formed"). en.cppreference.com/w/cpp/language/integer_literal
    – jfs
    26 окт 2017 в 5:04
  • @jfs: Да, верно. У меня откуда-то в голове болталось "поведение не определено". Возможно, из С, где явного утверждения ошибочности программы нет. А в С++ действительно явно сказано - программа ill-formed. Хотя виду, что и С11 явно говорит, что в такой ситуации константа "has no type", и при этом требует "Each constant shall have a type". Тогда и в С - программа ошибочна. 26 окт 2017 в 7:32
3

Как-то мне тоже понадобилась длинная арифметика. Но использовать GMP было нельзя, так как длинная арифметика нужна была для микроконтроллеров без операционной системы и кучи. Пришлось написать свою библиотеку С++ шаблонов для работы с длинными целыми числами, которая не использует кучу. Вот ссылка:

https://sourceforge.net/projects/muntl/?source=frontpage&position=6

Там в архиве есть и описание на русском языке.

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими условиями использования и подтверждаете, что прочитали и поняли наши политику конфиденциальности и нормы поведения.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.