Почему целочисленное деление усекает 0, а не отрицательную бесконечность?

Question

Это хорошо известная несогласованность в целых делениях, как определено в C и многих других языках программирования: деление на целое число N дает остаток в диапазоне 0..N, а не 0 .. | N |. IMO это отрицательно влияет на некоторые приложения, например, если вы показываете изображение, определенное на целочисленной сетке, лучше поместить (0,0) за пределы области изображения: в противном случае вы получите видимую строку в x == 0 и другой в y == 0 на некоторых операциях с изображениями.

Не могли бы вы назвать пример практического использования целочисленного деления, где усечение до 0 будет служить намерению программирования лучше, чем усечение до отрицательной бесконечности?

Answer 1

Это не вопрос программирования языка программирования.

Языки программирования высокого уровня усекаются для согласованности с низкоуровневыми языками.

Языки низкого уровня усекаются, потому что это то, что делает аппаратная операция.

Более поздние поколения аппаратных средств выбрали обратную совместимость с ранними поколениями.

Чтобы действительно ответить на этот вопрос, вам нужно вернуться в waaaaay, и причина может быть такой же тонкой, как «она сделала цепочку переноса короче».

Пожалуйста, обратите внимание, однако, что любой другой выбор ломает дистрибутивности:

// both of these are true if integer division truncates toward zero, else uncertain 
-1 * b/c == -1 * (b/c) 
-1 * b % c == -1 * (b % c) % c 

довольно хорошие тождества сохранить.