Neden Double.MIN_VALUE negatif değil?

Herkes neden Double.MIN_VALUEDoubles'ın alabileceği minimum değer olmadığına biraz ışık tutabilir mi? Pozitif bir değerdir ve bir Double elbette negatif olabilir.

Bunun neden yararlı bir sayı olduğunu anlıyorum, ancak özellikle karşılaştırıldığında çok sezgisel bir isim gibi görünüyor Integer.MIN_VALUE. Bunu Double.SMALLEST_POSITIVEveya MIN_INCREMENTbenzerlerini çağırmak daha açık bir anlambilime sahip olacaktır.

Ayrıca, Çiftlerin alabileceği minimum değer nedir? Öyle mi -Double.MAX_VALUE? Dokümanlar söylemiyor gibi görünüyor.

IEEE 754 formatı, işaret için ayrılmış bir bite ve büyüklüğü temsil eden geri kalan bitlere sahiptir. Bu, origo etrafında "simetrik" olduğu anlamına gelir (bir negatif değer daha olan Tamsayı değerlerinin aksine). Bu nedenle, minimum değer, işaret biti değiştiğinde maksimum değerle aynıdır, bu nedenle evet , -Double.MAX_VALUEa ile temsil edebileceğiniz mümkün olan en küçük gerçek sayıdır double.

Sanırım maksimum büyüklükDouble.MAX_VALUE olarak görülmeli , bu durumda sadece yazmak gerçekten mantıklı . Ayrıca neden en düşük pozitif değer olduğunu açıklar (çünkü mümkün olan en düşük büyüklüğü temsil eder).-Double.MAX_VALUEDouble.MIN_VALUE

Ama eminim, isimlendirmenin biraz yanıltıcı olduğunu kabul ediyorum. Anlamı alışık olmak Integer.MIN_VALUE, ben de okunabilir Double.MIN_VALUEen küçük mutlak değer olduğunu okurken biraz şaşırdım . Belki de bu basit olduğu gibi mümkün olan en az bir değeri temsil eden bir sabit olması gereksiz olduğunu düşünmüş -uzakta MAX_VALUE:-)

(Ayrıca, var Double.NEGATIVE_INFINITYama ben "özel bir durum" olarak görüleceği ve aslında herhangi bir gerçek sayıyı temsil etmediği için, bunu dikkate almıyorum.)

İşte konuyla ilgili güzel bir metin.

Bu sabitlerin işaret ile ilgisi yoktur. Bir çifte üç parçanın bileşimi olarak bakarsanız, bu daha mantıklıdır: İşaret, Üs ve Mantissa. Double.MIN_VALUE aslında Mantissa'nın Üfleme sıfıra inmeden önce Üs minimun değerinde olduğunda alabileceği en küçük değerdir. Benzer şekilde MAX_VALUE, Mantissa'nın Sonsuzluğa kadar bir sifon oluşmadan önce Üs değerinin maksimum değerde olduğunu varsayabileceği en büyük değer olarak anlaşılabilir.

Bu ikisi için daha açıklayıcı bir isim En Büyük Mutlak (verbositiy için sıfır olmayan ekle) ve En Küçük Mutlak değer (verbositiy için sonsuz olmayan ekleyin) olabilir.

Ayrıntılar için IEEE 754 (1985) standardına bakın. Revize edilmiş (2008) bir versiyon var, ancak sadece java tarafından bile desteklenmeyen daha fazla format sunuyor (kesinlikle konuşan java, IEEE 754 1985'in bazı diğer yüksek seviye dilleri gibi bazı zorunlu özellikleri için bile desteğe sahip değil).

Kafa karıştırıcı isimlerin en küçük pozitif sayı olarak tanımlanan C'ye kadar izlenebileceğini varsayıyorum FLT_MIN.

Kullanmanız gereken Java'da olduğu gibi , C'deki en küçük şamandırayı almak -Double.MAX_VALUEiçin kullanmanız -FLT_MAXgerekir.

Bir çift için minimum değer, Double.NEGATIVE_INFINITYbu yüzden bir Double.MIN_VALUEiçin minimum değildir Double.

İkili kayan nokta sayıları olduğundan, yalnızca en büyük sayıya (daha düşük hassasiyetle) veya 0'a en yakın sayıya (büyük bir hassasiyetle) sahip olabilirsiniz.

Sonsuz olmayan bir çift için gerçekten minimum bir değer istiyorsanız o zaman kullanabilirsiniz -Double.MAX_VALUE.

Çünkü kayan nokta sayılarında, kesin aralık olmadığı için hassasiyet önemlidir .

/**
 * A constant holding the smallest positive nonzero value of type
 * <code>double</code>, 2<sup>-1074</sup>. It is equal to the
 * hexadecimal floating-point literal
 * <code>0x0.0000000000001P-1022</code> and also equal to
 * <code>Double.longBitsToDouble(0x1L)</code>.
 */

Ama muhtemelen daha iyi bir şey olarak adlandırılması gerektiğini kabul ediyorum :)

Belgelerde dediği gibi ,

Double.MIN_VALUE, double, 2 ^ (- 1074) türündeki en küçük POZİTİF sıfır olmayan değerini tutan bir sabittir .

Buradaki hileler, kayan nokta sayısı gösterimi hakkında konuşuyoruz. Çift veri türü, çift kesinlikli 64 bitlik IEEE 754 kayan noktadır. Kayan noktalar, 1.000.000.000.000 ile 0.0000000000000001 arasındaki sayıları kolaylıkla temsil eder ve ölçeğin her iki ucundaki hassasiyeti (basamak sayısı) en üst düzeye çıkarır. (Daha fazla bakın Bu )

Her zaman pozitif bir sayı olan mantis, kayan nokta sayısının önemli basamaklarını tutar. Üs, mantis ve işaretin çarpması gereken yarıçapın pozitif veya negatif gücünü gösterir. Kayan nokta değerini elde etmek için dört bileşen aşağıdaki gibi birleştirilir .

MIN_VALUE değerinin mantisin temsil edebileceği minimum değer olduğunu düşünün. Kayan nokta gösteriminin minimum değerleri, bunu kullanarak temsil edilebilecek minimum büyüklüktür. (Bu karışıklığı önlemek için daha iyi bir isim kullanılmış olabilir)

123> 10> 1> 0.12> 0.012> 0.0000123> 0.000000001> 0.0000000000000001

Aşağıda sadece FYI.

Çift hassasiyetli kayan nokta, 2 ^ -1074 ile 2 ^ 1023 arasında iki 2,098 gücü temsil edebilir. İkisinin denormalize edilmiş güçleri, 2 ^ -1074 ila 2 ^ -1023 arasındakilerdir; ikisinin normalize edilmiş güçleri 2 ^ -1022 ile 2 ^ 1023 arasındaki güçlerdir. Bakın bu ve bu .