Операция по модулю с отрицательными числами

196

В программе на Си я пробовал следующие операции (просто чтобы проверить поведение)

 x = 5 % (-3);
 y = (-5) % (3);
 z = (-5) % (-3); 

printf("%d ,%d ,%d", x, y, z);

дал мне вывод как (2, -2 , -2)в gcc. Я ожидал положительного результата каждый раз. Может ли модуль быть отрицательным? Кто-нибудь может объяснить это поведение?

c gcc modulo

— Альва
источник

Возможный дубликат stackoverflow.com/questions/4003232/…

— Джеймс

возможный дубликат оператора Modulo с отрицательными значениями

— sugavaneshb

170

C99 требует, чтобы, когда a/bпредставимо:

(a/b) * b + a%b должен равнятьсяa

Это логично, логично. Правильно?

Посмотрим, к чему это приведет:

Пример А. 5/(-3)является-1

=> (-1) * (-3) + 5%(-3) =5

Это может произойти, только если 5%(-3)2.

Пример Б. (-5)/3является-1

=> (-1) * 3 + (-5)%3 =-5

Это может произойти только тогда , когда (-5)%3это-2

— ArjunShankar
источник

Должен ли компилятор быть достаточно умным и обнаруживать, что неподписанный по модулю другой неподписанный всегда положителен? В настоящее время (ну, GCC 5.2) компилятор, кажется, думает, что «%» возвращает «int» в этом случае, а не «unsigned», даже если оба операнда имеют значение uint32_t или больше.

— Фредерик Норд

@FrederickNord У вас есть пример, чтобы показать такое поведение ?

— chux - Восстановить Монику

Поймите, что вы описываете обычное int (a / b) (усеченное) описание мода. Но также возможно, что это правило пола (а / б) (Кнут). В случае Кнута -5/3есть -2и мод становится 1. Короче: один модуль имеет знак, который следует за знаком дивиденда (усеченный), другой модуль имеет знак, который следует за знаком делителя (Кнут).

— Исаак

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

— Джо