ความแตกต่างระหว่าง "mod" และ "rem" ใน Haskell

อะไรคือความแตกต่างระหว่างmodและremใน Haskell?

ทั้งสองดูเหมือนจะให้ผลลัพธ์ที่เหมือนกัน

*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

ไม่เหมือนกันเมื่ออาร์กิวเมนต์ที่สองเป็นลบ:

2 `mod` (-3)  ==  -1
2 `rem` (-3)  ==  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

พูดจริง:

ถ้าคุณรู้ว่าทั้งสองตัวถูกดำเนินการเป็นบวกที่คุณมักจะควรใช้quot, remหรือquotRemให้มีประสิทธิภาพ

หากคุณไม่ทราบว่าตัวถูกดำเนินการทั้งสองเป็นค่าบวกคุณต้องคิดว่าคุณต้องการให้ผลลัพธ์เป็นอย่างไร คุณอาจไม่ต้องการquotRemแต่คุณอาจไม่ต้องการdivModเช่นกัน (x `div` y)*y + (x `mod` y) == xกฎหมายเป็นหนึ่งที่ดีมาก แต่ส่วนปัดเศษไปยังอินฟินิตี้ลบ (ส่วนสไตล์นู) มักจะเป็นประโยชน์น้อยลงและมีประสิทธิภาพน้อยกว่ามั่นใจว่า0 <= x `mod` y < y(การแบ่งยุคลิด)

remในกรณีที่คุณต้องการสำหรับการทดสอบหารคุณควรใช้

เป็นหลักx `mod` y == 0เทียบเท่ากับx `rem` y == 0แต่จะเร็วกว่าremmod