¿Cuándo es útil la diferencia entre quotRem y divMod?

Question

Desde el informe Haskell:

El quot, rem, div y clase mod métodos satisfacen estas leyes si y es distinto de cero:

(x `quot` y)*y + (x `rem` y) == x 
(x `div` y)*y + (x `mod` y) == x 

quot es la división entera trunca hacia cero, mientras que el resultado de div se trunca hacia el infinito negativo.

Por ejemplo:

Prelude> (-12) `quot` 5 
-2 
Prelude> (-12) `div` 5 
-3 

¿Cuáles son algunos ejemplos en los que la diferencia entre la forma en que el resultado es materia truncados?

Answer 1

Muchos idiomas tienen un operador "mod" o "%" que da el resto después de la división con truncamiento hacia 0; por ejemplo, C, C++ y Java, C# y, probablemente, diría:

(-11)/5 = -2 
(-11)%5 = -1 
5*((-11)/5) + (-11)%5 = 5*(-2) + (-1) = -11. 

de quot y rem están destinados a imitar este comportamiento Haskell. Me imagino que la compatibilidad con la producción de algún programa de C podría ser deseable en alguna situación artificial.

de divmod% Haskell y, y, posteriormente, Python/e, siguen la convención de los matemáticos (por lo menos número-teóricos) en Siempre truncar abajo división (no hacia 0 - hacia el infinito negativo) para que el resto se siempre no negativo Así, en Python,

(-11)/5 = -3 
(-11)%5 = 4 
5*((-11)/5) + (-11)%5 = 5*(-3) + 4 = -11. 

de Haskell div y mod siguen este comportamiento.

Answer 2

Un ejemplo simple donde importaría es probar si un entero es par o impar.

let buggyOdd x = x `rem` 2 == 1 
buggyOdd 1 // True 
buggyOdd (-1) // False (wrong!) 

let odd x = x `mod` 2 == 1 
odd 1 // True 
odd (-1) // True 

Tenga en cuenta, por supuesto, se podría evitar pensar en estos temas por definir sólo extraña de esta manera:

let odd x = x `rem` 2 /= 0 
odd 1 // True 
odd (-1) // True 

En general, sólo recuerda que, por y > 0, x mod y siempre vuelven algo >= 0 mientras x rem y devuelve 0 o algo del mismo signo que x.

Answer 3

Esto no es exactamente una respuesta a su pregunta, pero en GHC en x86, quotRem on Int compilará hasta una sola instrucción de máquina, mientras que divMod hace bastante más trabajo. Entonces, si se encuentra en una sección de velocidad crítica y solo trabaja con números positivos, quimio es el camino a seguir.