(-2147483648> 0) returns true in C++?

by

-2147483648 is not a “number”. C++ language does not support negative literal values.

-2147483648 is actually an expression: a positive literal value 2147483648 with unary - operator in front of it. Value 2147483648 is apparently too large for the positive side of int range on your platform. If type long int had greater range on your platform, the compiler would have to automatically assume that 2147483648 has long int type. (In C++11 the compiler would also have to consider long long int type.) This would make the compiler to evaluate -2147483648 in the domain of larger type and the result would be negative, as one would expect.

However, apparently in your case the range of long int is the same as range of int, and in general there’s no integer type with greater range than int on your platform. This formally means that positive constant 2147483648 overflows all available signed integer types, which in turn means that the behavior of your program is undefined. (It is a bit strange that the language specification opts for undefined behavior in such cases, instead of requiring a diagnostic message, but that’s the way it is.)

In practice, taking into account that the behavior is undefined, 2147483648 might get interpreted as some implementation-dependent negative value which happens to turn positive after having unary - applied to it. Alternatively, some implementations might decide to attempt using unsigned types to represent the value (for example, in C89/90 compilers were required to use unsigned long int, but not in C99 or C++). Implementations are allowed to do anything, since the behavior is undefined anyway.

As a side note, this is the reason why constants like INT_MIN are typically defined as

#define INT_MIN (-2147483647 - 1)

instead of the seemingly more straightforward 

#define INT_MIN -2147483648

The latter would not work as intended.

More Related Contents:

  1. Why does long long n = 2000*2000*2000*2000; overflow?
  2. c++ Making a code that displays equations and keep getting the “expression must have integral or unscoped enum type” error
  3. Can I use the result of a comparison as an integer in C++?
  4. Multicharacter literal in C and C++
  5. Size of character (‘a’) in C/C++
  6. Is signed integer overflow still undefined behavior in C++?
  7. Converting std::__cxx11::string to std::string
  8. Finding the type of an object in C++
  9. Difference between string and char[] types in C++
  10. When is uint8_t ≠ unsigned char?
  11. How do I write a short literal in C++?
  12. “Incomplete type” in class which has a member of the same type of the class itself
  13. using std::is_same, why my function still can’t work for 2 types
  14. Overflowing of Unsigned Int
  15. C++ integer overflow
  16. Allowing signed integer overflows in C/C++
  17. Is there a 128 bit integer in C++?
  18. Is it possible to create a type in c++ that takes less than one byte of memory?
  19. C++ string literal data type storage
  20. comparison between string literal
  21. Is there a functional difference between “2.00” and “2.00f”?
  22. How disastrous is integer overflow in C++?
  23. C++ Class wrapper around fundamental types
  24. c++ convert from LPCTSTR to const char *
  25. Are there types bigger than long long int in C++?
  26. Is there some meaningful statistical data to justify keeping signed integer arithmetic overflow undefined?
  27. Switch passed type from template
  28. C++ 128/256-bit fixed size integer types
  29. Template type deduction in C++ for Class vs Function?
  30. Is it possible to have a pointer literal?

Leave a Comment