28

I have the following code:

double x = 0;

{ ...do stuff ...}

if(x == 0){

}

I was always taught that you shouldn't check floats for equality. Is checking to see if it is equal to zero any different?

4
  • i don t understand, if you init x to 0 why it is not good to check if 0 ? 0 is a valid value for double
    – JohnJohnGa
    Aug 24, 2011 at 19:15
  • 1
    Floating point numbers have a lot of rounding when you start to reach the limits. Same reason that if you have 3 digits to use in base ten, you have .004 and divide by three, you expect .001, but who knows what happens.
    – Ryan Amos
    Aug 24, 2011 at 19:19
  • Thomas's corrections: It's technically not rounding, but inaccuracy due to the limited precision and the binary nature of floats.
    – Ryan Amos
    Aug 24, 2011 at 19:29
  • Someone should summarize all the answers in this question.
    – SOFe
    Jul 11, 2016 at 16:16

5 Answers 5

33

The reason you shouldn't check floats for equality is that floating point numbers are not perfectly precise -- there's some inaccuracy in storage with some numbers, such as those that extended too far into the mantissa and repeating decimals (note that I'm talking about repeating decimals in base 2). You can think of this imprecision as "rounding down". The digits that extend beyond the precision of the floating-point number are truncated, effectively rounding down.

If it has not changed, it will keep that equality. However, if you change it even slightly, you probably should not use equalities, but instead a range like (x < 0.0001 && x > -.0001).

In short: as long as you're not playing with x at a very small level, it's OK.

9
17

It is safe if the 0 you're trying to catch is the original 0 set at initialization. However, it isn't safe if you're expecting a 0 from a mathematical operation.

1
  • what should be the right approach when you want to compare 0 from mathematical operation Sep 9, 2016 at 15:12
5

You still shouldn't check to see if it's equal to zero. Just check to see if it's near zero.

private final static double EPSILON = 0.00001;
if (x + EPSILON > 0 && x - EPSILON < 0){
...
}
2
  • 3
    You should not use an absolute epison but a relative one. E.G., if (value >= target * (1 - epsilon) && value <= target * (1 + epsilon )) This is especially true when the values can vary over a large range. Aug 24, 2011 at 19:27
  • 2
    @HovercraftFullOfEels This will work only if target is positive. Apr 22, 2015 at 13:31
4

if you set it yourself and wish to see if it ever changed you can safely check for equality (like using a sentinel value) though NaN is safer for things like that

float x=Float.NaN;
{
   //some code that may or may not set x
}
if(Float.isNaN(x))//it never got set
1

double has positive and negative zero. == between positive zero and negative zero returns false. Also, == betwen two NaNs returns false.

1
  • You're wrong. Negative zero compares equal to positive zero. This is required by the IEEE-794 standard, which Java follows.
    – Sneftel
    Feb 13, 2020 at 9:17

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.