Перегляд вихідного коду сторінки −0 (програмування)

{{otheruses|Від'ємний нуль}}
'''−0''' ('''Від'ємний нуль''') у [[програмування|програмуванні]]&nbsp;— число, що виникає при обчисленнях [[Число з рухомою комою|з рухомою комою]] (а також у деяких варіантах подання [[цілі числа|цілих]] зі знаком).

== Представлення ==
У 1+7&nbsp;— бітному поданні чисел зі знаком, від'ємний нуль представляється двійковим значенням 10000000 в [[Представлення чисел зі знаком#Прямий код|прямому коді]]. У 8-бітному одинарному [[обернений код|оберненому коді]] −0 представляється двійковим значенням 11111111. У стандарті подання чисел з рухомою комою [[IEEE 754]], від'ємний нуль представляється нульовою [[експонента|експонентою]] і [[Формати даних#Формати з рухомою комою|мантисою]], та [[знаковий біт|знаковим бітом]], що дорівнює одиниці.

У найбільш поширеному на сьогодні подвійному [[доповняльний код|доповняльному коді]] поняття «негативний нуль» відсутнє, що і зробило цей формат найбільш популярним.

== Властивості ==
У таких [[мова програмування|мовах програмування]], як [[C (мова програмування)|C]], [[C Sharp|C#]], [[C++]] і [[Java]], хоча й можливо отримати від'ємний нуль як результат обчислення виразу, при порівнянні від'ємний нуль дорівнює позитивному, тому просте порівняння не може бути використано для визначення того, чи є число негативним нулем. Для перевірки на від'ємний нуль можна використовувати функцію <code> CopySign () </code>, визначену в [[IEEE 754]], яка копіює знак числа (у цьому випадку нуля) в інше число (для перевірки знака потрібно взяти ненульове).

Для визначення знака нуля можна також використовувати [[ділення]]:

* <math>\;x / +0 = +\infty</math> (для додатного x)
* <math>\;x / -0 = -\infty</math> (для додатного x)

Результат інших операцій з від'ємним нулем:
* <math>\;-0 / x = -0</math> (для додатного x)
* <math>\;-0 / x = +0</math> (для від'ємного x)
* <math>\;+0 / x = -0</math> (для від'ємного x)
* <math>\;-0 / +\infty = -0</math>
* <math>\;-0 / -\infty = +0</math>
* <math>\;+0 / -\infty = -0</math>
* <math>\;-0 \cdot -0 = +0</math>
* <math>\;-0 - +0 = -0</math>
* <math>\;-0 - -0 = +0</math>
* <math>\;+0 + -0 = +0</math>
* <math>\;-0 + -0 = -0</math>
* <math>\;x \cdot -0 = -0</math> (для додатного x)
* <math>\;x + -0 = x</math>

== Посилання ==
* {{cite web
 |url         = http://msdn.microsoft.com/en-us/library/aa691146(VS.71).aspx
 |title       = Floating point types
 |work        = [[Microsoft Developer Network|MSDN]] C# Language Specification
 |accessdate  = 2005-10-15
 |archiveurl  = https://www.webcitation.org/65WOUq92L?url=http://msdn.microsoft.com/en-us/library/aa691146(VS.71).aspx
 |archivedate = 2012-02-17
 |deadurl     = no
}}
* {{cite web
 |url         = http://msdn.microsoft.com/en-us/library/aa691373(VS.71).aspx
 |title       = Division operator
 |work        = [[Microsoft Developer Network|MSDN]] C# Language Specification
 |accessdate  = 2005-10-15
 |archiveurl  = https://www.webcitation.org/65WOVSUsg?url=http://msdn.microsoft.com/en-us/library/aa691373(VS.71).aspx
 |archivedate = 2012-02-17
 |deadurl     = no
}}
* [https://web.archive.org/web/20050921090806/http://www.concentric.net/~Ttwang/tech/javafloat.htm Java Floating-Point Number Intricacies, Thomas Wang, березень 2000]
* {{cite web|url=http://www2.hursley.ibm.com/decimal/dcspec.html|title=Specification|work=General Decimal Arithmetic: Encoding Strawman 4d, version 0.96|accessdate=2005-10-16|archiveurl=https://www.webcitation.org/65WOW1d3x?url=http://www.ibm.com/us/en/|archivedate=2012-02-17|deadurl=no}}&nbsp;— десяткова специфікація чисел с рухомою комою, що включає негативний нуль
* Charles Kittel, Herbert Kroemer, Thermal Physics, W. H. Freeman & Company, 1980

== Для детальнішого вивчення ==
* {{cite web
 |url         = http://developers.sun.com/prodtech/cc/articles/sign.html
 |title       = Fortran 95 SIGN Change
 |author      = Michael Ingrassia
 |work        = Sun Developer Network
 |accessdate  = 2005-10-15
 |archiveurl  = https://www.webcitation.org/65WOWdQKb?url=http://developers.sun.com/solaris/articles/sign.html
 |archivedate = 2012-02-17
 |deadurl     = no
}}&nbsp;— зміни в функції <code>SIGN</code> в [[Fortran 95]] для роботи с негативним нулем
* {{cite web
 |url         = http://msdn.microsoft.com/library/en-us/script56/html/js56jscondatatype.asp
 |title       = JScript data types
 |work        = [[Microsoft Developer Network|MSDN]] JScript
 |accessdate  = 2005-10-16
 |archiveurl  = https://www.webcitation.org/65WOXIVRF?url=http://msdn.microsoft.com/en-us/library/7wkd9z69(vs.71).aspx
 |archivedate = 2012-02-17
 |deadurl     = yes
}}&nbsp;— арифметика з рухомою комою в JScript містить негативний нуль
* {{cite web|url=http://www.javaworld.com/javaworld/jw-10-1996/jw-10-hood.html|title=A look at the floating-point support of the Java virtual machine|work=Javaworld|accessdate=2005-10-16|archiveurl=https://www.webcitation.org/65WOXr3Fo?url=http://www.javaworld.com/javaworld/jw-10-1996/jw-10-hood.html|archivedate=2012-02-17|deadurl=no}}&nbsp;— представлення негативного нуля в [[Віртуальна машина Java|Java virtual machine]]
* [http://www.cygnus-software.com/papers/comparingfloats/comparingfloats.htm Comparing floating point numbers, Bruce Dawson] {{Webarchive|url=https://web.archive.org/web/20070703085415/http://www.cygnus-software.com/papers/comparingfloats/comparingfloats.htm |date=3 липня 2007 }}&nbsp;— як працювати з негативним нулем при порівнянні чисел з рухомою комою
* {{cite web|url=http://www.fourmilab.ch/documents/univac/minuszero.html|title=Minus Zero|author=[[John Walker (programmer)|John Walker]]|work=UNIVAC Memories|accessdate=2005-10-17|archiveurl=https://www.webcitation.org/65WOYUm57?url=http://www.fourmilab.ch/documents/univac/minuszero.html|archivedate=2012-02-17|deadurl=no}}&nbsp;— Числа в одинарному додатковому коді на сімействі комп'ютерів [[UNIVAC]] 1100.

== Див. також ==
* [[Від'ємний і додатний нуль]]
* [[Машинний епсилон]]

{{ІТ-доробити}}

[[Категорія:Нуль|0]]
[[Категорія:Комп'ютерна арифметика]]
[[Категорія:Обчислювальна математика]]
[[Категорія:Арифметика з рухомою комою]]