quotRem और divMod के बीच अंतर कब उपयोगी है?

Question

Haskell रिपोर्ट से:

quot, रेम, div, और आधुनिक वर्ग तरीकों इन कानूनों को संतुष्ट करता है, तो y गैर-शून्य है:

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

quot पूर्णांक विभाजन की ओर छोटा कर दिया है शून्य, जबकि div का परिणाम नकारात्मक अनंतता के लिए छोटा कर दिया गया है।

उदाहरण के लिए:

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

क्या जहां के कुछ उदाहरण कैसे परिणाम छोटा कर दिया मामलों है के बीच अंतर कर रहे हैं?

Answer 1

कई भाषाओं में "mod" या "%" ऑपरेटर होता है जो विभाजन के बाद शेष को 0 की ओर छंटनी के साथ देता है; उदाहरण सी, सी ++, जावा, और शायद सी # के लिए कहते थे:

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

हास्केल के quot और rem इस व्यवहार की नकल करना है। मैं कल्पना कर सकता हूं कि कुछ सी प्रोग्राम के आउटपुट के साथ संगतता कुछ विकसित स्थिति में वांछनीय हो सकती है।

हास्केल के div और mod, और बाद में अजगर का/और%, हमेशा विभाजन नीचे छोटा गणितज्ञों (कम से कम संख्या-सिद्धांतकारों) की परिपाटी निम्न (0 की ओर नहीं - नकारात्मक अनंत की ओर) ताकि शेष है हमेशा nonnegative। अजगर में इस प्रकार,

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

हास्केल के div और mod इस व्यवहार का पालन करें।

Answer 2

एक साधारण उदाहरण जहां यह कोई फर्क नहीं पड़ता है कि एक पूर्णांक भी अजीब है या नहीं।

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 

नोट, ज़ाहिर है, आप बस इस तरह से अजीब परिभाषित करते हुए इन मुद्दों के बारे में सोच से बचने के सकता है:

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

सामान्य तौर पर, सिर्फ इतना है कि याद है, y > 0 के लिए, x mod y हमेशा कुछ लौट >= 0 जबकि x rem y 0 या x के समान संकेत के कुछ देता है।

Answer 3

यह आपके प्रश्न का बिल्कुल सही जवाब नहीं है, लेकिन जी 86 पर जीएचसी में, इंट पर उद्धरण एक मशीन निर्देश के लिए संकलित होगा, जबकि divMod काफी कुछ काम करता है। तो यदि आप एक गति-महत्वपूर्ण खंड में हैं और केवल सकारात्मक संख्याओं पर काम कर रहे हैं, तो quotRem जाने का रास्ता है।