{"id":128,"date":"2011-02-16T14:01:28","date_gmt":"2011-02-16T22:01:28","guid":{"rendered":"http:\/\/www.wirfs-brock.com\/allen\/?p=128"},"modified":"2018-01-25T14:51:26","modified_gmt":"2018-01-25T22:51:26","slug":"testing-for-0-in-javascript","status":"publish","type":"post","link":"https:\/\/wirfs-brock.com\/allen\/posts\/128","title":{"rendered":"Testing for -0 in JavaScript"},"content":{"rendered":"

Update<\/strong> January 2018: In modern JavaScript engines that implement the ECMAScript 2015 specification the Object.is built-in function<\/a> can be used to test for -0.<\/p>\n

A few minutes ago I saw a tweet go by from my colleague, Dave Herman (@littlecalculist):<\/p>\n

\"\"
\nFor background you need to know that JavaScript Number values have distinct representations for +0<\/code> and -0<\/code>.\u00a0 This is a characteristic of IEEE floating point numbers upon which the specification for JavaScript numbers is based.\u00a0 However, in most situations, JavaScript treats +0<\/code> and -0<\/code> as equivalent values. Both -0==+0<\/code> and-0===+0<\/code> evaluate to true<\/code>. So how, do you distinguish them if you really need to?\u00a0 You have to find something in the language where they are treated differently.<\/p>\n

Dave’s solution uses one such situation.\u00a0 In JavaScript, division by zero of a non-zero finite number produces either +Infinity<\/code> or -Infinity<\/code>, depending upon the sign of the zero divisor. +Infinity<\/code> and -Infinity<\/code> can be distinguished using the ==<\/code> or ===<\/code> operators so that gives us a test for for -0<\/code>.<\/p>\n

Update: <\/strong>As Jeff Walden points out in a comment<\/a>, Dave’s solution isn’t adequate because -0<\/code> isn’t the only divisor of 1<\/code> that produces -Infinity<\/code> as its result. That problem can be solved changing the body of his function to:<\/p>\n

return x===0 && (1\/x)===-Infinity;<\/code><\/p>\n

Are there any other ways to test for -0<\/code>. As far as I know, until recently there wasn’t. However, ECMAScript 5<\/a> added a new way to make this test. Here is what I came up with as a solution:<\/p>\n

\r\nfunction isNegative0(x) {\r\n   if (x!==0) return false;\r\n   var obj=Object.freeze({z:-0});\r\n   try {\r\n      Object.defineProperty(obj,'z',{value:x});\r\n   } catch (e) {return false};\r\n   return true;\r\n}\r\n<\/pre>\n
If you are a specification<\/a> junkie you may want to stop and take a few minutes to see if you can figure out how this works.  For the rest of you (that care) here is the explanation:<\/p>\n
Line 2 is taking care of all the values that aren’t either -0<\/code> or +0<\/code>, for any other values !==<\/code> will produce false<\/code> and return.  The rest of the function is about distinguishing the zero values.  Line 3 creates an object with a single property whose value is -0<\/code>.  The object is frozen, which means its properties cannot be modified. Line 5 tries to use Object.defineProperty<\/code> to set the value of the frozen object’s sole property to the  value of x<\/code>.  Because the object is frozen you would expect this to fail (and throw an error) as it is an attempt to change the value of a frozen property.  However, the specification of defineProperty<\/code> says it only throws if the value (or other property attributes) that is being set is actually different from the current value. And “different” is defined in a manner that distinguishes -0<\/code> and +0<\/code>. So if x<\/code> is +0<\/code> this will be an attempt to change the value of the property and an exception is thrown. If x<\/code> is -0<\/code> it isn’t a change and no exception is thrown.  Line 6 catches the exception and returns false<\/code> indicating that the argument isn’t -0<\/code>. If defineProperty<\/code> didn’t throw we we fall through to line 7 and return true<\/code> indicating that the argument is -0<\/code>.  For the spec junkies, the key places that make this happen are [[DefineOwnProperty]] (section 8.12.9) and the SameValue algorithm  (9.12).<\/p>\n
I don’t think this satisfies Dave’s request for a more straight forward test, but it does illustrate a subtle feature of the ES5 specification.\u00a0 But does it actually work?\u00a0 This is\u00a0 one of those obscure specification requirements that you could easily imagine being overlooked by a busy JavaScript engine developer.\u00a0 I tested the above isNegative0<\/code> on pre-production versions of both FireFox 4 and Internet Explorer\u00a0 9 and I was pleasantly surprised to find that they both worked for this test exactly as specified in\u00a0 ES5. So congratulations to both the FF and IE developers for paying attention to the details.<\/p>\n
(And thanks to Peter van der Zee, @kuvos, for suggesting this is worth capturing in a blog post)<\/p>\n","protected":false},"excerpt":{"rendered":"
Update January 2018: In modern JavaScript engines that implement the ECMAScript 2015 specification the Object.is built-in function can be used to test for -0. A few minutes ago I saw a tweet go by from my colleague, Dave Herman (@littlecalculist): For background you need to know that JavaScript Number values have distinct representations for +0 […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[6,8],"tags":[15,35,36,60,34,19],"_links":{"self":[{"href":"https:\/\/wirfs-brock.com\/allen\/wp-json\/wp\/v2\/posts\/128"}],"collection":[{"href":"https:\/\/wirfs-brock.com\/allen\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/wirfs-brock.com\/allen\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/wirfs-brock.com\/allen\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/wirfs-brock.com\/allen\/wp-json\/wp\/v2\/comments?post=128"}],"version-history":[{"count":25,"href":"https:\/\/wirfs-brock.com\/allen\/wp-json\/wp\/v2\/posts\/128\/revisions"}],"predecessor-version":[{"id":810,"href":"https:\/\/wirfs-brock.com\/allen\/wp-json\/wp\/v2\/posts\/128\/revisions\/810"}],"wp:attachment":[{"href":"https:\/\/wirfs-brock.com\/allen\/wp-json\/wp\/v2\/media?parent=128"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/wirfs-brock.com\/allen\/wp-json\/wp\/v2\/categories?post=128"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/wirfs-brock.com\/allen\/wp-json\/wp\/v2\/tags?post=128"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}