Hat bzw. kann eine 0 ein Vorzeichen haben?
In der Welt der EDV hat man es mit verschiedenen Formen von Zahlendsrstellungen zu tun. Die abstrakte Betrachtung ob -0==0==+0 ist, bringt einen da nicht weiter.
Sofern man sich im Spektrum der ganzen Zahlen bewegt (gemeinhin als Integers bezeichnet), gilt für die 0, dass sie vorzeichenlos ist, in der praktischen, also programmatischen Handhabung kann man sie als positive Zahl betrachten. Es ist in der Programmierung bei der Verwendung von Integern also egal, ob man von 0 oder +0 spricht, denn technich, also auch bei Weitwerbwerechnungen ergibt auch daraus kein Unterschied. Die akademische Unterscheidung kann man also schlicht ignorieren.
Schwieriger wird es bei der Verwendung von Gleitkommazahlen. Es gibt verschiedene Arten, Gleitkommazahlen zu kodieren und mit ihnen zu rechnen. Bei gängigen Architekturen, das heißt, wenn man "einfach nicht weiter drüber nachdenkt" kommt üblicherweise der Standard IEEE 754 für die Kodierung von Gleitkommazahlen zum Einsatz. Und dieser Standard unterscheidet tatsächlich zwischen +0 und -0. Bei einer Berechnung kann das Ergebnis tatsächlich -0 sein, und wenn man das mit 0 vergleicht, wird das Ergebnis "False" (also unwahr) sein. Auch hier macht sich das allseits bekannte Gesetzt der Widerwärtigkeit bemerkbar, denn per abstarkter Definition ist -0==0==+0, aber man kann sich bei Compiler und Interpretern nicht darauf verlassen, dass das wirklich so ist, bzw. wirklich so umgesetzt wird.
Ein Vergleich auf 0 ist bei der Verwendung von Gleitkommatahlen also grundsätzlich zu vermeiden, ich würde einen solchen Vergleich tatsächlich in die Kategorie eines versteckten Bugs einordnen. Bei einer Kleitkommazahl testet man niemals, ob sie 0 ist, sonder man testet immer, ob sie innerhalb eines selbst definierten Bereiches um die 0 herum liegt.