Почему 215510 * 10000! = 2155100000? [Дубликат]

Question

Почему 215510 * 10000! = 2155100000? [Дубликат]

0

У меня есть следующий код:

UINT64 time1 = 215510*10000;
UINT64 time2 = (UINT64)(215510 * 10000);

При печати или в режиме "Watch" получается:

time1 = 18446744071569684320
time2 = 18446744071569684320

На самом деле я знаю, как сделать это прямо здесь. Для получения правильного ответа мы должны использовать один из следующих кодов (следующие 3 версии все в порядке):

UINT64 time3 = (UINT64)215510 * 10000;
UINT64 time4 = 215510 * (UINT64)10000;
UINT64 time5 = (UINT64)215510 * (UINT64)10000;

Но почему первые две строки не могут дать правильный ответ?

herohuyongtao 22 дек. 2013, в 09:50

Источник

2

@JohnZwinck: Нет, это не дубликат. Другой вопрос касается арифметики с плавающей точкой; это чисто целочисленная арифметика.
Keith Thompson 22 дек. 2013, в 08:20
1

215510*10000 - это int потому что оба операнда являются int .
chris 22 дек. 2013, в 08:20

Теги:

c++

3 ответа

11

Это связано с тем, что вы вызываете переполнение целых чисел путем умножения двух 32-разрядных чисел, результат которых превышает 32 бита. Сначала вам нужно преобразовать в 64 бита, как вы уже показали.

John Zwinck 22 дек. 2013, в 06:11

3

В C++ недопустимый целочисленный литерал имеет тип int, long int или long long int, в зависимости от того, какой из них является первым, в котором может быть представлено его значение. (long long int был относительно недавним дополнением к языку).

Вероятно, в вашей системе 215510 и 10000 имеют тип int, который, вероятно, является 32-битным типом.

Выражения (обычно) оцениваются сами по себе, независимо от контекста, в котором они появляются. Таким образом, выражение 215510*10000 оценивается как int. Поскольку математический результат превышает INT_MAX, результат не определен, но он, вероятно, будет -2139867296.

Когда это значение преобразуется в 64-разрядный неподписанный тип, он обтекает, получая 18446744071569684320 (что немного меньше 2 ⁶⁴).

Keith Thompson 22 дек. 2013, в 06:10

0

Буквальная константа 215510 всегда является int (это не система конкретным, требуются по стандарту).
Basile Starynkevitch 22 дек. 2013, в 08:26
0

@BasileStarynkevitch: это неправильно. Я предлагаю вам проверить свои источники. Цитируя стандарт ISO C ++ 2003, 2.13.1p2: «Тип целочисленного литерала зависит от его формы, значения и суффикса. Если он десятичный и не имеет суффикса, он имеет первый из этих типов, в котором его значение может быть представленный: int , long int ; если значение не может быть представлено как long int , поведение не определено. " Стандарт 2011 добавляет long long int и показывает правила в таблице.
Keith Thompson 22 дек. 2013, в 08:29

Ещё вопросы

@JohnZwinck: Нет, это не дубликат. Другой вопрос касается арифметики с плавающей точкой; это чисто целочисленная арифметика.
215510*10000 - это int потому что оба операнда являются int .
Буквальная константа 215510 всегда является int (это не система конкретным, требуются по стандарту).
@BasileStarynkevitch: это неправильно. Я предлагаю вам проверить свои источники. Цитируя стандарт ISO C ++ 2003, 2.13.1p2: «Тип целочисленного литерала зависит от его формы, значения и суффикса. Если он десятичный и не имеет суффикса, он имеет первый из этих типов, в котором его значение может быть представленный: int , long int ; если значение не может быть представлено как long int , поведение не определено. " Стандарт 2011 добавляет long long int и показывает правила в таблице.

Basile Starynkevitch · Accepted Answer · 2013-12-22T07-13-00.000Z

Поскольку литеральная константа, как 215510, как правило, int (не long) в стандарте C++. Он не связан с Visual Studio (он должен быть таким же с другим компилятором, как GCC, ака g++ по крайней мере, если int имеет 32 бита), поэтому 215510 * 10000 также является int. Попробуйте 215510L * 10000 чтобы иметь один множитель и быть long (следовательно, продукт также будет long - это не изменит продукт, если он еще long 32 бита!) Или даже 215510LL чтобы сделать его long long или с явным литом (int64_t)215510...

И на вашей платформе int, вероятно, 32 бита. Таким образом, подписанный INT_MAX составляет 2147483647 (что составляет 2 ³¹ - 1).

И Кейт Томпсон справедливо прокомментировал это

Тип целочисленной константы является первым из соответствующего списка, в котором может быть представлено его значение.

per (стандарт C11 §6.4.4.1, пункт 5 или) C++ 11 стандарт §2.14.2, пункт 2. Таким образом, реализация с 16 битами int и long 32 бит 215510 является long константой литерала (поскольку 215510> 32767, которая будет его INT_MAX....).

^{Так что, вопреки тому, что я считаю, тип литеральной интегральной константы не определяется суффиксом -or недостатком it-, но и его значением!}

215510 имеет тип int только в том случае, если int достаточно велик для его хранения. int может быть как 16 битов, что делает INT_MAX 32767; в такой системе 215510 будет иметь тип long .
Если long также имеет 32 бита, этот ответ не будет полезен. И согласно документации , это так.
@KeithThompson: ты уверен в этом? Я думал, что стандартные типизированные литеральные константы независимо от их значения (только с использованием суффикса L т. Д. ... или его отсутствия)!
@BasileStarynkevitch Кит Томпсон полностью прав. Было бы бесполезно давать константу, скажем, 60000, типа int если она не может быть представлена в int . В других системах это все еще может быть int .
Дело не в полезности, а в стандартах.
@BasileStarynkevitch Я понимаю это. Я хочу сказать, что люди, которые пишут и редактируют стандарт, используют свои мозги, поэтому, когда я думаю «да? Это глупо», я знаю, что это хорошая идея, чтобы перепроверить, что действительно говорит стандарт. :)
Опять вы приняли мой комментарий как противоположность того, что я имел в виду и написал. Ну да ладно, это не имеет значения.