Haskell中`mod`和`rem`之间的区别

Question

Haskell mod与remHaskell 的区别究竟是什么？

两者似乎都给出了相同的结果

*Main> mod 2 3
2
*Main> rem 2 3
2
*Main> mod 10 5
0
*Main> rem 10 5
0
*Main> mod 1 0
*** Exception: divide by zero
*Main> rem 1 0
*** Exception: divide by zero
*Main> mod 1 (-1)
0
*Main> rem 1 (-1)
0

Answer 1

当第二个论点是否定时,它们不一样:

2 `mod` (-3)  ==  -1
2 `rem` (-3)  ==  2

Answer 2

是的,这些功能的行为不同.如官方文档中所定义:

quot 是整数除法被截断为零

rem 是整数余数,满足:

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

div 是整数除法截断为负无穷大

mod 是整数模数,满足:

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

当您使用负数作为第二个参数且结果不为零时,您可以真正注意到差异:

5 `mod` 3 == 2
5 `rem` 3 == 2

5 `mod` (-3) == -1
5 `rem` (-3) == 2

(-5) `mod` 3 == 1
(-5) `rem` 3 == -2

(-5) `mod` (-3) == -2
(-5) `rem` (-3) == -2

 

Answer 3

实际上:

如果你知道两个操作数是积极的,你应该经常使用quot,rem或quotRem以提高效率.

如果你不知道两个操作数都是正数,你必须考虑你想要的结果.你可能不想要quotRem,但你可能也不想要divMod.该(x `div` y)*y + (x `mod` y) == x法是一个非常好的一个,但舍师向负无穷大(高德纳风格划分)常常是那么有用,比保证效率较低0 <= x `mod` y < y(欧几里得师).

Answer 4

如果您只想测试可分性，则应始终使用rem.

本质x `mod` y == 0上相当于x `rem` y == 0，但rem比 快mod。