Как найти операцию mod

Деление c остатком — арифметическая операция, играющая большую роль в арифметике, теории чисел, алгебре и криптографии. Чаще всего эта операция определяется для целых или натуральных чисел следующим образом[1]. Пусть a и b — целые числа, причём bneq 0. Деление с остатком a («делимого») на b («делитель») означает нахождение таких целых чисел q и r, что выполняется равенство:

a=bcdot q+r

Таким образом, результатами деления с остатком являются два целых числа: q называется неполным частным от деления, а r — остатком от деления. На остаток налагается дополнительное условие: {displaystyle 0leqslant r<|b|,} то есть остаток от деления должен быть неотрицательным числом и по абсолютной величине меньше делителя. Это условие обеспечивает однозначность результатов деления с остатком для всех целых чисел, то есть существует единственное решение уравнения a=bcdot q+r при заданных выше условиях. Если остаток равен нулю, говорят, что a нацело делится на b.

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

Примеры
Проверка: 78=33cdot 2+12.
Проверка: -78=33cdot (-3)+21.
Проверка: {displaystyle -9=1cdot (-13)+4.}
Проверка: {displaystyle 9=90cdot 0+9.}

Операция деления с остатком может быть определена не только для целых чисел, но и для других математических объектов (например, для многочленов), см. ниже.

Определение[править | править код]

Оставаясь строго в рамках натуральных чисел, приходится различать деление с остатком и деление нацело, поскольку нулевой остаток не является натуральным числом; кроме того, неполное частное при делении меньшего числа на большее должно равняться нулю, что тоже выводит за рамки натуральных чисел. Все эти искусственные ограничения неоправданно усложняют формулировки, поэтому в источниках обычно либо рассматривается расширенный натуральный ряд, включающий ноль[2], либо теория сразу формулируется для целых чисел, как указано выше[1].

Для вычисления неполного частного от деления a на положительное число b следует разделить (в обычном смысле) a на b и округлить результат до ближайшего целого в меньшую сторону:

{displaystyle q=leftlfloor {frac {a}{b}}rightrfloor ,} когда b>0.

где полускобки {displaystyle leftlfloor cdot rightrfloor } обозначают взятие целой части. Значение неполного частного q позволяет вычислить значение остатка r по формуле:

{displaystyle r=a-bcdot q.}

Для отрицательного делителя нужно округлять частное в большую сторону:

{displaystyle q=leftlceil {frac {a}{b}}rightrceil ,} когда b<0.

Операция «mod» и связь со сравнениями[править | править код]


Величина остатка может быть получена бинарной операцией «взятия остатка» от деления a на b, обозначаемой mod:

{displaystyle r=a{bmod {b}}.}

Не следует путать это обозначение с обозначением сравнения по модулю b. Формула для r влечёт выполнение сравнения:

{displaystyle requiv a{pmod {b}},}

однако обратная импликация, вообще говоря, неверна. А именно, это сравнение не подразумевает выполнения неравенства 0leqslant r<|b|, необходимого для того, чтобы r было остатком.

В программировании[править | править код]

Операция вычисления неполного частного и остатка в различных языках программирования

Язык Неполное
частное
Остаток Знак остатка
ActionScript % Делимое
Ada mod Делитель
rem Делимое
Бейсик MOD Не определено
Си (ISO 1990) / % Не определено
Си (ISO 1999) / % Делимое[3]
C++ (ISO 2003) / % Не определено[4]
C++ (ISO 2011) / % Делимое[5]
C# / % Делимое
ColdFusion MOD Делимое
Common Lisp mod Делитель
rem Делимое
D / % Делимое[6]
Delphi div mod Делимое
Eiffel // \ Делимое
Erlang div rem Делимое
Euphoria remainder Делимое
Microsoft Excel (англ.) QUOTIENT() MOD() Делитель
Microsoft Excel (рус.) ЧАСТНОЕ() ОСТАТ()
FileMaker Div() Mod() Делитель
Fortran mod Делимое
modulo Делитель
GML (Game Maker) div mod Делимое
Go / % Делимое
Haskell div mod Делитель
quot rem Делимое
J |~ Делитель
Java / % Делимое[7]
Math.floorDiv Math.floorMod Делитель (1.8+)
JavaScript .toFixed(0) % Делимое
Lua % Делитель
Mathematica Quotient Mod Делитель
MATLAB idivide(?, ?, 'floor') mod Делитель
idivide rem Делимое
MySQL DIV MOD
%
Делимое
Oberon DIV MOD +
Objective Caml mod Не определено
Pascal div mod Делимое[8]
Perl Нет % Делитель
PHP Нет[9] % Делимое
PL/I mod Делитель (ANSI PL/I)
Prolog (ISO 1995) mod Делитель
PureBasic / Mod
%
Делимое
Python // % Делитель
QBasic MOD Делимое
R %/% %% Делитель
RPG %REM Делимое
Ruby / % Делитель
Scheme modulo Делитель
SenseTalk modulo Делитель
rem Делимое
Tcl % Делитель
Verilog (2001) % Делимое
VHDL mod Делитель
rem Делимое
Visual Basic Mod Делимое

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

Обозначения операции взятия остатка в различных языках программирования представлены в таблице справа.
Например, в Паскале операция mod вычисляет остаток от деления, а операция div осуществляет целочисленное деление, при котором остаток от деления отбрасывается:

78 mod 33 = 12
78 div 33 = 2

Знак остатка[править | править код]

Операция взятия остатка в языках программирования может возвращать отрицательный результат (для отрицательного делимого или делителя). Тут есть два варианта:

  • Знак остатка совпадает со знаком делимого: неполное частное округляет к нулю.
  • Знак остатка совпадает со знаком делителя: неполное частное округляет к -infty .

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

Операция div в x86/x64 делит регистровую пару rdx:rax на любой другой регистр или число из памяти[10]. Неполное частное и остаток выходят по первому варианту — округляют к нулю.

Как запрограммировать, если такой операции нет?[править | править код]

Неполное частное можно вычислить через деление и взятие целой части: q=left[{frac  {a}{b}}right], где [x], в зависимости от задачи, может быть «полом» или усечением. Однако деление здесь получается дробное, которое намного медленнее целого. Такой алгоритм используется в языках, в которых нет целых типов (отдельные электронные таблицы, программируемые калькуляторы и математические программы), а также в скриптовых языках, в которых издержки интерпретации намного превышают издержки дробной арифметики (Perl, PHP).

При отсутствии команды mod остаток программируется как a-qb.

Если b положительно, а знак r совпадает со знаком делимого, не определён или неизвестен, для нахождения минимального неотрицательного остатка можно воспользоваться формулой r'=(b+(aoperatorname {mod}b))operatorname {mod}b.

Неполное частное и неотрицательный остаток от деления на степень двойки 2^{n} — это битовый сдвиг {displaystyle agg n} (для чисел со знаком — арифметический) и {displaystyle aoperatorname {&} (2^{n}-1)}.

Обобщения[править | править код]

Вещественные числа[править | править код]

Если два числа a и b (отличное от нуля) относятся к множеству вещественных чисел, a может быть поделено на b без остатка, и при этом частное также является вещественным числом. Если же частное по условию должно быть целым числом, в этом случае остаток будет вещественным числом, то есть может оказаться дробным.

Формально:

если a,bin {mathbb  {R}},bneq 0, то {displaystyle a=bq+r}, где 0leqslant r<|b|.
Пример

Деление 7,9 на 2,1 с остатком даёт:

{displaystyle leftlfloor {frac {7{,}9}{2{,}1}}rightrfloor =3} (неполное частное);
{displaystyle 7{,}9-3cdot 2{,}1=1{,}6} (остаток).

Гауссовы целые числа[править | править код]

Гауссово число — это комплексное число вида a+bi, где a,b — целые числа. Для них можно определить деление с остатком: любое гауссово число u можно разделить с остатком на любое ненулевое гауссово число v, то есть представить в виде:

u=vq+r,

где частное q и остаток r — гауссовы числа, причём |r|<|v|.
Однако, в отличие от целых чисел, остаток от деления определяется неоднозначно. Например, {displaystyle 7+2i} можно разделить на {displaystyle 3-i} тремя способами:

{displaystyle 7+2i=(3-i)(2+i)+i=(3-i)(1+i)+3=(3-i)(2+2i)+(-1-2i).}

Многочлены[править | править код]

При делении с остатком двух многочленов f(x) и g(x) для однозначности результата вводится условие: степень многочлена-остатка должна быть строго меньше степени делителя:

{displaystyle f(x)=q(x)g(x)+r(x)}, причём {displaystyle deg(r)<deg(g)}.
Пример
{frac  {2x^{2}+4x+5}{x+1}}=2x+2 (остаток 3), так как: {displaystyle 2x^{2}+4x+5=(x+1)(2x+2)+3}.

См. также[править | править код]

  • Алгоритм Евклида
  • Делимость
  • Наибольший общий делитель
  • Непрерывная дробь
  • Сравнение по модулю

Примечания[править | править код]

  1. 1 2 Деление // Математическая энциклопедия (в 5 томах). — М.: Советская Энциклопедия, 1979. — Т. 2.
  2. Потапов М. К., Александров В. В., Пасиченко П. И. Алгебра и анализ элементарных функций. М.: Наука, 1981, 560 с., С. 9.
  3. ISO/IEC 9899:TC2: When integers are divided, the result of the / operator is the algebraic quotient with any fractional part discarded. [This is often called «truncation toward zero».]; в списке изменений 1999→TC1 и TC1→TC2 данное изменение не числится.
  4. «ISO/IEC 14882:2003 : Programming languages — C++», 5.6.4: International Organization for Standardization, International Electrotechnical Commission, 2003. «the binary % operator yields the remainder from the division of the first expression by the second. …. If both operands are nonnegative then the remainder is nonnegative; if not, the sign of the remainder is implementation-defined».
  5. N3242=11-0012 (Working draft), текст совпадает с C99
  6. D language specification (англ.). dlang.org. Дата обращения: 29 октября 2017. Архивировано из оригинала 3 октября 2017 года.
  7. Арнолд, Кен, Гослинг, Дж., Холмс, Д. Язык программирования Java. — 3-е изд. — М., СПб., Киев: Вильямс, 2001. — С. 173—174. — ISBN 5-8459-0215-0.
  8. Стандарт 1973 года: div — division with truncation.
  9. PHP: Arithmetic Operators — Manual. Дата обращения: 27 ноября 2014. Архивировано 19 ноября 2014 года.
  10. DIV — Unsigned Divide

Блок-схема

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

Давайте разберемся, что такое функция и процедура. Это подпрограмма — часть программы, выполняющая определенный алгоритм и допускающая обращение к ней из различных частей общей программы. В чем же разница между процедурой и функцией?

Процедуры — мини-программы.

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

20131220-004613.jpg

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

program superpuper;
var очень много буковок; 
procedure ampersand; 
begin 
write('&&&&&&&&&&&&&&&&&&&&'); 
end;
begin 
суперсложный код;
ampersand; 
суперсложный код;
ampersand; 
суперсложный код; 
ampersand; 
суперсложный код; 
ampersand; 
end.

Функции в Паскале — мега переменные.

Функции отличается от процедуры тем, что после выполнения функции на ее месте в коде ставится одно число, буква, строка и т.д. Набор встроенных функций в языке Паскаль достаточно широк. Например, для того, чтобы подсчитать квадрат числа можно воспользоваться стандартной функцией sqr(x). Как вы, наверное, уже поняли sqr(x) требует лишь один фактический параметр — число.

Пример: a:=sqr(4).

Обратите внимание! Функции необходимо присваивать! Просто написав их в тексте программы, как процедуры, вы ничего не добьетесь!

Структура функции представлена на картинке ниже.

20131220-004554.jpg

Если в программу необходимо включить новую уникальную функцию, ее надо описать также, как процедуру. Более подробно о том, как делать собственные процедуры и функции, мы поговорим через 10 уроков. Ниже вы видите таблицу основных стандартных функций и процедур в Паскаль.

Математические функции

Имя Тип аргумента Результат вычисления Пример
Abs(x) Целый или Вещ. Модуль   х Abs(-6) = 6
Sqrt(x) Вещественный Корень из х Sqrt(25)=5
Sqr(x) Целый и Вещ. Квадрат х Sqr(5)=25
Power(x, a) Вещественный Значение ха Power(5,3)=125
Frac(x) Вещественный Дробная часть х Frac(5.67)=0.67
Sin(x) Вещественный Синус х Sin(45)=0.8509
Cos(x) Вещественный Косинус х Cos(45)=0.5253
Arctan(x) Вещественный Арктангенс х Arctan(5)=1.3734
Int(x) Вещественный Целая часть х Int(5.67)=5.0
Random(x) Целый Случайное число (0..х-1) Random(5)=4
Succ(x) Порядковый Следующий Succ(10)=11
Pred(x) Порядковый Предыдущий Pred(‘Z’)=’Y’

Математические процедуры

Inc(x, a) Целый X:=X+A Inc(5)=6
Dec(x, a) Целый X:=X-A Dec(25,20)=5

Преобразование типов

Trunc(x) Вещественный Целая часть х Trunc(5.67)=5
Round(x) Вещественный Округление х до целого Round(5.67)=6
Важно! Если х = 5.5, то результат – 6, а если х = 6.5, то результат тоже 6!?

Очень странная ошибка.

Очень странная ошибка.

Иногда нам требуется найти частное либо же остаток от деления. В такие моменты на помощь нам приходят такие операции, как div и mod. Заметим, что эти операции выполняются только над целыми числами.

Div

Для того, чтобы найти частное от деления, мы используем операцию div.

   Примеры:

  • 25 div 20 = 1;
  • 20 div 25 = 0;
  • 39 div 5 = 7;
  • 158 div 3 = 52.

Mod

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

    Примеры:

  • 25 mod 20 = 5;
  • 20 mod 25 = 0;
  • 39 mod 5 = 4;
  • 158 mod 3 = 2.

Чтобы окончательно понять, с чем мы имеем дело, решим следующую задачу:

Задача 1. Найти сумму цифр двухзначного числа.

Так как эта задача очень простая, мы с вами обойдемся блок-схемой и программой.

Блок-схема

Блок-схема
program Sumoftwo;
var Number, Num1, Num2, Sum: integer;
begin
write('Введите двухзначное число: ');
read(Number);  { Возьмем число 25 }
Num1 := Number div 10; { 25 div 10 = 2 }
Num2 := Number mod 10; { 25 mod 10 = 5 }
Sum := Num1 + Num2; { 2 + 5 = 7 }
write('Сумма двух чисел -- ', Sum);
end.

Задача 2. Найти сумму цифр трехзначного числа.

Чуть усложненная версия предыдущей задачи. Самая большая сложность — вторая цифра.

Блок-схема

Приоритет div и mod больше, чем приоритете + и -. Поэтому в данной программе можно обойтись без скобок.
program Sumoftree;
var Number, Sum: integer;
begin
write('Введите трехзначное число: ');
read(Number);  { Возьмем число 255 }
Sum := Number div 100 + Number mod 10 + Number div 10 mod 10; { 255 div 100 + 255 mod 10 + 255 div 10 mod 10 = 12 }
write('Сумма трёх чисел -- ', Sum);
end.

Вот и всё. На следующем уроке мы с вами начнём изучать особенности PascalABC.Net.

Что такое операции mod и div в Pascal? чем заключается вопрос: Что такое операции mod и div в языке Pascal. Как с нами работать?

Сложность : легкая .

Постараюсь быть краток, сразу стоит сказать что эти операции работают только с целыми числами, т.е. integer и т.д.
Сначала
операция div:
Эта операция используется для того чтобы найти целую часть от деления, как это понять? Допустим у нас есть код:

123456var n : integer;begin n := 12; n := n div 10;end.

n у нас будет равно 1. Почему? Как я и сказал div ищет целую часть от деления, т.е. у нас делится 12 на 10, это будет равно 1.2. Целая часть от деления равна 1. Вот это и делает операция div, если допустим 12 div 2, ответ 6.0, целая часть уже равна 6. Т.е. мы как бы делим 12 на 10, но в ответ записывается только целая часть от деления.

Дальше операция mod:
Эта операция уже ищет остаток от деления. Не думайте что это дробная часть, 
НЕ ПУТАЙТЕ!

Допустим есть код:

123456var n : integer;begin n := 12; n := n mod 10;end.

Тут остаток от деления равен 2. Другой пример, допустим следующее :
Тут остаток от деления равен 2. Другой пример, допустим следующее :
Эти операции в основном используются для того чтобы разбить например трехзначное число на цифры, давайте маленький пример, допустим есть число 123:
Эти операции в основном используются для того чтобы разбить например трехзначное число на цифры, давайте маленький пример, допустим есть число 123:

12345var a , b , c : integer;begin end.

Обычно начинают искать с последний цифры, у нас это 3. Чтобы её оторвать надо сделать следующее:

1a := 123 mod 10;

Т.е. мы 123 делим на 10, ответ 12.3 , а остаток равен 3. Первая цифра есть. Дальше 2. Тут делается так, сначала убирается последняя цифра, т.е. 3, с помощью div, а потом с помощью mod ищем 2-ую цифру:

1b := 123 div 10 mod 10;

Т.е. сначала у нас из-за div будет 12, а потом с помощью mod у нас появится 2. Ну а последнюю цифру можно найти так:

1c := 123 div 100;

Вот как то так. Может вы сразу не поймете, но тут надо немного по практиковаться. Удачи! Спасибо за внимание!

Теги: sql, java, оператор, mod, запросы, таблицы, деление, operator, остаток

Оператор mod обозначается символом % и является оператором деления по модулю. Он возвращает остаток от деления 1-го операнда на 2-й и широко используется в разных языках программирования для решения ряда задач.

Оператор mod в Java

В Java operator mod может работать как с целыми числами (byte/int/short/long), так и с плавающей точкой (byte/int/short/long). Давайте приведём пример работы оператора mod при делении:

class Modulus { 
public static void main (String args []) { 
int x = 42; 
double у = 42.3; 
System.out.print("x mod 10 = " + x % 10); 
System.out.println("y mod 10 = " + у % 10); 
} 
}

После выполнения этой программы вы получите результат следующего вида:

х mod 10 = 2 у mod 10 = 2.3

Как видим, оператор mod — это прекрасный способ найти остаток от деления. Зачем это может понадобиться на практике? Например, при нахождении кратности числа и определении, является ли некоторое число, введённое с клавиатуры, чётным. Также с помощью оператора mod можно узнать, делится ли одно число на другое без остатка или определить последнюю цифру числа. В общем, оператор mod очень полезен при решении различных задач по программированию.

Оператор mod в SQL

Не менее интересно использование mod в базах данных. Аналогично, mod находит остаток от деления. При этом вместо mod можно задействовать операцию %, делающую то же самое. Синтаксис в SQL следующий:

SELECT MOD(что_делить, на_что_делить) FROM имя_таблицы WHERE условие

Но можно написать и иначе, используя %:

SELECT что_делить % на_что_делить FROM имя_таблицы WHERE условие

Давайте приведём пример использования mod в базах данных. Вот, например, таблица numbers:

1-20219-4b024d.jpg

Найдём остаток от деления столбца number на три:

SELECT *, MOD(number, 3) as mod FROM numbers

В результате запрос SQL выберет следующие строки:

2-20219-a72b72.jpg

Но, как мы уже говорили выше, этот же запрос можно без проблем переписать:

SELECT id, number % 3 as mod FROM numbers

Идём дальше. Теперь возьмём таблицу посложнее:

3-20219-15db22.jpg

Здесь найдём остаток от деления столбца number1 на number2:

SELECT *, MOD(number1, number2) as mod FROM numbers

Получим следующие строки:

4-20219-3e08f5.jpg

Опять же, этот же самый запрос можно оформить иначе:

SELECT *, number1 % number2 as mod FROM numbers

А где вы используете mod? Пишите в комментариях!

Время на прочтение
4 мин

Количество просмотров 229K

Приготовьтесь, вас ждёт крайне педантичная статья, которая вполне может спасти вас на собеседовании или сэкономить несколько часов при вылавливании бага в продакшне!

Я сейчас активно работаю над вторым сезоном «Руководства для самозванца» и пишу о шифре RSA для SSH, который, очевидно, является самым загружаемым фрагментом кода в истории IT.

Хочется полностью разобраться в этой истории. Кто придумал этот шифр, как он работает, почему работает и будет ли работать в будущем. Сейчас я раскопал одну чертовски интересную историю. Я не криптоманьяк и вижу, как других буквально засасывает в эту область. Но мне это тоже интересно, потому что повсюду есть маленькие норки, а меня как сороку привлекают блестящие штучки в глубоких норках. Я также очень хорош в метафорах.

В любом случае: на прошлой неделе я узнал что-то странное и хочу поделиться: оказывается, mod и остаток от деления — не одно и то же. Действительно забавно то, что некоторые читатели при этих словах выпрыгивают со своих кресел и орут: «А ведь именно это я всегда пытался сказать вам и всем остальным!»

Позовите ребят из секты «mod не остаток»! Это для вас.

Что такое mod?

Я должен был изучить это, как и в прошлый раз, когда всплыла такая тема. Это одна из тех вещей, которые ты знаешь, но не запоминаешь. Когда вы применяете mod, то делите одно число на другое и берёте остаток. Итак: 5 mod 2 будет 1, потому что 5/2=2 с остатком 1.

Термин mod означает операцию modulo, с модулем 2 в данном случае. Большинство языков программирования используют % для обозначения такой операции: 5 % 2 = 1.

Вот где мы попадаем в странную серую область.

Математика циферблата

Помню, как учил это в школе, а потом забыл. Существует тип математики, называемый «модульной арифметикой», которая имеет дело с циклическими структурами. Самый простой способ представить это — циферблат с циклом 12. Для математика циферблат — это mod 12. Если хотите понять, можно ли равномерно разделить 253 часа на дни, то можете применить операцию 253 mod 24, результатом будет 13, поэтому ответ «нет»! Мы можем ответить «да» только если результат 0.

Другой вопрос, который вы можете задать: «Если я выеду в 6 вечера, сколько времени будет по приезду через 16 часов?». Это будет 6 + 16 mod 12, то есть 10.

Криптографы любят mod, потому что при использовании с действительно большими числами можно создать нечто, известное как «односторонние функции». Это специальные функции, которые позволяют легко вычислить что-то в одном направлении, но не в обратном.

Если я скажу вам, что 9 является результатом возведения в квадрат, вы можете легко определить, что на входе было 3. Перед вами весь процесс от начала до конца. Если я скажу, что 9 является результатом mod 29, то будет сложнее понять, что на входе.

Криптографам нравится эта идея, потому что они могут использовать деление с остатком с гигантскими простыми числами для генерации криптографических ключей. Это совсем другая история: если хотите прочитать об этом, то можете купить книгу или, ещё лучше, поддержать мои усилия написать её.

Впрочем, не будем отклоняться от темы.

Остатки и математика циферблата

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

Рассмотрим такую задачу:

const x = 19 % 12;
console.log(x);

Каково значение x? Делим числа и получаем 7 как остаток от 12. Это верный ответ. Как насчет такого:

const y = 19 % -12;
console.log(y);

Используя обычную математику, мы можем умножить -12 на -1, что даёт 12, и у нас по-прежнему остаётся 7, поэтому наш ответ снова 7.

JavaScript с этим согласен:

C# тоже согласен:

Google согласен с первым утверждением, но не согласен со вторым:

Ruby согласен с Google:

Во имя Дейкстры, что здесь происходит?

Вращение часов назад

Чтобы ответить на вопрос, следует понять разницу между остатком и modulo. Программисты объединяют эти операции, но не должны этого делать, потому что они дают одинаковый результат только в случае, если делитель (в нашем случае 12) положителен. Вы можете легко отправить баги в продакшн, если делитель отрицательный.

Но почему существует разница? Рассмотрим положительный делитель 19 mod 12 на часах:

Конечный результат 7. Мы это знаем и мы можем доказать математически. Но что насчёт 19 mod -12? Здесь нужно использовать другие часы:

Модуль равен -12, и мы не можем игнорировать или изменить его, умножив на -1, поскольку модульная арифметика так не работает. Единственный способ правильно рассчитать результат — переставить метки на часах так, чтобы мы двигались от -12 или вращали часы против часовой стрелки, что даёт тот же результат.

Почему не начать метки с -1, двигаясь к -2, и т.д.? Потому что в таком случае мы будем двигаться назад и постоянно уменьшать результат, пока не достигнем -12, и в этот момент сделаем прыжок +12, а modulo так не работает.

Это известная вещь

Прежде чем назвать меня сумасшедшим и начать гуглить тему: это известный факт. На самом деле MDN (Mozilla Developer Network) даже дошла до того, чтобы назвать % операцией «остатка» (remainder), а не modulo:

Оператор remainder возвращает остаток от деления одного операнда на другой. Он всегда принимает знак делимого.

Вот что Эрик Липперт, один из богов C#, говорит о modulo в C#:

Однако это совсем не то, что оператор % реально делает в C#. Оператор % не является каноническим оператором modulus, это оператор остатка.

А как на вашем языке?

Ну и что?

Могу понять, если вы дочитали досюда, а теперь чешете голову и задаётесь вопросом, стоит ли беспокоиться. Думаю, что стоит по двум причинам:

  1. Я представляю, как этот вопрос займёт меня врасплох на собеседовании.
  2. Я представляю, как этот попадёт в продакшн, а разработчики будут несколько часов выяснять, почему математика не работает.

Это также забавный факт на случай, если рядом появится ваш педантичный друг-программист.

Добавить комментарий