How to code a modulo (%) operator in C/C++/Obj-C that handles negative numbers

by

First of all I’d like to note that you cannot even rely on the fact that (-1) % 8 == -1. the only thing you can rely on is that (x / y) * y + ( x % y) == x. However whether or not the remainder is negative is implementation-defined.

Reference: C++03 paragraph 5.6 clause 4:

The binary / operator yields the quotient, and the binary % operator yields the remainder from the division of the first expression by the second. If the second operand of / or % is zero the behavior is undefined; otherwise (a/b)*b + a%b is equal to a. If both operands are nonnegative then the remainder is nonnegative; if not, the sign of the remainder is implementation-defined.

Here it follows a version that handles both negative operands so that the result of the subtraction of the remainder from the divisor can be subtracted from the dividend so it will be floor of the actual division. mod(-1,8) results in 7, while mod(13, -8) is -3.

int mod(int a, int b)
{
   if(b < 0) //you can check for b == 0 separately and do what you want
     return -mod(-a, -b);   
   int ret = a % b;
   if(ret < 0)
     ret+=b;
   return ret;
}

More Related Contents:

  1. A positive lambda: ‘+[]{}’ – What sorcery is this? [duplicate]
  2. How can I reliably get an object’s address when operator& is overloaded?
  3. Is there actually a reason why overloaded && and || don’t short circuit?
  4. Operator overload which permits capturing with rvalue but not assigning to
  5. using declaration in variadic template
  6. what is the concept of evaluation of expression z = (y = 30) + (y = 10) + (y = 20); [closed]
  7. Why C++11 in-class initializer cannot use parentheses?
  8. Sorting zipped (locked) containers in C++ using boost or the STL
  9. What does the single ampersand after the parameter list of a member function declaration mean?
  10. What does the thread_local mean in C++11?
  11. Why is std::function not equality comparable?
  12. How to make generic computations over heterogeneous argument packs of a variadic template function?
  13. What does “ provide, and where is it documented?
  14. How to set the stacksize with C++11 std::thread
  15. C++ memory model and race conditions on char arrays
  16. Can someone please explain the “indices trick”?
  17. Proper way to create unique_ptr that holds an allocated array
  18. Is there any alternative to using % (modulus) in C/C++?
  19. Difference between std::system_clock and std::steady_clock?
  20. Is there a range class in C++11 for use with range based for loops?
  21. std::auto_ptr to std::unique_ptr
  22. The new keyword “auto”; When should it be used to declare a variable type? [duplicate]
  23. Understanding rvalue references
  24. C++ why the assignment operator should return a const ref in order to avoid (a=b)=c
  25. C++11: Replace all non-owning raw pointers with std::shared_ptr()?
  26. Can we apply content not explicitly cited from the normative references to the C++ standard?
  27. How to differentiate (when overloading) between prefix and postfix forms of operator++? (C++)
  28. “What happened to my SFINAE” redux: conditional template class members?
  29. Concatenate compile-time strings in a template at compile time?
  30. When will C++0x be finished? [closed]

Leave a Comment